Вы здесь

Главная

вывод

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

Case-Based Reasoning Research and Development: Proc./8th International Conference ICCBR 2009 Seattle, WA, USA, July 2009
Changing Attitudes
Classifying News Stories Using Memory Based Reasoning
Compactness Properties of Nonmonotonic Inference Operations
Completeness of the Pool Calculus with an Open Built-in Theory
Complexity of Concrete Type-Inference in the Presence of Exceptions
Conceptual Graphs and First-Order Logic
Conditional Answers for Polymorphic Type Inference
Conditional Logics and Cumulative Logics
Conditionals, Information, and Inference: Revised Selected Papers/International Workshop, WCII 2002. Hagen, Germany, May 2002
Conjunctive Predicate Transformers for Reasoning about Concurrent Computation
Construction of Belief Sets for Logic Programs and Default Theories
DDD-FM9001: Derivation of a Verified Microprocessor
Declarative Agent Languages and Technologies II: Revised Selected Papers/Second International Workshop, DALT 2004. New York, NY, USA, July 2004
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability
Derivation of logic programs by functional methods
Derivation of Programs for Freshmen
Deriving Algorithms from Type Inference Systems: Application to Strictness Analysis
Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices using Automatic Program Transformation
Design and Implementation of Derived Entities
Deterministic Higher-Order Patterns for Program Transformation
Diagnosis and Debugging as Contradiction Removal in Logic Programs
Diagrammatic Representation and Inference: Proc./5th International Conference, Diagrams 2008. Herrsching, Germany, September 2008
Digital Talking Books - a Report from a Practical, Ongoing Project
Directional Type Inference for Logic Programs
Dissolution: Making Paths Vanish
Diversity-Based Inference of Finite Automata
Dynamic Typing as Staged Type Inference
Efficient Context-Sensitive Plausible Inference for Information Disclousure
Efficient Strategies for Automated Reasoning in Modal Logics
Efficient Type Reconstruction in the Presence of Inheritance
Endomorphic Typing
Epistemic Logic, Probability Theory and Multiagent Nonmonotonic Reasoning
Equality and Constrained Resolution
Equation Solving in Projective Planes and Planar Ternary Rings
EUODHILOS: A General Reasoning System for a Variety of Logics
Evaluation of an Inference Network-Based Retrieval Model
Explaining Constraint Programming
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
Formally Optimal Boxing
From Inductive Inference to Algorithmic Learning Theory
Frontiers of Combining Systems: Proc./7th International Symposium, FroCoS 2009, Trento, Italy, September 2009
Garbage Collection via Dynamic Type Inference - A Formal Treatment
Geammatical Inference: Algorithms and Applications: Proc./7th International Colloquium, ICGI 2004. Athens, Greece, October 2004
General Purpose Proof Plans
Grammatical Inference - Algorithms and Applications: Proc./6th Intern. Colloq., ICGI 2002, Amsterdam, The Netherlands, September 2002
Grammatical Inference: Algorithms and Applications: Proc./8th International Colloquium, ICGI 2006. Tokyo, Japan, September 2006
Grammatical Inference: Algorithms and Applications: Proc./9th International Colloquium, ICGI 2008. Saint-Malo, France, September 2008
Grammatical Inference and Applications: Proc./Second Intern. Colloquium, ICGI-94. Alicante, Spain, September 1994
Grammatical Inference: Proc./4th Intern. Colloquium, ICGI-98. Ames, Iows, USA, July 1998