Renate A. Schmidt, Dmitry Tishkovsky  Home/Search
Context Related
| cs.man.ac.uk/~schm...ishkovsky02c.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/~schmidt/pub...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes a family of logics for reasoning about the dynamic activities and informational attitudes, i.e. the beliefs and knowledge, of agents. The logics are based on a new formalisations and semantics of the test operator of propositional dynamic logic and a representation of actions which distinguishes abstract actions from concrete actions. The new test operator, called informational test, can be used to formalise the beliefs and knowledge of particular agents as dynamic... (Update)
Cited by: More
Interaction between Knowledge, Action and Commitment.. - Schmidt, Tishkovsky.. (2003) (Correct)
Active bibliography (related documents): More All
0.8: Combining Dynamic Logic with Doxastic Modal Logics - Schmidt, Tishkovsky (2002) (Correct)
0.8: Unknown - (Correct)
0.4: It Depends on the Context! A decidable logic of.. - Castilho, Herzig.. (2002) (Correct)
Similar documents based on text: More All
0.2: Description Logics: Modal Logics for Class-Based Modeling - De Giacomo (Correct)
0.2: Reasoning about agents in the KARO framework - Hustadt, Dixon, Schmidt.. (2001) (Correct)
0.2: Modelling Rational Agents in a Dynamic Environment: Putting .. - Dignum, van Linder (1996) (Correct)
BibTeX entry: (Update)
R. A. Schmidt and D. Tishkovsky. Multi-Agent Logics of Dynamic Belief and Knowledge. In S. Greco, S. Flesca, N. Leone, and G. Ianni, eds, Proceedings of the 8th European Conference on Logics in Arti cial Intelligence (JELIA'02), vol. 2424 of Lecture Notes in Arti cial Intelligence, pp. 38-49. Springer-Verlag, 2002. http://citeseer.ist.psu.edu/schmidt02multiagent.html More
@misc{ schmidt02multiagent,
author = "R. Schmidt and D. Tishkovsky",
title = "Multi-Agent Logics of Dynamic Belief and Knowledge",
text = "R. A. Schmidt and D. Tishkovsky. Multi-Agent Logics of Dynamic Belief and
Knowledge. In S. Greco, S. Flesca, N. Leone, and G. Ianni, eds, Proceedings
of the 8th European Conference on Logics in Arti cial Intelligence (JELIA'02),
vol. 2424 of Lecture Notes in Arti cial Intelligence, pp. 38-49. Springer-Verlag,
2002.",
year = "2002",
url = "citeseer.ist.psu.edu/schmidt02multiagent.html" }
Citations (may not include all citations):604 Reasoning about knowledge (context) - Fagin, Halpern et al. - 1995
362 Dynamic Logic - Harel, Kozen et al. - 2000
327 Modeling rational agents within a BDI-architecture - Rao, George - 1991
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
210 A formal theory of knowledge and action (context) - Moore - 1985
195 Propositional dynamic logic of regular programs (context) - Fischer, Ladner - 1979
100 The complexity of reasoning about knowledge and time - Halpern, Vardi - 1989
48 Products of modal logics (context) - Gabbay, Shehtman - 1998
30 Decision procedures for propositional linear-time belief-des.. (context) - Rao - 1996
19 A logical approach to the dynamics of commitments - Meyer, van der Hoek et al. - 1999
12 Advanced Modal Logic (context) - Zakharyaschev, Wolter et al. - 1998
11 Formalizing abilities and opportunities of agents (context) - van Linder, van der Hoek et al. - 1998
9 Highway to the danger zone - Kracht - 1995
8 Belief dynamics in cooperative dialogues (context) - Herzig, Longin - 2000
7 Cambridge Univ (context) - Blackburn, de Rijke et al. - 2001
7 Tests as epistemic updates (context) - van Linder, van der Hoek et al. - 1994
5 A logic for planning under partial observability (context) - Herzig, Lang et al. - 2000
5 Logical foundations of agent-based computing (context) - van der Hoek - 2001
4 On Axiomatic Products of PDL and S5: Substitution (context) - Schmidt, Tishkovsky - 2002
4 A modal logic for epistemic tests (context) - Herzig, Lang et al. - 2000
3 Agent-based computing - Wooldridge - 1998
1 Knowledge in multi-agent systems: Initial con gurations and .. (context) - Lomiscio, van der Meyden et al. - 2000
1 Personal communication (context) - Herzig - 2002
Documents on the same site (http://www.cs.man.ac.uk/~schmidt/publications/index.html): More
Hyperresolution for Guarded Formulae - Georgieva, Hustadt, Schmidt (2000) (Correct)
A Resolution-Based Decision Procedure for Extensions of K4 - Ganzinger, Hustadt.. (1998) (Correct)
Maslov's Class K Revisited - Hustadt, Schmidt (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC