Вы здесь

Главная

вывод

Связанные издания:

Abstract Properties for the Choice Provability Relation in Nonmonotonic Logics
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing
Actions with Preconditions and Postconditions
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order -Calculus
Advanced Information Modelling for Integrated Network Management Applications
Advances in Artificial Intelligence - SBIA 2004: Proc./17th Brazilian Symposium on Artificial Intelligence. Sao Luis,Maranhao,Brazil,September/October 2004
AERIE: Database Inference Modeling and Detection Using Conceptual Graphs
A Foundation for Hybrid Knowledge Bases
A Framework for Integrating Logic and Objects for Kowledge Representation and Reasoning
A Framework for Type Inference with Subtyping
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction of Logic Programs
A Genetic Algorithm for Grammatical Inference
Algebra, Meaning, and Computation: Essays Dedicated to Jeseph A. Goguen on the Occasion of His 65th Birthday
Algorithmic Learning for Knowledge-Based Systems. GOSLER Final Report
Algorithmic Learning Theory: Proc./15th International Conference, ALT 2004. Padova, Italy, October 2004
Algorithmic Learning Theory: Proc./19th International Conference, ALT 2008. Budapest, Hungary, October 2008
A LISP programming exercise
A Modal Inference System for Generic Specification with Application to Code Sharing
Analogical and Inductive Inference: Proc./Intern. Workshop AII 92, Dagstuhl Castle, Germany, October 1992
Analysing Resource Use in the -calculus by Type Inference
An Approach to Handle Partially Sound Rules of Inference
An Enhanced Sequent Calculus for Reasoning in a given Domain
An Iconic Intention-Driven ITS Environment
Animat control system based on semantic probabilistic inference
An Implementation Model for Contexts and Negation in Conceptual Graphs
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing
An Integration of Case-Based and Model-Based Reasoning and its Application to Physical System Faults
An Intelliigent Cache Memory Chip Suitable for Logical InferOn "inherently context-sensitive" languages - An application
A Parallel Implementation of the EQUIP Expert System
A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs
Application of Model-Based Reasoning to the Maintenance of Telecommunication Networks
Approximate Reasoning in Expert Systems: Inference and Combination Tools
A Probabilistic Inference Model for Information Retrieval
Architecture of Parallel Inference Machines
A Relational Programming System with Inferred Representations
A Reuse-Oriented Framework for Hierarchical Specifications
A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning
A Type Inference System for Prolog
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015
Automated Deduction in Geometry: Revised Papers/6th International Workshop, ADG 2006. Pontevedra, Spain, August/September 2006
Automated Inductive Reasoning About Logic Programs
Automated Reasoning: Proc./4th International Joint Conference, IJCAR 2008. Sydney, Australia, August 2008
Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010
Automated Reasoning: Proc./Third International Joint Conference, IJCAR 2006. Seattle, WA, USA, August 2006
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./16th International Conference, TABLEAUX 2007. Aix en Provence, France, July 2007
Automatic Indexing Based on Bayesian Inference Networks
Automatic Inference of Class Invariants
Building BSP Programs Using the Refinement Calculus
Case-Based Reasoning in Expert System Assisting Production Line Design