
Situation Calculus as Answer Set Programming
Author(s) -
Joohyung Lee,
Ravi Palla
Publication year - 2010
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v24i1.7601
Subject(s) - situation calculus , answer set programming , calculus (dental) , propositional calculus , set (abstract data type) , natural deduction , semantics (computer science) , computer science , stable model semantics , action (physics) , transformation (genetics) , mathematics , algebra over a field , programming language , operational semantics , pure mathematics , medicine , dentistry , biochemistry , chemistry , physics , quantum mechanics , gene