Search Sciweavers | Sciweavers

4401 search results - page 11 / 881

» Computing with Default Logic

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 1 months ago

Download www.kr.tuwien.ac.at

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

claim paper

Read More »

click to vote

ECAI
2006
Springer

135views Artificial Intelligence» more ECAI 2006»

On the Existence of Answer Sets in Normal Extended Logic Programs

14 years 8 days ago

Download www.wakayama-u.ac.jp

An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...

Martin Caminada, Chiaki Sakama

claim paper

Read More »

click to vote

DLOG
2010

156views Automated Reasoning» more DLOG 2010»

Structure Preserving TBox Repair using Defaults

13 years 6 months ago

Download www.cs.uwaterloo.ca

Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...

Thomas Scharrenbach, Rolf Grütter, Bettina Wa...

claim paper

Read More »

click to vote

ECAI
2004
Springer

170views Artificial Intelligence» more ECAI 2004»

New Insights on the Intuitionistic Interpretation of Default Logic

14 years 2 months ago

Download www.dc.fi.udc.es

In this work we further investigate the relation, ﬁrst found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...

Pedro Cabalar, David Lorenzo

claim paper

Read More »

click to vote

IJCAI
2003

105views Artificial Intelligence» more IJCAI 2003»

Ordering Default Theories

13 years 10 months ago

Download dli.iiit.ac.in

In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula

Chiaki Sakama

claim paper