Incremental execution of guarded theories

DOI10.1145/383779.383782zbMath1365.68159OpenAlexW2087144687MaRDI QIDQ5738916

Sebastian Sardiña, Hector J. Levesque, Giuseppe De Giacomo

Publication date: 13 June 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/383779.383782

zbMATH Keywords

reasoning about actionssituation calculusagent behavior

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Logic programming (68N17)

Uses Software

• ConGolog
• GOLOG

This page was built for publication: Incremental execution of guarded theories