Intelligent process order control based on a paraconsistent logic program : An introduction.

Kazumi Nakamatsu

Published in: SMC (2007)

Keyphrases

logic programs
logic programming
answer sets
background knowledge
artificial intelligence
stable models
computational properties
prolog programs
query language
answer set programming
fixpoint
general logic programs