BibTeX records: Robert Saxon Milnikel

download as .bib file

@article{DBLP:journals/apal/Milnikel14,
  author    = {Robert Saxon Milnikel},
  title     = {The Logic of Uncertain Justifications},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {165},
  number    = {1},
  pages     = {305--315},
  year      = {2014}
}
@article{DBLP:journals/apal/Milnikel12,
  author    = {Robert Saxon Milnikel},
  title     = {Conservativity for logics of justified belief: Two approaches},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {163},
  number    = {7},
  pages     = {809--819},
  year      = {2012}
}
@inproceedings{DBLP:conf/lfcs/Milnikel09,
  author    = {Robert Saxon Milnikel},
  title     = {Conservativity for Logics of Justified Belief},
  booktitle = {{LFCS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5407},
  pages     = {354--364},
  publisher = {Springer},
  year      = {2009}
}
@article{DBLP:journals/apal/Milnikel07,
  author    = {Robert Saxon Milnikel},
  title     = {Derivability in certain subsystems of the Logic of Proofs is Pi\({}_{\mbox{2}}\)\({}^{\mbox{p}}\)-complete},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {145},
  number    = {3},
  pages     = {223--239},
  year      = {2007}
}
@article{DBLP:journals/amai/Milnikel05,
  author    = {Robert Saxon Milnikel},
  title     = {Sequent calculi for skeptical reasoning in predicate default logic
               and other nonmonotonic logics},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {44},
  number    = {1-2},
  pages     = {1--34},
  year      = {2005}
}
@inproceedings{DBLP:conf/nmr/Milnikel04,
  author    = {Robert Saxon Milnikel},
  title     = {A sequent calculus for skeptical reasoning in autopeistemic logic},
  booktitle = {{NMR}},
  pages     = {292--296},
  year      = {2004}
}
@article{DBLP:journals/apal/Milnikel03,
  author    = {Robert Saxon Milnikel},
  title     = {The complexity of predicate default logic over a countable domain},
  journal   = {Ann. Pure Appl. Log.},
  volume    = {120},
  number    = {1-3},
  pages     = {151--163},
  year      = {2003}
}
@article{DBLP:journals/sLogica/Milnikel03,
  author    = {Robert Saxon Milnikel},
  title     = {Embedding Modal Nonmonotonic Logics into Default Logic},
  journal   = {Stud Logica},
  volume    = {75},
  number    = {3},
  pages     = {377--382},
  year      = {2003}
}
@inproceedings{DBLP:conf/ecsqaru/Milnikel03,
  author    = {Robert Saxon Milnikel},
  title     = {A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic
               (Extended Abstract)},
  booktitle = {{ECSQARU}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2711},
  pages     = {564--575},
  publisher = {Springer},
  year      = {2003}
}
@article{DBLP:journals/fuin/Milnikel01,
  author    = {Robert Saxon Milnikel},
  title     = {Skeptical Reasoning in FC-Normal Logic Programs is P11-complete},
  journal   = {Fundam. Informaticae},
  volume    = {45},
  number    = {3},
  pages     = {237--252},
  year      = {2001}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics