Вы здесь

Главная

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

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

Extensions of Logic Programming: Proc./5th Intern. Workshop, ELP 96. Leipzig, Germany, March 1996
Fifth Generation Computer Architectures: Proc./IFIP TC 10 Working Conference on Fifth Generation Computer Architectures, Manchester, UK, July 1985
Fifth Generation Computer Project: towards Large-scale Knowledge Information Processing
Flang System: A New Version
Forms of Logic Specifications: A Preliminary Study
Foundations of Equational Logic Programming
Foundations of Inductive Logic Programming
Foundations of Information and Knowledge Systems: Proc./6th International Symposium, FolKS 2010, Sofia, Bulgaria, February 2010
Foundations of Information and Knowledge Systems: Proc./8th International Symposium, FolKS 2014, Bordeaux, France, March 2014
Foundations of Intelligent Systems: Proc./16th International Symposium, ISMIS 2006. Bari, Italy, September 2006
Foundations of Logic Programming
Freeness Analysis Througn Linear Refinement
From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases
From Queries to Answers in Visual Logic Programming
Functional and Constraint Logic Programming: /18th International Workshop, WELP 2009, Brasilia, Brazil, June 2009
Functional and Constraint Logic Programming: Revised Selected Papers/26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 2018
Functional and Constraint Logic Programming: Revised Selected Papers/28th International Workshop, WFLD 2020, Bologna, Italy, September 2020
Functional and Logic Programing: Proc./9th International Symposium, FLOPS 2008. Ise, Japan, April 2008
Functional and Logic Programming: Proc./10th International Symposium, FLOPS 2010, Sendai, Japan, April 2010
Functional and Logic Programming: Proc./13th International Symposium, FLOPS 2016, Kochi, Japan, March 2016
Functional and Logic Programming: Proc./15th International Symposium, FLOPS 2020, Acita Japan, September 2020
Functional and Logic Programming: Proc./4th Fuji Intern. Symp., FLOPS 99. Tsukuba, Japan, November
Functional and Logic Programming: Proc./5th Intern. Symp., FLOPS 2001, Tokyo, Japan, March 2001
Functional and Logic Programming: Proc./7th Intern. Symp., FLOPS 2004, Nara, Japan, April 2004
Functional and Logic Programming: Proc./8th International Symposium, FLOPS 2006. Fuji-Susono, Japan, April 2006
Functional Plus Logic Programming with Built-In and Symbolic Constraints
Fuzzy Logic and Applications: Revised Selected Papers/6th International Workshop, WILF 2005. Crema, Italy, September 2005
Generated Models and Extensions of Nonmonotonic Systems
Global Analysis of Standard Prolog Programs
Global Variables in Logic Programming
Graph Structures for Knowledge Representation and Reasoning: Revised Selected Papers/2nd International Workshop, GKR 2011, Barcelona, Spain, July 2011
Handling Preferences in Constraint Programming with Relational Optimization
Higher-Order E-Unification for Arbitrary Theories
Higher-Order Horn Logic Programming
Higher-Order Narrowing with Convergent Systems
Higher-order Polymorphic Unification for Logic Programming
High-Level Constraints over Finite Domains
High-Level Logic Programming
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Homeomorphic Embedding for Online Termination of Symbolic Methods
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming
Hyperproof: An Excursion in Situated Logic
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
IDIOM: Integrating Dependent and-, Independent and-, and Or-parallelism
Iductive Logic Programming for Relational Knowledge Discovery
Implementation and Development Issues for the Linear Logic Programming Language Lygon
Implementation of Multiple Specialization in Logic Programs
Implementation of Program Composition Operations
Implementing Index Data Structures Using Constraint Logic Programming
Implementing the Linear Logic Programming Language Lygon