Event choice datalog: a logic programming language for reasoning in multiple dimensions.
Gianluigi GrecoAntonella GuzzoDomenico SaccàFrancesco ScarcelloPublished in: PPDP (2004)
Keyphrases
- logic programming language
- multiple dimensions
- logic programming
- multi dimensional
- knowledge base
- knowledge representation
- deductive databases
- constraint logic programming
- logic programs
- inference rules
- multi dimensional data
- answer set programming
- programming language
- nonmonotonic reasoning
- expressive power
- situation calculus
- answer sets
- expert systems
- query language
- data structure
- constraint programming
- default logic
- fixpoint
- spatial join
- data analysis