Results 291 to 296 of about 24,578 (296)

A proof theory for Constructive Default Logic

2005
Yao-Hua Tan, Tan Yao-Hua
exaly  

Yet some more complexity results for default logic

Artificial Intelligence, 2002
exaly  

Default logic

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

Rational Default Quantifier Logic.

1997
openaire   +2 more sources

On the Logic of Defaults.

openaire   +1 more source

Default Logic and Constructive Logic.

openaire