共 50 条
- [32] Calculus CL as a Formal System DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2020, 2020, 12169 : 445 - 460
- [34] Synchronous Games in the Situation Calculus PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1675 - 1676
- [35] The Chisholm paradox and the situation calculus FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2005, 3488 : 425 - 434
- [36] Hybrid Temporal Situation Calculus ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, 11489 : 173 - 185
- [37] Property Persistence in the Situation Calculus 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1948 - 1953
- [38] A situation calculus model of hypertext PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL V: MODELING TECHNOLOGIES AND INTELLIGENT SYSTEMS TRACK, 1998, : 205 - 214
- [39] Determining ramifications in the situation calculus PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 76 - 86
- [40] DESIGN PATTERNS IN SITUATION CALCULUS PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGY AND ENGINEERING, 2009, : 244 - 248