Keyphrases
- logic programming
- logic programs
- compositional semantics
- multi modal
- derivation rules
- semantics for logic programs
- stable model semantics
- medical images
- fixpoint semantics
- declarative semantics
- fixed point semantics
- stable models
- extended logic programs
- model theoretic
- logic programming language
- normal logic programs
- data sets
- formal semantics
- closed world
- open world
- defeasible logic
- default reasoning
- containment of conjunctive queries
- answer sets
- knowledge representation
- neural network