Category:Journal Artificial Intelligence

From BibNetWiki

Artificial Intelligence [1]

ISSN: 0004-3702

Editor-in-Chief: C. Raymond Perrault, A. G. Cohn

(previous 200) (next 200)

Articles in category "Journal Artificial Intelligence"

There are 200 articles in this category.

A A Bayesian Approach to Relevance in Game Playing A Bayesian model of plan recognition A Causal Approach to Nonmonotonic Reasoning A Chronology of Computer Chess and its Literature A Cognitive Architecture for Artificial Vision A Common Representation for Problem-Solving and Language-Comprehension Information A Comparative Study of Several Proof Procedures A Comparison of Minimax Tree Search Algorithms A Comparison of Two Evidential Reasoning Schemes A Dictionary Based on Concept Coherence A Directly Cautious Theory of Defeasible Consequence for Default Logic Via the Notion of General Extension A Dynamical Systems Perspective on Agent-Environment Interaction A Foundational Theory of Belief and Belief Change A Foundationalist View of the AGM Theory of Belief Change A Game Tree with Distinct Leaf Values Which Is Easy for The Alpha-Beta Algorithm A General Formulation of Conceptual Spaces as a Meso Level Representation A Generalised Quiescence Search Algorithm A Generic Arc-Consistency Algorithm and its Specializations A Geometric Constraint Engine A Hierarchical Approach to Computer Hex A Lagrangian Reconstruction of GENET A Logic for Reasoning with Inconsistent Knowledge A Logic of Knowledge and Justified Assumptions A Logic-Based Theory of Deductive Arguments A Logical Framework for Default Reasoning A Logical Framework for Depiction and Image Interpretation A Logical Notion of Conditional Independence: Properties and Applications A Method for Managing Evidencial Reasoning in a Hierarchical Hypothesis Space - A Retrospective A Modal Logic for Subjective Default Reasoning A Model for Belief Revision A Model for Temporal References and Its Application in a Question Answering Program A Model for Temporal References and its Application in a Question Answering Program A Model of Legal Reasoning with Cases Incorporating Theories and Values A Multi-Level Geometric Reasoning System for Vision A Near-Optimal Polynomial Time Algorithm for Learning in Certain Classes of Stochastic Games A New Approach to the Symbolic Factorization of Multivariate Polynomials A Note on Creativity and Learning in a Case-Based Explainer A Parallel Approach to Syntax for Generation A Perspective on Assumption-Based Truth Maintenance A Powerful and Efficient Structural Pattern Recognition System A Practically Efficient and Almost Linear Unification Algorithm A Probabilistic Analysis of Propositional STRIPS Planning A Probabilistic Framework for Memory-Based Reasoning A Process-Grammar for Shape A Program for Timetable Compilation by a Look-Ahead Method A Quantitative Analysis of the Alpha-Beta Pruning Algorithm A Re-Weighting Strategy for Improving Margins A Reduction-Graph Model of Precedent in Legal Analysis A Refined Architecture for Terminological Systems: Terminology = Schema Views A Resolution Principle for Constrained Logics A SIMD approach to parallel heuristic search A Spatially-Oriented Information Processor which Simulates the Motions of Rigid Objects A Spectrum of Definitions for Temporal Model-Based Diagnosis A Sufficiently Fast Algorithm for Finding Close to Optimal Clique Trees A Syntactic Theory of Belief and Action A Systematic Methodology for Cognitive Modeling A Theoretical Analysis of Conjunctive-Goal Problems A Theory of Abstraction A Theory of Conflict Resolution in Planning A Theory of the Origins of Human Knowledge A Tunable Distance Measure for Coloured Solid Models A Unified Model of Qualitative Belief Change: A Dynamical Systems Perspective A Unifying Semantics for Time and Events A View on Qualitative Physics A blackboard architecture for control A chronology of computer chess and its literature

A cont. A comparison of two evidential reasoning schemes (research note) A general branch and bound formulation for understanding and synthesizing and/or tree search procedures A heuristic search algorithm with modifiable estimate A logic for default reasoning A new result on the complexity of heurstics for the A* algorithm. A new use of an automated reasoning assistant: open questions in equivalential calculus and the study of infinite domains A parallel network that learns to play backgammon A pattern classification approach to evaluation function learning A polymorphic type system for Prolog A process-grammar for shape A world championship caliber checkers program AM: a case study in AI methodology ARIEL: a massively parallel symbolic learning assistant for protein structure/ function Abduction to Plausible Causes: An Event-Based Model of Belief Update Abductive Reasoning through Filtering Abstracting Soft Constraints: Framework, Properties, Examples Active Logic Semantics for A Single Agent in a Static World Active Surface Estimation: Integrating Coarse-to-Fine Image Acquisition and Estimation from Multiple Cues Addendum to 'Sloman's View of Godel's Sentence Addendum to Use of the Gibbs Sampler in Expert Systems Admissibility of AO* When Heuristics Overestimate Admissibility of AO* when Heuristics Overestimate Affective mobile robot educator with a full-time job Agent Searching in a Tree and the Optimality of Iterative Deepening Algorithms for Searching Explicit AND/OR Graphs and Their Applications to Problem Reduction Search Allen Newell: The Entry Into Complex Information Processing An Abstract, Argumentation-Theoretic Approach to Default Reasoning An Admissible and Optimal Algorithm for Searching AND/OR graphs An Algorithm for Finding MAPS for Belief Networks through Cost-Based Abduction An Analysis of First-Order Logics of Probability An Analytical Comparison of Some Rule-Learning Programs An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report An Artificial Intelligence Approach to Language Instruction An Automatic Proof of Godel's Incompleteness Theorem An Automatic Proof of Godel's Incompleteness Theorem (Letter to the Editor) An Efficient Algorithm for Optimal Pruning of Decision Trees An Efficient Method for Eliminating Varying Predicates from a Circumscription An Empirical Symbolic Approach to Natural Language Processing An Executable Specification of a Formal Argumentation Protocol An Experiment in Knowledge-Based Automatic Programming An Experimental Logic Based on the Fundamental Deduction Principle An Experimental Program Transformation and Synthesis System An Incremental Algorithm for Generating All Minimal Models An Incremental Negamax Algorithm An Investigation into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning An Optimal Approximation Algorithm for Bayesian Inference An Optimal Backtrack Algorithm for Tree-Structured Constraint Satisfaction Problems An Optimal Coarse-Grained Arc Consistency Problem An Optimal K-Consistency Algorithm An Optimal k-Consistency Algorithm An analysis of alpha-beta pruning An assumption-based TMS An automatic proof of Godel's incompleteness theorem An interactive system for finding complementary literatures: a stimulus to scientific discovery An investigation of the causes of pathology in games An organization of knowledge for problem solving and language comprehension Analog Retrieval by Constraint Satisfaction Analogical representations of naive physics Analysis and Empirical Studies of Derivational Analogy Analytic Resolution in Theorem Proving Approximating Cost-Based Abduction is NP-Hard Approximating MAPs for Belief Networks is NP-Hard and Other Theorems Approximating probabilistic inference in Bayesian belief networks is NP-hard Approximations for Efficient Computation in the Theory of Evidence (Research Note) Arc Consistency: Parallelism and Domain Dependence Arc-consistency and Arc-Consistency Again Argumentation in Artificial Intelligence

A cont. Aritificial Intelligence 40 Years After Complex systems: Network thinking Artificial Intelligence and Learning Environments: Preface Artificial Intelligence in Perspective: A Retrospective on Fifty Volumes of the Artificial Intelligence Journal Artificial Intelligence-Where Are We? Artificial Nonmonotonic Neural Networks Artificial Paranoia Artificial intelligence - where are we? Asynchronous Backtracking without Adding Links: A New Member in the ABT Family Audiences in Argumentation Frameworks Autocircumscription Autoepistemic Logic Revisited Autoepistemic logic revisited Automated Program Recognition: A Feasibility Demonstration Automated Reformulation of Specifications by Safe Delay of Constraints Automatic Cinematography and Multilingual NLG for Generating Video Documentations Automatic Correlation and Calibration of Noisy Sensor Readings Using Elite Genetic Algorithms Automatic Knowledge Base Refinement for Classification Systems Automatic Qualitative Analysis of Dynamic Systems Using Piecewise Linear Approximations Automatic programming of behavior-based robots using reinforcement learning, Automating Planning and Scheduling of Shuttle Payload Operations Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic B B Probability Based Search Backgammon Computer Program Beats World Champion Backgammon computer program beats world champion Bayesian and non-Bayesian evidential updating Belief Functions and Default Reasoning Belief Networks Revisited Belief, Awareness, and Limited Reasoning Binary versus Non-Binary Constraints BoltzCONS: Dynamic Symbol Structures in a Connectionist Network Book Review of 'Unified Theories of Cognition' (Allen Newell) Book Review of Models of Musical Communication and Cognition Book Review of Unified Theories of Cognition (Allen Newell) Book Review of the Art of Metaobject Protocol (Gregor Kiczales, Jim des Rivieres and Daniel G. Bobrow) C Calculating Criticalities Case Systems for Natural Language Categorical and Probabilistic Reasoning in Medicine Revisited Causal Model Progressions as a Foundation for Intelligent Learning Environments Causality in Device Behavior Characterising Tractable Constraints Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning Chronological ignorance: experiments in nonmonotonic temporal reasoning Circumscription: a form of non-monotonic reasoning Classifier Systems and Genetic Algorithms Classifier Systems and Genetic Algorithms. Cognitive Modeling and Intelligent Tutoring Cognitive Modeling and Intelligent Tutors Comment on: Numerical Shape from Shading and Occluding Boundaries Comparitive Analysis Completeness Results for Inequality Provers Compositional modeling: finding the right model for the job Computation of the Semantics of Autoepistemic Belief Theories Computational Complexity of Planning and Approximate Planning in the Presence of Incompleteness Computational Complexity of Terminological Reasoning in BACK Computational Kinematics Computational Research on Interaction and Agency Computational Theory for Interpreting Handwritten Text in Constrained Domains Computational kinematics Computer Go: An AI Oriented Survey Computer Proofs of Limit Theorems Computing Answers with Model Elimination Computing with Default Logic Concept Learning and Heuristic Classification in Weak-Theory Domains Conditional Logics of Normality: A Modal Approach Connectionist learning of belief networks Consistency Restoration and Explanations in Dynamic CSPs-Application to Configuration

(previous 200) (next 200)