Вы здесь

Главная

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

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

Automatic Software Model Checking Using CLP
A VLSI Design Environment in Prolog
Best-first Search for Property Maintenance in Reactive Constraints Systems
Binding-Time Analysis for Mercury
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming
Calculi for Disjunctive Logic Programming
Cardinality Analysis of Prolog
Cardinality Constraints in Disjunctive Deductive Databases
Category-based modularisation for equational logic programming
CAT: The Copying Approach to Tabling
Characterisations of Termination in Logic Programming
Chatbot Research and Design: Revised Selected Papers/4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 2020
Chatbot Research and Design: Revised Selected Papers//5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 2021
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving
Coherence Approach to Logic Program Revision
Combinations of Abstract Domains for Logic Programming
Combinatory Logic Programming: Computing in Relation Calculi
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language
Combining Symbolic Constraint Solvers on Algebraic Domains
Communicating Clauses: towards Synchronous Communication in Contextual Logic Programming
Compiler Construction in Higher Order Logic Programming
Compiling Constraint Handling Rules into Prolog with Attributed Variables
Compiling Mercury ti High-Level C Code
Complexity and Expressive Power of Disjunctive Logic Programming
Complexity and Expressive Power of Disjunctive Logic Programming and Datalog
Complexity Results for Abductive Logic Programming
Compositional Analysis for Equational Horn Programs
Compositionality of Normal Open Logic Programs
Compositional refinements in multiple blackboard systems
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/10th International Workshop, CLIMA X, Hamburg, Germany, September 2009
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/5th International Workshop, CLIMA V. Lisbon, Portugal, September 2004
Computational Logic - Logic Programming and Beyond
Computational Logic - Logic Programming and Beyond: Essays in Honour of Robert A.Kowalski, Part I
Computational Methods in Systems Biology: Proc./13th International Conference, CMSB 2015, Nantes, France, September 2015
Computer Algebra in Scientific Computing: Proc./8th International Workshop, CASC 2005. Kalamata, Greece, September 2005
Computer Science Logic: Proc./13th Intern. Workshop, CSL 99, 8th Annual Conf. of the EACSL. Madrid, Spain, September 1999
Computer Science Logic: Selected Papers/8th Workshop, CSL 94 Kazimierz, Poland, September 1994
Computing and Comparing Semantics of Programs in Four-Valued Logics
Computing Annotated Logic Programs
Computing Prioritized Circumscription by Logic Programming
Computing the Acceptability Semantics
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occcasion of His 65th Birthday
Concurrent Logic Programming Asynchronous and Language Comparison
Conditional Logic Programming
Conjunto: Constraint Logic Programming with Finite Set Domains
Constrained Dependencies (Extended Abstract)
Constraint-Based Termination Analysis of Logic Programs
Constraint Databases and Applications: Selected Papers/Second Intern. Workshop on Constraint Database Systems, CDB 97; Delphi, Greece, January 1997. CP 96 Workshop on Constraints and Databases; Cambridge, MA, USA, August 1996
Constraint Functional Logic Programming for Origami Construction