MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Epistemic formulae" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

88 documents found, showing 1 through 10. Next 10 →

ATOM

Bounded Model Checking
by For Interpreted Systems, Wojciech Penczek, Wojciech Penczek, Alessio Lomuscio, Alessio Lomuscio — 2002 — In Proc. of the 2nd NASA Workshop on Formal Approaches to Agent-Based Systems (FAABS’02), volume 2699 of LNAI
… with temporal epistemic formulas. We use the algorithm to solve a variant of the bit transmission problem…
Add To MetaCart

The complexity of model checking concurrent programs against CTLK specifications
by Alessio Lomuscio, Franco Raimondi — 2006 — ACM, 2006. Checking Knowledge and Linear Time: PSPACE Cases 17
… This paper presents complexity results for model checking concurrent programs against temporal-epistemic…
Cited by 2 (0 self) – Add To MetaCart

A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge
by W. van der Hoek, J.J.-Ch. Meyer, Andjj. -ch. Meyer, Wiebe Hoek, John-jules Meyer — 1996 — Epistemic Logic and the Theory of Games and Decisions
… combine several validity-preserving techniques to transfer the satisfiability of an epistemic formula…
Cited by 5 (0 self) – Add To MetaCart

Strong Cyclic Planning with Incomplete Information and Sensing
by Luca Iocchi , Daniele Nardi, Riccardo Rosati — 2003 — IN PROC. OF 4TH INT. WORKSHOP ON PLANNING AND SCHEDULING FOR SPACE
… of epistemic formulas, representing the knowledge of the agent about the environment. The proposed planning…
Cited by 4 (4 self) – Add To MetaCart

Modelling the epistemics of communication with functional programming
by Jan Van Eijck, Simona Orzan — 2005 — 6th Symposium on Trends in Functional Programming, TFP 2005
… epistemic updates, graphical display of update results, graphical display of action models, formula…
Cited by 3 (1 self) – Add To MetaCart

Strongly complete axiomatizations of ”knowing at most” in standard syntactic assignments
by Michal Walicki — 2005 — Preproceedings of the 6 th International Workshop on Computational Logic in Multi-agent Systems (CLIMA VI
… arbitrary truth values to atomic epistemic formulae. It is a very general approach to epistemic logic…
Cited by 9 (1 self) – Add To MetaCart

Proc. of 4th International Workshop on Planning and Scheduling for Space, 2004 Strong Cyclic Planning with Incomplete Information and Sensing
by Luca Iocchi, Daniele Nardi, Riccardo Rosati
… of the representation is the notion of belief state which is characterized in terms of epistemic formulas, representing…
Add To MetaCart

Change of Belief in SKL Model Frames (Automatization Based on Analytic Tableaux)
by Matías Alvarado, Gustavo Núnez, Gustavo N'unez — 1996
…-valued model frames [9]. AGM expansion, contraction and revision operations, with modal epistemic formulas of A…
Add To MetaCart

Exploring the iterated update universe
by Tomasz Sadzik — 2006
… epistemic formula either always holds or is always refuted from certain moment on, in the course of update…
Cited by 1 (0 self) – Add To MetaCart

Imperfect Information in Epistemic Logic
by Ahti Pietarinen — 1998
… be taken to mean that the formula in question is true or false? 2 Epistemic logic of imperfect information…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB