Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification.
Kazumi NakamatsuJair Minoro AbeAtsuyuki SuzukiPublished in: HIS (2001)
Keyphrases
- logic programs
- logic programming
- answer sets
- answer set programming
- stable models
- background knowledge
- inductive logic programming
- fixpoint
- normal logic programs
- logic program updates
- computational properties
- prolog programs
- horn clauses
- counter examples
- inside outside algorithm
- extended logic programs
- fixpoint semantics
- model checking
- loop formulas
- reasoning tasks