By Topic

An Interface between the Situation Calculus and Logic Programming

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Saez, P. ; Dept. de Ing. Inf. y Cienc. de la Comput., Univ. of Concepcion, Concepcion

We elaborate in this paper on the idea of translating situation calculus specifications into logic programs, thus making these specifications executable. We show a Topor-Lloyd-like procedure that transforms situation calculus specifications, mainly intended to stem from database environments, into logic program rules that can be subsequently executed or that could be transformed into deductive or relational database programs. Basically we stress the concept of query safeness, that is central in the database context and we combine for that purpose the concepts of allowed formula and of simple formula into a formal framework with a formal logic programming semantics.

Published in:

Artificial Intelligence - Special Session, 2007. MICAI 2007. Sixth Mexican International Conference on

Date of Conference:

4-10 Nov. 2007