Вы здесь

Главная

вывод

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

Hypothetical Reasoning and Definitional Reflection in Logic Programming
Implementation of Heuristic Problem Solving Process Including Analogical Reasoning
Implicit Parallelism in Reactive Memory Based Inference Processors
Inductive inference from all positive and some negative data
Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic
Inductive Inference with Bounded Mind Changes
Inductive Logic Programming: Revised Selected Papers/16th International Conference, ILP 2006. Santiago de Compostela, Spain, August 2006
Inference Control in Statistical Databases: From Theory to Practice
Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII
Inferences from Combined Knowledge about Topology and Directions
Inference Systems for Binding Time Analysis
Inference Systems for Conceptual Graph Programs
Inference Systems for Logical Algorithms
Inferer Rapidement la Geometrie des Collections
Inferring 3-Dimensional Constraints with DEVI
Inferring in Lego-land: An Architecture for the Integration of Heterogeneous Inference Modules
Information Flow Controls vs Inference Controls: An Integrated Approach
Intelligent Computer Mathematics: Proc./9th Intl Conf AISC 2008/15th Symposium Calculemus 2008/7th Intl Conf MKM 2008. Birmingham, UK, July/August 2008
Introducing Taxonomic Reasoning in LOGIDATA+
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines
Lazy Type Inference for the Strictness Analysis of Lists
Learning in the Presence of Additional Information and Inaccurate Information
Le Controleur de Types du Langage Fonctionnel VAAL
Local Simplification
Local Type Reconstruction by means of Symbolic Fixed Point Iteration
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./11th International Conference, LPAR 2004. Montevideo, Uruguay, March 2005
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./15th International Conference, LPAR 2008. Doha, Quatar, November 2008
Logic Programming and Nonmonotonic Reasoning: Proc./10th International Conference, LPNMR 2009, Potsdam, Germany, September 2009
Managing Derived Data in Intelligent Database Systems: An Implementation Study
Mathtalk: The Design of an Interface for Reading Algebra Using Speech
Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday
Modelling Artificial Legal Reasoning
Modes of Interval-Based Plausible Reasoning Viewed via the Checklist Paradigm
Modular and Constraint-Based Information Flow Reference for an Object-Oriented Language
More Precise Yet Efficient Type Inference for Logic Programs
Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study
Nonmonotonicity and Answer Set Inference
Nonmonotonic Logics for Belief Revision
Nonmonotonic Reasoning Is Sometimes Simpler
Non-termination Inference for Constraint Logic Prog
On Explicit Reflection in Theorem Proving and Formal Verification
On Taxonomic Reasoning in Conceptual Design
On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples
On the Elimination of Redundant Derivations During Execution
On the quality of pseudo-natural algorithms for the word problem
On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction
On the Unification of Substitutions in Type Inference
Optimizing Compositions of Scans and Reductions in Parallel Program Derivation
Parallel Inference System Research in the Japanese FGCS Project