Search Sciweavers | Sciweavers

23

ER
2004
Springer

103views Database» more ER 2004»

Modeling Default Induction with Conceptual Structures

14 years 1 months ago

Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...

Julien Velcin, Jean-Gabriel Ganascia

claim paper

Read More »

21

click to vote

JLP
1998

147views more JLP 1998»

Automated Reasoning with a Constraint-Based Metainterpreter

13 years 7 months ago

Download akira.ruc.dk

Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...

Henning Christiansen

claim paper

Read More »

24

click to vote

AAAI
2006

145views Intelligent Agents» more AAAI 2006»

Towards an Axiom System for Default Logic

13 years 9 months ago

Download www.cs.toronto.edu

Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...

Gerhard Lakemeyer, Hector J. Levesque

claim paper

Read More »

32

click to vote

LATA
2012
Springer

296views Artificial Intelligence» more LATA 2012»

On the Parameterized Complexity of Default Logic and Autoepistemic Logic

12 years 3 months ago

Download www.thi.uni-hannover.de

We investigate the application of Courcelle’s Theorem and the logspace version of Elberfeld et al. in the context of the implication problem for propositional sets of formulae, t...

Arne Meier, Johannes Schmidt, Michael Thomas, Heri...

claim paper

Read More »

20

click to vote

ECSQARU
2001
Springer

104views Automated Reasoning» more ECSQARU 2001»

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning

14 years 2 days ago

Download www.kr.tuwien.ac.at

Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz,...

claim paper