Вы здесь

Главная

логическое программирование

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

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
Abduction and Abductive Logic Programming
A Bottom-up Semantics for Constructive Negation
A Broader Interpertation of Logic in Logic Programming
Abstract Compilation for Sharing Analysis
Abstracting Numerical Values in CLP(H,N)
Abstract Interpretation of Prolog Programs
Abstract Verification and Debugging of Constraint Logic Programs
Access Control for Deductive Databases by Logic Programming
A Complete Declarative Debugger of Missing Answers
A Compositional Proof Method of Partial Correctness for Normal Logic Programs
A Constraint Logic Programming Scheme for Taxonomic Reasoning
A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms
ACTILOG: An Agent Activation Language
Adding Linear Constraints over Real Numbers to Curry
Adding Negation-as-Failure to Intuitionistic Logic Programming
A Declarative Alternative to "assert" in Logic Programming
A Declarative View of Inheritance in Logic Programming
A Definition Approach to Functional Logic Programming
Advanced Tutorial: Concurrent Logic Programming
Advances in Artificial Intelligence and Its Applicationas, Part I: Proc./12th Mexican International Conference on AI, MICAI 2013, Mexico City, Mexico, November 2013
Advances in Artificial Intelligence: From Theory to Practice, Part I: Proc./30th International Conference on Industrial Engineering and Ather Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 2017
Advances in Computer Games: Revised Selected Papers/15th Interntional Conference, ACG 2017, Leiden, The Netherlands, July 2017
Advances in Computer Science - ASIAN 2004: Higher Level Decision Making: Proc./9th Asian Computer Science Conference Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday. Chiang Mai, Thailand, December 2004
Advances in Data Mining: Applications and Theoretical Aspects: Proc./17th Industrial Conference, ICDM 2017, New York,NY,USA, July 2017
Advances in Intelligent Data Analysis VI: Proc./6th International Symposium on Intelligent Data Analysis, IDA 2005. Madrid, Spain, September 2005
A Fibrational Semantics for Logic Programs
A Framework for Modal Logic Programming
A Game Semantics Foundation for Logic Programming
Agents for Games and Simulations: Trends in Techniques, Concepts and Design
A Hierarchical Associative Memory Architecture for Logic Programming Unification
A Higher-Order Logic Programming Language with Constraints
A Higher Order Rewriting Logic for Functional Logic Programming
A High-Level Generic Interface to External Programming Languages for ECLiPSe
AI Approaches to the Complexity of Legal Systems: Revised Selected Papers/AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL_VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017
AI*IA 2017 Advances in Artificial Intelligence: Proc./XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 2017
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types
Algebraic and Logic Programming: Proc./5th International Conference, ALP 96. Aachen,Germany,September 1996
Algebraic and Logic Programming: Proc./6th Intern. Joint Conf., ALP 97 - HOA 97. Southampton, UK, September 1997
Algebraic and Logic Programming: Proc./International Workshop held in Gaussig (DDR), November 1988
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types
Algebra of Logic Programming
Algorithmic Learning Theory: Proc./15th International Conference, ALT 2004. Padova, Italy, October 2004
Algorithmic Learning Theory: Proc./21st International Conference, ALT 2010, Canberra, Australia, October 2010
A Linear Logic Calculus of Objects
A Logic-Based Information System
A Logic Programming Language Based on Binding Algebras
Ambivalent Logic as the Semantic Basis of Metalogic Programming: I
A Method for Implementing Equational Theories as Logic Programs
A Modal Reconstruction of Blocks and Modules in Logic Programming