共 50 条
- [1] Towards A Formal Model of Opportunism Based on Situation Calculus MULTIAGENT SYSTEM TECHNOLOGIES, MATES 2015, 2015, 9433 : 275 - 279
- [3] A Semantic Account of Iterated Belief Revision in the Situation Calculus 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 801 - 806
- [4] UCVSC: A Formal Approach to UML Class Diagram Online Verification Based on Situation Calculus ICCIT: 2009 FOURTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND CONVERGENCE INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2009, : 375 - 380
- [6] A description logic based situation calculus Annals of Mathematics and Artificial Intelligence, 2010, 58 : 3 - 83
- [9] Reconciling the event calculus with the situation calculus JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 39 - 58
- [10] Reconciling the event calculus with the situation calculus Journal of Logic Programming, 31 (1-3):