Refining Action Theories through Abductive Logic Programming.

Renwei Li Luís Moniz Pereira Verónica Dahl

Published in: LPKR (1997)

Keyphrases

abductive logic programming
action theories
situation calculus
logic programs
reasoning about actions
model theoretic
initial state
logic programming
proof procedure
incomplete information
programming language
theorem proving