Keyphrases
- recursive programs
- dynamic logic
- declarative semantics
- logic programming
- modal logic
- computer programs
- real time
- automated reasoning
- proof theory
- automatic programming
- answer sets
- deductive databases
- logic programs
- information technology
- multi valued
- fixpoint
- stable models
- predicate logic
- program synthesis
- website
- artificial intelligence
- agent programming
- neural network