Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

96

WSPI
2004

130views Information Technology» more WSPI 2004»

Epistemic Logic and Knowledge Management

15 years 4 months ago

Epistemic Logic and Knowledge Management

Download sunsite.informatik.rwth-aachen.de

Marcus Spies

Real-time Traffic

WSPI 2004 | WSPI 2008 |

claim paper

Related Content

» Proof Theory for Distributed Knowledge

» Epistemic Games in Modal Logic Joint Actions Knowledge and Preferences All Together

» Beyond Public Announcement Logic An Alternative Approach to Some AI Puzzles

» Dynamic Epistemic Logic and Knowledge Puzzles

» Some Semantics for a Logical Language for the Game of Dominoes

» Epistemic Logic and Planning

» Bounded model checking knowledge and branching time in synchronous multiagent systems

» Undecidability for arbitrary public announcement logic

» Quantifying over coalitions in epistemic logic

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2004
Where	WSPI
Authors	Marcus Spies

Comments (0)