New techniques and completeness results for preferential structures (Q4508257): Difference between revisions

@@ Property / cites work @@
+Some completeness results for stoppered and ranked classical preferential models
+Normal rank
@@ Property / cites work @@
+Preferential Choice Representation Theorems for Branching Time Structures
+Normal rank
@@ Property / cites work @@
+An Analysis of some Deontic Logics
@@ Property / cites work: An Analysis of some Deontic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning: From finitary relations to infinitary inference operations
+Normal rank
@@ Property / cites work @@
+Saturation, nonmonotonic reasoning and the closed-world assumption
+Normal rank
@@ Property / cites work @@
+Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
+Normal rank
@@ Property / cites work @@
+Defaults as Generalized Quantifiers
@@ Property / cites work: Defaults as Generalized Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results on Classical Preferential Models
@@ Property / cites work: Some Results on Classical Preferential Models / rank @@
+Normal rank
@@ Property / cites work @@
+Five faces of minimality
@@ Property / cites work: Five faces of minimality / rank @@
+Normal rank
@@ Property / cites work @@
+Counterfactuals and comparative possibility
@@ Property / cites work: Counterfactuals and comparative possibility / rank @@
+Normal rank
@@ Property / cites work @@
+What does a conditional knowledge base entail?
@@ Property / cites work: What does a conditional knowledge base entail? / rank @@
+Normal rank
@@ Property / cites work @@
+Distance semantics for belief revision
@@ Property / cites work: Distance semantics for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank