@inproceedings{5f3ba3de5e2c401c84d8c732bf5a5fa6,
title = "Situation calculus as answer set programming",
abstract = "We show how the situation calculus can be reformulated in terms of the first-order stable model semantics. A further transformation into answer set programs allows us to use an answer set solver to perform propositional reasoning about the situation calculus. We also provide an answer set programming style encoding method for Reiter's basic action theories, which tells us how the solution to the frame problem in answer set programming is related to the solution in the situation calculus.",
author = "Joohyung Lee and Ravi Palla",
year = "2010",
language = "English (US)",
isbn = "9781577354642",
series = "Proceedings of the National Conference on Artificial Intelligence",
publisher = "AI Access Foundation",
pages = "309--314",
booktitle = "AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference",
note = "24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference, AAAI-10 / IAAI-10 ; Conference date: 11-07-2010 Through 15-07-2010",
}