Вы здесь

Главная

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

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

On the Completeness of Residuation
On the Extension of Logic Programming with Negation through Uniform Proofs
On the Verification of Finite Failure
On T Logic Programming
Or-Parallelism within Tabling
Over-Constrained Systems
Parallel CLP on Heterogeneous Networks
Parallel Logic Programming Systems
Parametric Polymorphism for Typed Prolog and Prolog
Partial Evaluation of Functional Logic Programs
Performance of a Data-Parallel Concurrent Constraint Programming System
Pointwise Circunscription Is Equivalent to Predicate Completion (Sometimes)
Practical Aspects of Declarative Languages: Proc./10th International Symposium, PADL 2008. San Francisco, CA, USA, January 2008
Practical Aspects of Declarative Languages: Proc./12th International Symposium, PADL 2010, Madrid, Spain, January 2010
Practical Aspects of Declarative Languages: Proc./13th International Symposium, PADL 2011, Austin,TX,USA, January 2011
Practical Aspects of Declarative Languages: Proc./15th International Symposium, PADL 2013, Rome, Italy, January 2013
Practical Aspects of Declarative Languages: Proc./16th International Symposium, PADL 2014, San Diego,CA,USA, January 2014
Practical Aspects of Declarative Languages: Proc./21th International Symposoum, PADL 2019, Lisbon, Portugal, January 2019
Practical Aspects of Declarative Languages: Proc./22nd International Symposium, PADL 2020, New Orleans,LA,USA, January 2020
Practical Aspects of Declarative Languages: Proc./23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 2021
Practical Aspects of Declarative Languages: Proc./24th International Symposium, PADL 2022, Philadelphia,PA,USA, January 2022
Practical Program Analysis Using General Purpose Logic Pragramming Systems - A Case Study
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study
Preference Logic Programming
Principles and Pactice of Constraint Programming - CP 2001: Proc./7th Intern. Conf., CP 2001, Paphos, Cyprus, November-December 2001
Principles and Practice of Constraint Programming - CP 2006: Proc./12th Intl Conference, CP 2006. Nantes, France, September 2006
Principles and Practice of Constraint Programming - CP 2009: Proc./15th International Conference, CP 2009, Lisbon, Portugal, September 2009
Principles and Practice of Constraint Programming - CP 2010: Proc./16th International Conference, CP 2010, St.Andrews, Scotland, September 2010
Principles and Practice of Constraint Programming - CP 2011: Proc./17th International Conference, CP 2011, Perugia, Italy, September 2011
Probabilistic Inductive Logic Programming: Theory and Applications
Probabilistic Logic Programming and Bayesian Networks
Probabilistic Space Partitioning in Constraint Logic Programming
Programming Constraint Services: High-Level Programming of Standard and New Constraint Services
Programming Languages and Systems: Proc./17th European Symposium on Programming, ESOP 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008
Programming Languages and Systems: Proc./20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saabrucken, Germany, March 2011
Programming Languages and Systems: Proc./7th Asian Symposium, APLAS 2009, Seoul, Korea, December 2009
Programming Logics: Essays in Memory of Harald Ganzinger
Program Specialisation and Abstract Interpretation Reconciled
PROLOG Implementations for Cellular Architectures
Proof-theory for Extensions of Logic Programming
Proving Properties of Logic Programs by Abstract Diagnosis
Proving the Equivalence of CLP Programms
Pruning in the Extended Andorra Model
Quiescence Detection in a Distributed KLIC Implementation
Readable, Runnable Requirements Specifications in SPILL-2
Reasoning Web: Semantic Interoperability on the Web: Tutorial Lectures/13th International Summer School 2017, London, UK, July 2017
Reasoning Web. Semantic Technologies for the Web of Data: Tutorial Lectures/7th International Summer School 2011, Galwey, Ireland, August 2011
Reasoning with Logic Programming
Recent Advances in Constraints: Proc./Joint ERCIM/CologNet Intern. Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 2002
Recent Advances in Constraints: Revised Selected Papers/12th Annual ERCIM Intl WS CSCLP 2007. Rocquencourt, France, June 2007