Sciweavers

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

82

Voted

TARK
1990
Springer

64views Automated Reasoning» more TARK 1990»

A Nonstandard Approach to the Logical Omniscience Problem

15 years 6 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)