MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Logical Constraints in Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

34 documents found, showing 1 through 10. Next 10 →

ATOM

Logical Constraints and Logic Programming
by V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
…Logical Constraints and Logic Programming 1 V. Wiktor Marek, 2 Anil Nerode, 3 and Jeffrey B…
Cited by 5 (3 self) – Add To MetaCart

Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation Textbooks
by Manuel Hermenegildo (editor, Francisco Bueno, Manuel Carro, Pedro López, Daniel Cabeza
…Computational Logic: (Constraint) Logic Programming Theory, practice, and implementation Textbooks…
Add To MetaCart

A Comparison of Logic Programming Approaches for Representation and Solving of Constraint
by Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe — 2000 — 8th International Workshop on Non-Monotonic Reasoning, Special Session on Abduction
…A Comparison of Logic Programming Approaches for Representation and Solving of Constraint…
Cited by 7 (3 self) – Add To MetaCart

A linear-logic semantics for constraint handling rules
by Hariolf Betz, Thom Frühwirth — 2005 — Cornell University, number 222. Cambridge University Press
… of logic and constraint logic programming, CHR features – besides a well-defined operational semantics…
Cited by 11 (4 self) – Add To MetaCart

A Survey of Constraint Relational Databases
by David Tanzer — 1998
… Table of Contents Chapter 1 Introduction 1 Chapter 2 Constraint Logic Programming (CLP) 4 2.1 Overview…
Cited by 2 (2 self) – Add To MetaCart

A Horn Logic Denotational Framework for Specification, Implementation, and Verification of Domain
by Gopal Gupta, Enrico Pontelli — 1999
… prominent when we generalize Horn Logic to Constraint Logic Programming|i.e., by adding additional domains…
Cited by 3 (1 self) – Add To MetaCart

Higher-Precision Groundness Analysis
by Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey — 2001 — In International Conference on Logic Programming
… in the context of constraint logic programs to determine when variables have obtained a nal unique value [2…
Cited by 2 (0 self) – Add To MetaCart

Category-based Semantics for Equational and Constraint Logic Programming
by Razvan Diaconescu — 1994
…Category-based Semantics for Equational and Constraint Logic Programming by Razvan Diaconescu Saint…
Cited by 24 (10 self) – Add To MetaCart

Temporal Reasoning with Constraints
by Edward Moshe Schwalb, Edward Moshe Schwalb, Edward Moshe Schwalb — 1998
… Constraint Logic Programming : : : : : : : : : : : : 16 2 Temporal Constraint Satisfaction: State Of The Art…
Cited by 2 (0 self) – Add To MetaCart

Optimization of High Order Perceptrons
by Thesis Presented, Georg Thimm, Prof M. Kunt, Prof C. Pelligrini, Prof W. Gerstner, Prof L. C. Jain, E. Fiesler (ph. D, Bernard Werber, Les Fourmis
… paradigms, as for example object oriented, functional, logic, and constraint logic programming, is, whether…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB