Constraint satisfaction in logic programming

Constraint satisfaction in logic programming

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Van Hentenryck, Pascal
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Cambridge, Mass. : MIT Press, c1989
Σειρά:	Logic programming
Θέματα:	Logic programming.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Programming with constraints :
από: Marriott, Kim
Δημοσίευση: (1998)

Logic-based 0-1 constraint programming
από: Barth, Peter Ph.D
Δημοσίευση: (1996)

Programming logic and design :
από: Farrell, Joyce
Δημοσίευση: (2007)

Meta-programming in logic programming
Δημοσίευση: (1989)

Logic programming :
Δημοσίευση: (1991)

Logic Programming :

The logic programming paradigm :
Δημοσίευση: (1999)

Types in logic programming
Δημοσίευση: (1992)

Essentials of logic programming
από: Hogger, Christopher John
Δημοσίευση: (1990)

The logic of programming
από: Hehner, Eric C. R.
Δημοσίευση: (1984)

Handbook of logic in artificial intelligence and logic programming
Δημοσίευση: (1993)

Logic programming and databases
από: Ceri, Stefano 1955-
Δημοσίευση: (1990)

Logic programming and prolog
από: Nilsson, Ulf
Δημοσίευση: (1997)

Parallel logic programming
από: Tick, Evan 1959-
Δημοσίευση: (1991)

Logic programming with Prolog
από: Bramer, M. A. (Max A.) 1948-
Δημοσίευση: (2005)

Temporal logic of programs
από: Kroger, Fred
Δημοσίευση: (1987)

Logic programming and soft computing
Δημοσίευση: (1998)

Foundations of disjunctive logic programming
από: Lobo, Jorge
Δημοσίευση: (1992)

From logic programming to Prolog
από: Apt, Krzysztof R. 1949-
Δημοσίευση: (1997)

Distributed constraint satisfaction :
από: Yokoo, Makoto
Δημοσίευση: (2000)

Non-monotonic extensions of logic programming :
Δημοσίευση: (1995)

Algorithms for stochastic constraint satisfaction problems :
από: Μπαλαφούτης, Αθανάσιος
Δημοσίευση: (2006)

Logic programming and nonmonotonic reasoning :
Δημοσίευση: (1997)

Logic programming and non-monotonic reasoning :
Δημοσίευση: (1993)

Logic programming and non-monotonic reasoning :
Δημοσίευση: (1991)

Logic for applications
από: Nerode, Anil, 1932-
Δημοσίευση: (1993)

Non-monotonic extensions of logic programming :
Δημοσίευση: (1997)

Algorithms for stochastic constraint satisfaction problems
από: Μπαλαφούτης, Αθανάσιος - Δημήτριος
Δημοσίευση: (2015)

Logic for computer scientists
από: Schoning, Uwe 1955-
Δημοσίευση: (1989)

Handling arithmetic binary and non-binary constraints in quantified constraint satisfaction problems :
από: Τσοπανάκης, Κώστας
Δημοσίευση: (2005)

Constraint and integer programming :
Δημοσίευση: (2004)

Logic in computer science :
από: Huth, Michael 1962-
Δημοσίευση: (2004)

Principles of constraint programming
από: Apt, Krzysztof R. 1949-
Δημοσίευση: (2003)

Essentials of constraint programming
από: Fruhwirth, Thom 1962-
Δημοσίευση: (2003)

Handbook of constraint programming
Δημοσίευση: (2006)

P-Prolog, a parallel logic programming language
από: Yang, Rong
Δημοσίευση: (1987)

Handling Arithmetic Binary and Non-Binary Constraints in Quantified Constraint Satisfaction Problems
από: Τσοπανάκης, Κωνσταντίνος - Δημήτριος, κ.ά.
Δημοσίευση: (2015)

Temporal logic :
από: Gabbay, Dov M. 1945-
Δημοσίευση: (1994)

Temporal logic :
Δημοσίευση: (1994)

Logic and structured design :
από: Rood, Harold J.
Δημοσίευση: (2001)