A PROLOG technology theorem prover: implementation by an extended PROLOG compiler
Proc. of the 8th international conference on Automated deduction
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A practical framework for the abstract interpretation of logic programs
Journal of Logic Programming
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
The OPL optimization programming language
The OPL optimization programming language
The essence of constraint propagation
Theoretical Computer Science
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Extending and implementing the stable model semantics
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Tableau Techniques for Querying Information Sources through Global Schemas
ICDT '99 Proceedings of the 7th International Conference on Database Theory
The Well-Founded Semantics Is the Principle of Inductive Definition
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Some Remarks on Boolean Constraint Propagation
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Propositional Satisfiability in Answer-Set Programming
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Extending Classical Logic with Inductive Definitions
CL '00 Proceedings of the First International Conference on Computational Logic
On the efficient implementation of production systems.
On the efficient implementation of production systems.
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Advanced techniques for logic program specialisation
AI Communications
Well-founded and stable semantics of logic programs with aggregates
Theory and Practice of Logic Programming
Principles of Constraint Programming
Principles of Constraint Programming
Artificial Intelligence
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence
The Design of the Zinc Modelling Language
Constraints
Expressive power and abstraction in Essence
Constraints
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
A logical framework for configuration software
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
An Engine for Computing Well-Founded Models
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A framework for representing and solving NP search problems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Approximate query answering in locally closed databases
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
An extension to conformant planning using logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Declarative programming of search problems with built-in arithmetic
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Well-founded semantics and the algebraic theory of non-monotone inductive definitions
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Clasp: a conflict-driven answer set solver
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
Fo(fd): Extending classical logic with rule-based fixpoint definitions
Theory and Practice of Logic Programming
On the performance of lazy matching in production systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
An approximative inference method for solving ∃¬so satisfiability problems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Grounding FO and FO(ID) with bounds
Journal of Artificial Intelligence Research
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Efficient Lazy Evaluation of Rule-Based Programs
IEEE Transactions on Knowledge and Data Engineering
The third answer set programming competition: preliminary report of the system competition track
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Reducing inductive definitions to propositional satisfiability
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Representation of partial knowledge and query answering in locally complete databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Satisfiability checking for PC(ID)
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Enfragmo: a system for modelling and solving search problems with logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Fundamenta Informaticae
An approximative inference method for solving ∃∀SO satisfiability problems
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
In Constraint Programming, constraint propagation is a basic component of constraint satisfaction solvers. Here we study constraint propagation as a basic form of inference in the context of first-order logic (FO) and extensions with inductive definitions (FO(ID)) and aggregates (FO(AGG)). In a first, semantic approach, a theory of propagators and constraint propagation is developed for theories in the context of three-valued interpretations. We present an algorithm with polynomial-time data complexity. We show that constraint propagation in this manner can be represented by a datalog program. In a second, symbolic approach, the semantic algorithm is lifted to a constraint propagation algorithm in symbolic structures, symbolic representations of classes of structures. The third part of the article is an overview of existing and potential applications of constraint propagation for model generation, grounding, interactive search problems, approximate methods for ∃∀SO problems, and approximate query answering in incomplete databases.