Sciweavers

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

8

TARK
1990
Springer

favoriteEmaildiscussreport

64views Automated Reasoning» more TARK 1990»

A Nonstandard Approach to the Logical Omniscience Problem

13 years 8 months ago

A Nonstandard Approach to the Logical Omniscience Problem

Download www.cs.cornell.edu

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

Real-time Traffic

Automated Reasoning | TARK 1990 |

claim paper

Related Content

» Logical omniscience as a computational complexity problem

» Dealing with logical omniscience

» A Defeasible Logic of PolicyBased Intention

» Online Learning of Relaxed CCG Grammars for Parsing to Logical Form

» Formalizing common sense an operatorbased approach to the TibblesTib problem

» The Dynamics of Syntactic Knowledge

» A Uniform TableauxBased Approach to Concept Abduction and Contraction in ALN

» RDFSFA A DLised Sublanguage of RDFS

» Supporting uncertainty in moving objects in network databases

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1990
Where	TARK
Authors	Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

Comments (0)