Features and Fluents for Logic Programming: Non-simulative Algebraic Semantics
Department of Computer Science Research Reports;RR-00-05 - September 2000
MetadataShow full item record
A Non-simulative Algebraic Semantics is defined and its range of applicability is proven to be the K-RACi class of the Features and Fluents framework. The comparative assessment reveals the semantics epistemologically equivalent and ontologically stronger than the Abductive Logic Programming, the Action Description Language A and the PMON entailment. The semantics is shown to be decidable.