Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming

Joohyung Lee, Ravi Palla

Research output: Contribution to journalArticlepeer-review

35 Scopus citations

Fingerprint

Dive into the research topics of 'Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming'. Together they form a unique fingerprint.

Engineering & Materials Science