Keyphrases
- deductive databases
- datalog programs
- model theoretic
- logic programming
- propositional dynamic logic
- valued logic
- logic programs
- higher level
- operational semantics
- active rules
- semantic representation
- formal semantics
- genetic algorithm
- stable models
- query evaluation
- integrity constraints
- semantic information
- neural network
- graphical representation
- transitive closure
- default reasoning
- fixpoint
- query answering
- conceptual model
- low level
- high level
- argumentation semantics
- datalog queries