Login / Signup
A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN.
Kazumi Nakamatsu
Jair Minoro Abe
Seiki Akama
Published in:
Int. J. Knowl. Based Intell. Eng. Syst. (2011)
Keyphrases
</>
logic programs
logic programming
logical reasoning
answer set programming
fixpoint
stable models
background knowledge
answer sets
normal logic programs
development process
reasoning tasks
general logic programs
programming language
inductive logic programming
fixpoint semantics
existentially quantified