Вы здесь

Главная

рассуждение

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

Abduction in Temporal Reasoning
A Case-Based Architecture for a Dialogue Manager for Information-Seeking Processes
Advances in Data Mining: Theoretical Aspects and Applications: Proc./7th Industrial Conference, ICDM 2007. Leipzig, Germany, July 2007
AI*IA 2005: Adcances in Artificial Intelligence: Proc./9th Congress of the Italian Association for Artificial Intelligence. Milan, Italy, September 2005
A Logic for Reasoning about Safety in Decision Support Systems
A Model Calculus of Partially Ordered Events in a Logic Programming Framework
A Model Elimination Calculus with Built-in Theories
A Model of Inductive Reasoning
An Algebraic Approach to Knowledge-Based Modeling
An Efficient Abductive Reasoning System Based on Program Analysis
A Perspective of Constraint-Based Reasoning
Argumentation in Multi-Agent Systems: Revised Selected and Invited Papers/Fifth International Workshop, ArgMAS 2008. Estoril, Portuga, May 2008
Artificial Intelligence and Symbolic Computation: Proc./7th International Conference, AISC 2004. Linz, Austria, September 2004
A Unified Approach for Reasoning about Conflict-Free Petri Nets
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./16th International Conference, TABLEAUX 2007. Aix en Provence, France, July 2007
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./International Conference, TABLEAUX 2005. Koblenz, Germany, September 2005
Case-based Reasoning for Action Planning by Representing Situations at the Abstract Layers
Case-Based Reasoning Research and Development: 7th Intl Conference, ICCBR 2007. Belfast, Northern Ireland, UK, August 2007
Case-Based Reasoning Research and Development: Proc./6th International Conference on Case-Based Reasoning, ICCBR 2005. Chicago, IL, USA, August 2005
Compositionality: The Significant Difference: Revised Lectures /International Symposium, COMPOS 97. Bad Malente, Germany, September 1997
Conceptual Structures: Knowledge Visualization and Reasoning: Proc./16th International Conference on Conceptual Structures, ICCS 2008. Toulouse, France, July 2008
Conceptual Structures: Theory and Implementation: Proc./7th Annual Workshop. Las Cruces, NM, USA, July 1992
Cut-Elimination in Logics with Definitional Reflection
Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption
Efficient Algorithms for Qualitative Reasoning About Time
Foundations of Knowledge Representation and Reasoning
Functional Programming, Concurrency, Simulation and Automated Reasoning: Intern. Lecture Series 1991-1992. McMaster University, Hamilton, Ontario, Canada
Function Representation by Fuzzy Reasoning
Fuzzy Logic, Inductive and Analogical Reasoning
Integrating Equational Reasoning into Instantiation-Based Theorem Proving
Intelligent Inference for Debugging Concurrent Systems
Intospective Metatheoretic Reasoning
Knowledge Base Revision Using Circumscription
Logic for Programming, Artificial Intelligenec, and Reasoning: Proc./12th International Conference, LPAR 2005. Montego Bay, Jamaica, December 2005
Logic Programming and Automated Reasoning: Proc./4th Intern.Conf, LPAR`93. St.Peterburg, Russia, July 1993
Logic Programming and Automated Reasoning: Proc./5th Intern. Conf., LPAR 94. Kiev, Ukraine, July 1994
Logic Programming and Automated Reasoning:Proc./Intern. Conf. LPAR 92. St.Petersburg, Russia, July 1992
Logic Programming for Non-Monotonic Reasoning
Logics in Artificial Intelligence: Proc./9th European Conference, JELIA 2004. Lisbon, Portugal, September 2004
Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday
MERILL: An Equational Reasoning System in Standard ML
Modeling Decisions for Artificial Intelligence: Proc./Second International Conference, MDAI 2005. Tsukuba, Japan, July 2005
Modular Reasoning in an Object-Oriented Refinement Calculus
On Computing the Minimal Labels in Time Point Algebra Networks
On Efficient Reasoning with Implication Constraints
On Point-Based Temporal Disjointness
Performance of Temporal Reasoning Systems
Principles and Practice of Semantic Web Reasoning: Proc./Second International Workshop, PPSWR 2004. St.Malo, France, September 2004
Principles and Practice of Semantic Web Reasoning: Proc./Third International Workshop, PPSWR 2005. Dagstuhl Castle, Germany, September 2005
Programming in OBJ and Maude