Sciweavers

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

94

JAIR
2000

66views more JAIR 2000»

Space Efficiency of Propositional Knowledge Representation Formalisms

15 years 2 months ago

Space Efficiency of Propositional Knowledge Representation Formalisms

Download www.jair.org

Marco Cadoli, Francesco M. Donini, Paolo Liberator

Real-time Traffic

JAIR 2000 |

claim paper

Related Content

» Knowledge Base Reformation Preparing FirstOrder Theories for Efficient Propositional Reaso...

» EL A Formal Yet Natural Comprehensive Knowledge Representation

» An efficient relational deductive system for propositional nonclassical logics

» A Formal Model of the Process of Wayfinding in Built Environments

» Conservative Adaptation in Metric Spaces

» KIDS An Iterative Algorithm to Organize Relational Knowledge

» Rational Closure for Defeasible Description Logics

» A logic of games and propositional control

» Semantic processing for text mapping onto information space

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2000
Where	JAIR
Authors	Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Comments (0)