Concentric Circle Diagrams for Visualizing a Reasoning Process on an Extended Logic Program.
Mariko SasakuraPublished in: PDPTA (2002)
Keyphrases
- logic programs
- reasoning process
- logic programming
- stable models
- answer sets
- answer set programming
- fixpoint
- prolog programs
- background knowledge
- knowledge base
- inductive logic programming
- logic program updates
- normal logic programs
- computational properties
- general logic programs
- stable model semantics
- loop formulas
- inside outside algorithm
- declarative semantics
- domain theory
- deductive databases
- fixpoint semantics
- propositional theories
- existentially quantified