A Modal Calculus of Partially Ordered Events in a Logic Programming Framework.
Iliano CervesatoLuca ChittaroAngelo MontanariPublished in: ICLP (1995)
Keyphrases
- logic programming
- partially ordered
- logic programs
- extended logic programs
- possibilistic logic
- logic programming language
- computational logic
- nonmonotonic reasoning
- knowledge representation
- partial order
- default logic
- cooperative multi agent
- automated deduction
- answer set programming
- deductive databases
- answer sets
- reasoning tasks
- programming language
- normal logic programs
- artificial intelligence
- database
- stable models
- event calculus
- data structure
- knowledge base
- data mining