Results 281 to 290 of about 938,794 (293)

A default logic based on epistemic states

Lecture Notes in Computer Science, 2005
W van der Hoek, J J Ch Meyer
exaly  

Making default inferences from logic programs

Computational Intelligence, 1991
exaly  

Ordering default theories and nonmonotonic logic programs

Theoretical Computer Science, 2005
Chiaki Sakama
exaly  

Two results on default logic

The author gives a schema for translation of non-normal defaults into normal ones. (Normal defaults are of the form \(\alpha (\bar x):M\beta (\bar x)/\beta (\bar x).)\) Then some model-theoretic results for normal default theories are given.
openaire   +2 more sources

Variations of constrained default logic

2005
Torsten Schaub
exaly  

Adding priorities and specificity to default logic

2005
Gerhard Brewka
exaly  

Yet some more complexity results for default logic

Artificial Intelligence, 2002
exaly  

A proof theory for Constructive Default Logic

2005
exaly  

Default logic

1997
Laenens, E., Geerts, P., Vermeir, D.
openaire   +1 more source

Rational Default Quantifier Logic.

1997
openaire   +2 more sources