Cactus: A Branching-Time Logic Programming Language.
Panos RondogiannisManolis GergatsoulisThemis PanayiotopoulosPublished in: ECSQARU-FAPR (1997)
Keyphrases
- logic programming language
- constraint logic programming
- inference rules
- logic programming
- temporal reasoning
- epistemic logic
- temporal logic
- declarative semantics
- modal logic
- model checking
- situation calculus
- answer set programming
- logic programs
- database
- constraint programming
- qualitative and quantitative
- temporal information
- temporal constraints
- training examples
- high level
- artificial intelligence