default search action

combined dblp search
author search
venue search
publication search

ask others

Robert Saxon Milnikel

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Milnikel14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Milnikel14
Robert Saxon Milnikel:
The Logic of Uncertain Justifications. Ann. Pure Appl. Log. 165(1): 305-315 (2014)
2012
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Milnikel12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Milnikel12
Robert Saxon Milnikel:
Conservativity for logics of justified belief: Two approaches. Ann. Pure Appl. Log. 163(7): 809-819 (2012)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/Milnikel09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/Milnikel09
Robert Saxon Milnikel:
Conservativity for Logics of Justified Belief. LFCS 2009: 354-364
2007
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Milnikel07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Milnikel07
Robert Saxon Milnikel:
Derivability in certain subsystems of the Logic of Proofs is Pi₂^p-complete. Ann. Pure Appl. Log. 145(3): 223-239 (2007)
2005
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Milnikel05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Milnikel05
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
[c2]
- view
  - electronic edition @ math.ca
  - details & citations
- export record
  dblp key:
  - conf/nmr/Milnikel04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Milnikel04
Robert Saxon Milnikel:
A sequent calculus for skeptical reasoning in autopeistemic logic. NMR 2004: 292-296
2003
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Milnikel03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Milnikel03
Robert Saxon Milnikel:
The complexity of predicate default logic over a countable domain. Ann. Pure Appl. Log. 120(1-3): 151-163 (2003)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Milnikel03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Milnikel03
Robert Saxon Milnikel:
Embedding Modal Nonmonotonic Logics into Default Logic. Stud Logica 75(3): 377-382 (2003)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/Milnikel03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/Milnikel03
Robert Saxon Milnikel:
A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract). ECSQARU 2003: 564-575
2001
[j1]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/Milnikel01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Milnikel01
Robert Saxon Milnikel:
Skeptical Reasoning in FC-Normal Logic Programs is P11-complete. Fundam. Informaticae 45(3): 237-252 (2001)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.