Filters








1 Hit in 2.8 sec

ElGolog: A High-Level Programming Language with Memory of the Execution History

Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska
2020 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
Most programming languages only support tests that refer exclusively to the current state. This applies even to high-level programming languages based on the situation calculus such as Golog.  ...  in a first-order variant of two-way linear dynamic logic that uses ElGolog programs with converse.  ...  Science and Engineering Research Council of Canada.  ... 
doi:10.1609/aaai.v34i03.5669 fatcat:hxje6o4dvbhqtg7cleiwwpxcfi