An approach to default reasoning based on a first-order conditional logic: Revised report

Artificial Intelligence ◽

10.1016/0004-3702(88)90079-3 ◽

1988 ◽

Vol 36 (1) ◽

pp. 63-90 ◽

Author(s):

James P. Delgrande

Keyword(s):

Default Reasoning ◽

Conditional Logic ◽

Download Full-text

First-order conditional logic for default reasoning revisited

ACM Transactions on Computational Logic ◽

10.1145/359496.359500 ◽

2000 ◽

Vol 1 (2) ◽

pp. 175-207 ◽

Author(s):

Nir Friedman ◽

Joseph Y. Halpern ◽

Daphne Koller

Keyword(s):

Default Reasoning ◽

Conditional Logic ◽

Download Full-text

A first-order conditional logic with qualitative statistical semantics

Journal of Logic and Computation ◽

10.1093/logcom/7.6.777 ◽

1997 ◽

Vol 7 (6) ◽

pp. 777-803 ◽

Author(s):

R. Brafman

Keyword(s):

Conditional Logic ◽

Download Full-text

First-order probabilistic conditional logic and maximum entropy

Logic Journal of IGPL ◽

10.1093/jigpal/jzs008 ◽

2012 ◽

Vol 20 (5) ◽

pp. 796-830 ◽

Author(s):

J. Fisseler

Keyword(s):

Maximum Entropy ◽

Conditional Logic ◽

Download Full-text

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2013.66 ◽

2013 ◽

Author(s):

Joseph Y. Halpern

Keyword(s):

Conditional Logic ◽

First Order ◽

Security Properties

Download Full-text

System Z FO : Default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases

International Journal of Approximate Reasoning ◽

10.1016/j.ijar.2017.07.005 ◽

2017 ◽

Vol 90 ◽

pp. 120-143

Author(s):

Christoph Beierle ◽

Tobias Falke ◽

Steven Kutsch ◽

Gabriele Kern-Isberner

Keyword(s):

Knowledge Bases ◽

Default Reasoning ◽

Ranking Functions ◽

First Order ◽

Conditional Knowledge

Download Full-text

A Semantics for “Typically” in First-Order Default Reasoning

New Frontiers in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79942-7_1 ◽

2021 ◽

pp. 3-20

Author(s):

Gergei Bana ◽

Mitsuhiro Okada

Keyword(s):

Default Reasoning ◽

Download Full-text

A System Z-like Approach for First-Order Default Reasoning

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14726-0_6 ◽

2015 ◽

pp. 81-95 ◽

Author(s):

Gabriele Kern-Isberner ◽

Christoph Beierle

Keyword(s):

Default Reasoning ◽

Download Full-text

First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences

New Frontiers in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10061-6_11 ◽

2014 ◽

pp. 154-164

Author(s):

Hanako Yamamoto ◽

Daisuke Bekki

Keyword(s):

Conditional Logic ◽

Download Full-text

A first-order conditional logic for prototypical properties

Artificial Intelligence ◽

10.1016/0004-3702(87)90053-1 ◽

1987 ◽

Vol 33 (1) ◽

pp. 105-130 ◽

Author(s):

James P. Delgrande

Keyword(s):

Conditional Logic ◽

Download Full-text

A two-stage approach to first order default reasoning

Symbolic and Quantitative Approaches to Reasoning and Uncertainty - Lecture Notes in Computer Science ◽

10.1007/3-540-60112-0_43 ◽

1995 ◽

pp. 379-386

Author(s):

Karl Schlechta

Keyword(s):

Default Reasoning ◽

Two Stage ◽

Download Full-text