Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Link opens in a new tab
Search content at The Hebrew University of Jerusalem
Home
Profiles
Research units
Research output
Prizes
Nonmonotonic reasoning, preferential models and cumulative logics
Sarit Kraus
*
,
Daniel Lehmann
,
Menachem Magidor
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Einstein Institute of Mathematics
Research output
:
Contribution to journal
›
Article
›
peer-review
1448
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Nonmonotonic reasoning, preferential models and cumulative logics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Nonmonotonic Reasoning
100%
Preferential Models
100%
Computational Complexity
25%
Two-point
25%
Propositional Logic
25%
Non-monotonic Behavior
25%
Representation Theorem
25%
Probabilistic Semantics
25%
Predicate Calculus
25%
Consequence Relation
25%
Positivity Property
25%
Nonmonotonic Consequence
25%
Gentzen
25%
Semantic Points
25%
First Order Predicates
25%
Decision Problem
25%
General Notion
25%
Number of Families
25%
Computer Science
Computational Complexity
100%
Decision Problem
100%
Predicate Calculus
100%
Nonmonotonic Consequence
100%
Proof
100%
Mathematics
Nonmonotonic Reasoning
100%
Calculus
25%
Representation Theorem
25%
Consequence Relation
25%