Reasoning about agents in the KARO framework

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2001, Pages 206-213

  Hustadt, U ^a   Dixon, C ^a   Schmidt, R A ^b   Fisher, M ^a   Meyer, J J ^c   Van Der Hoek, W ^c  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b Department of Computer Science   (United Kingdom)

^c UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT-BASED SYSTEMS; AUTOMATED REASONING; CLAUSAL RESOLUTIONS; FIRST ORDER LOGIC; FIRST-ORDER; KARO FRAMEWORK; MULTI-MODAL; PROPOSITIONAL DYNAMIC LOGIC;

FORMAL LOGIC;

EID: 84880058914     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2001.930719     Document Type: Conference Paper

References (25)

1. M. Wooldridge, Reasoning about Rational Agents, MIT Press, 2000.
2. R. Fagin, J. Y. Halpem, Y. Moses, and M. Y. Vardi, Reasoning Abou? Knowledge, MIT Press, 1996.
3. A. S. Rao and M. P. Georgeff, "Modeling agents withing a BDIarchitecture, " in Pmc. KR-91, pp. 473-484, Morgan Kaufmann, 1991.
4. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer, "Formalising motivational attitudes of agents: On preferences, goals and commitments, " in Intelligent Agents 11, vol. 1037 of LAW, pp. 17-32. Springer, 1996.
5. A. S. Rao and M. P. Georgeff, "Decision procedures for BDI logics, " J. Logic & Computat., vol. 8, no. 3, pp. 293-343, 1998.
6. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer, "Formalizing abilities and opportunities of agents, " Funaizmenta Informaticae, vol. 34, no. 1, 2, pp. 53-101, 1998.
7. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer, "Communicating rational agents, " in Proc. KI-94, vol. 861 of LAHI, pp. 202-213, Springer, 1994.
8. J.-J. Ch. Meyer and W. van der Hoek, Epistemic Logic for Al and Computer Science, Cambridge University Press, 1995.
9. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer, "Unravelling nondeterminism: On having the ability to choose (extended abstract), " in Proc. AlMSA'94, pp. 163-172, World Scientific, 1994.
10. H. De Nivelle, R. A. Schmidt, and U. Hustadt, "Resolution-based methods for modal logics, " Logic Journal of the ZGPL, vol. 8, no. 3, pp. 265-292, 2OOO
11. U. Hustadt, Resolution-Based Decision Procedures for Subclasses of Firs?-Order Logic, Ph.D. thesis, Universittit des Saarlandes, Saarbriicken, Germany, 1999.
12. U. Hustadt and R. A. Schmidt, "Using resolution for testing modal satisfiability and building models, " To appear in the SAT 2000 Special Issue of J. Automated Reasoning, 2001.
13. R. A. Schmidt, "Decidability by resolution for propositional modal logics, " J. Automated Reasoning, vol. 22, no. 4, pp. 379-396, 1999.
14. H. De Nivelle, "Translation of S4 into GF and 2VAR, " Unpublished manuscript, May 1999.
15. H. J. Ohlbach, "Combining Hilbert style and semantic reasoning in a resolution framework, " in Pmc. CADE-15, vol. 1421 of LAHI, pp. 205-219, Springer, 1998.
16. C. Fermiiller, A. kitsch, U. Hustadt, and T. Tammet, "Resolution decision procedures, " in Handbook of Automated Reasoning. Elsevier, 2001.
17. L. Bachmair and H. Ganzinger, "Resolution theorem proving, " in Handbook of Automated Reasoning. Elsevier, 2001.
18. L. Georgieva, U. Hustadt, and R. A. Schmidt, "Computational space efficiency and minimal model generation for guarded formulae, " Submitted, 2001.
19. C. Dixon, M. Fisher, and M. Wooldridge, "Resolution for temporal logics of knowledge, " J. Logic & Computat., vol. 8, no. 3, pp. 345-372, 1998.
20. G. Mints, "Gentzen-type systems and resolution rules. Part I: Propositional logic, " in Pmc. COLOG-88, vol. 417 ofLNCS, pp. 198-231, Springer, 1990.
21. C. Dixon, M. Fisher, and A. Bolotov, "Resolution in a Logic of Rational Agency, " in Pmc. ECAZ 2000, IOS Press, 2000.
22. M. Fisher, C. Dixon, and M. Peim "Clausal Temporal Resolution, " ACM Transactions on Computational Logic, vol. 2, no. 1, 2001.
23. R. A. Schmidt and D. Tishkovsky, "On calculi and kripke semantics for multi-agent systems within the karo framework, " Submitted, 2001.
24. C. Dixon and M. Fisher, "Clausal Resolution for Logics of Time and Knowledge with Synchrony and Perfect Recall, " in Pmc. ZCTL 2000, pp. 43-52, 2OOO
25. U. Hustadt, C. Dixon, R. A. Schmidt, and M. Fisher, "Normal forms and proofs in combined modal and temporal logics, " in Pmc. Fm-CoS'2000, vol. 1794 of LNAI, pp. 73-87, Springer, 2000.