| 2009 |
|---|
| 8 | EE | Robert Saxon Milnikel:
Conservativity for Logics of Justified Belief.
LFCS 2009: 354-364 |
| 2007 |
|---|
| 7 | EE | Robert Saxon Milnikel:
Derivability in certain subsystems of the Logic of Proofs is Pi2p-complete.
Ann. Pure Appl. Logic 145(3): 223-239 (2007) |
| 2005 |
|---|
| 6 | EE | Robert Saxon Milnikel:
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics.
Ann. Math. Artif. Intell. 44(1-2): 1-34 (2005) |
| 2004 |
|---|
| 5 | EE | Robert Saxon Milnikel:
A sequent calculus for skeptical reasoning in autopeistemic logic.
NMR 2004: 292-296 |
| 2003 |
|---|
| 4 | EE | Robert Saxon Milnikel:
A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract).
ECSQARU 2003: 564-575 |
| 3 | | Robert Saxon Milnikel:
The complexity of predicate default logic over a countable domain.
Ann. Pure Appl. Logic 120(1-3): 151-163 (2003) |
| 2 | EE | Robert Saxon Milnikel:
Embedding Modal Nonmonotonic Logics into Default Logic.
Studia Logica 75(3): 377-382 (2003) |
| 2001 |
|---|
| 1 | | Robert Saxon Milnikel:
Skeptical Reasoning in FC-Normal Logic Programs is P11-complete.
Fundam. Inform. 45(3): 237-252 (2001) |
