Isoinitial Models for Logic Programs: A Preliminary Study.

Kung-Kiu Lau Mario Ornaghi

Published in: APPIA-GULP-PRODE (1998)

Keyphrases

logic programs
logic programming
fixpoint
stable models
answer sets
answer set programming
inductive logic programming
stable model semantics
expert systems
logic program updates
artificial intelligence
software engineering
autoepistemic logic
strong equivalence
loop formulas
term rewriting systems