Вы здесь

Главная

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

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

Constraint Handling Rules: Current Research Topics
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry
Constraint Logic Programming Applied to Model Checking
Constraint (Logic) Programming: A Survey on Research and Applications
Constraint Logic Programming: Select Research
Constraint Logic Programming with Hereditary Harrop Formulas
Constraint Model Elimination and a PTTP-Implementation
Constraint Processing: Selected Papers
Constraint Retraction in FD
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming
Constructive Intensional Negation
Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs
Coordination Models and Languages: Proc./9th International Conference, COORDINATION 2007. Paphos, Cyprus, June 2007
DAOS - Scalable And-Or Parallelism
Datalog in Academia and Industry: Proc./2nd International Workshop, Datalog 2.0, Vienna, Austria, September 2012
Datalog Reloaded: Revised Selected Papers/First International Workshop, Datalog 2010, Oxford, UK, March 2010
Declarative Agent Languages and Technologies II: Revised Selected Papers/Second International Workshop, DALT 2004. New York, NY, USA, July 2004
Declarative Agent Languages and Technologies IV: Selected, Revised and Invited Papers/4th International Workshop, DALT 2006. Hakodate, Japan, May 2006
Declarative Agent Languages and Technologies VII: Revised Selected and Invited Papers/7th Internatiional Workshop, DALT 2009, Budapest, Hungary, May 2009
Declarative Agent Languages and Technologies X: Revised Selected Papers/10th International Workshop, DALT 2012, Valencia, Spain, June 2012
Declarative Agent Systems and Technologies III: Selected and Revised Papers/Third International Workshop, DALT 2005. Utrecht, The Netherlands, July 2005
Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2017 Unifying INAP, WELP, and WLP, Wü rzburg, Germany, September 2017
Declarative Programming and Knowledge Management: Revised Selected Papers/ Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WELP, Cottbus, Germany, September 2019,
Declarative Programming for Knowledge Management: Revised Selected Papers/ 16th International Conference INAP 2005 Fukuoka,Japan,October 2005
Design and Implementation of Rock & Roll: A Deductive Object-Oriented Database System
Detecting Unsolvable Queries for Definite Logic Programs
Determinacy Testing for Nondeterminate Logic Programming Languages
Diagnostic Agents for Distributed Systems
Directional Type Checking for Logic Programs: Beyond Discriminative Types
Directional types for logic programs and the annotation method
Directions for Logic Programming
Discovery Science: Proc./9th International Conference, DS 2006. Barcelona, Spain, October 2006
Disjunctive Logic Programming as Constrained Inferences
Dynamically Ordered Probabilistic Choice Logic Programming
Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming
Efficient Execution of HiLog in WAM-based Prolog Implementations
Efficient Interpretation of Propositional Multiple-valued Logic Programs
Efficient Management of Backtracking in AND-Parallelism
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints
Efficient Resource Management for Linear Logic Proof Search
Efficient Tabling Mechanisms for Logic Program
Embedding Circumscriptive Theories in General Disjunctive Programs
Encapsulated Search and Constraint Programming in Oz
Encapsulating Data in Logic Programming via Categorical Constraints
Equational Logic Programming, Actions, and Change
ESP-MC: An Experiment in the Use of Verification Tools
Evaluation of Regular Nonlinear Recursions by Deductive Database Techniques
Event Logic Programming
Exploiting Or-parallelism in Optimisation Problems
Extending the Warren Abstract Machine to Polimorphic Order-Sorted Resolution