C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics.
Nicola Olivetti
Gian Luca Pozzato
Published in:
IJCAR (2014)
Keyphrases
</>
conditional logic
sequent calculi
default reasoning
belief revision
modal logic
nonmonotonic reasoning
higher order logic
knowledge representation and reasoning
machine learning
artificial intelligence
knowledge base
maximum entropy
nonmonotonic inference