74 search results - page 4 / 15 » On the Parameterized Complexity of Default Logic and Autoepi... |
SAT
2010
Springer
14 years 14 days ago
2010
Springer
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and s...
FUIN
2002
13 years 8 months ago
2002
AAAI
2008
13 years 11 months ago
2008
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
In [7] Nash, Remmel, and Vianu have raised the question whether a logic L, already introduced by Gurevich in 1988, captures polynomial time, and they give a reformulation of this ...
KR
2000
Springer
14 years 4 days ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...