On the Succinctness of Cardinality Constraint Programs and Canonical Logic Programs.
Yan ZhangFasheng CaoPublished in: ISCID (1) (2019)
Keyphrases
- logic programs
- cardinality constraints
- answer sets
- stable models
- fixpoint
- prolog programs
- logic programming
- normal logic programs
- stable model semantics
- answer set semantics
- recursive programs
- partial deduction
- loop formulas
- deductive databases
- declarative semantics
- answer set programming
- inductive logic programming
- answer set programs
- background knowledge
- functional programs
- modal logic
- functional dependencies
- semantics of logic programs
- database schema
- declarative programming
- semantics for logic programs
- entity relationship
- knowledge base
- database management systems
- object oriented
- search space
- relational databases