conftrace_

lexicographic inference

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

syntax splitting (2) rational closure (1) non-monotonic inference (1) conditional belief (1) belief base (1) non-monotonic reasoning (1) belief revision (1) formal methods (1)

Papers

Conditional Syntax Splitting for Non-monotonic Inference Operators AAAI 2023 Lexicographic Entailment, Syntax Splitting and the Drowning Problem IJCAI 2022