MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dmitry Tishkovsky" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • On Axiomatic Products of PDL and S5: Substitution Tests And Knowledge  
  • by Renate A. Schmidt, Dmitry Tishkovsky — 2002 — Bull. Section Logic
  • …this paper concerns the uncertainty as to how substitutivity should be de ned in the product of PDL and S5. Because PDL has a two-sorted language over actions and propositions, a key question is the following. In axiom schemata, do we allow substitution of all action terms into action variables, or…
  • Cited by 2 (2 self) – Add To MetaCart
  • Multi-Agent Logics of Dynamic Belief and Knowledge  
  • by Renate A. Schmidt, Dmitry Tishkovsky — 2002 — Proceedings of JELIA’2002, volume 2424 of LNAI
  • …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…
  • Cited by 3 (1 self) – Add To MetaCart
  • Combining Dynamic Logic with Doxastic Modal Logics  
  • by Renate A. Schmidt, Dmitry Tishkovsky — 2002 — In Advances in Modal Logic, Volume 4, chapter 18
  • …this paper we also allow the interaction of modalities via the Church-Rosser axiom [a]p ! [a]p: The axiom says that if an agent has a possibility to perform an action a in such way that she will believe p, then in the current state she believes that it is possible to obtain the result p by doing a…
  • Cited by 3 (1 self) – Add To MetaCart
  • Deciding ALBO with Tableau  
  • by Renate A. Schmidt, Dmitry Tishkovsky
  • …Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. In particular, we de ne a sound and complete tableau calculus for the description logic ALBO and show that it provides a …
  • Add To MetaCart
  • Automated Synthesis of Tableau Calculi  
  • by Renate A. Schmidt, Dmitry Tishkovsky
  • …Abstract This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules which can then be used to reason within the logic. The method guarantees that the generated rules…
  • Add To MetaCart
  • Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic  
  • by Renate A. Schmidt, Renate A. Schmidt, Dmitry Tishkovsky, Dmitry Tishkovsky, Ullrich Hustadt, Ullrich Hustadt — 2003
  • …This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents' activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynami…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB