Bijective faithful translations among default logics

P. Liberatore

doi:10.1093/logcom/ext073

Bijective faithful translations among default logics

Journal of Logic and Computation ◽

10.1093/logcom/ext073 ◽

2014 ◽

Vol 24 (4) ◽

pp. 763-807

Author(s):

P. Liberatore

Keyword(s):

Default Logics

Studying properties of classes of default logics

Journal of Experimental & Theoretical Artificial Intelligence ◽

10.1080/095281398146725 ◽

1998 ◽

Vol 10 (4) ◽

pp. 495-505

Author(s):

GRIGORIS ANTONIOU

Keyword(s):

Default Logics

Graded default logics

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

10.1007/3-540-54659-6_68 ◽

1991 ◽

pp. 70-75 ◽

Cited By ~ 2

Author(s):

Christine Froidevaux ◽

Philippe Chatalic ◽

Jérôme Mengin

Keyword(s):

Default Logics

On cumulative default logics

Artificial Intelligence ◽

10.1016/0004-3702(94)90006-x ◽

1994 ◽

Vol 66 (1) ◽

pp. 161-179 ◽

Cited By ~ 19

Author(s):

Laura Giordano ◽

Alberto Martelli

Keyword(s):

Default Logics

Default Logics with Preference Order: Principles and Characterisations

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_29 ◽

2008 ◽

pp. 406-420

Author(s):

Tore Langholm

Keyword(s):

Preference Order ◽

Default Logics

Yet some more considerations on cumulativity in default logics

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

10.1007/3-540-60112-0_42 ◽

1995 ◽

pp. 364-378

Author(s):

Vincent Risch

Keyword(s):

Default Logics

Studying properties of classes of default logics — Preliminary report

Lecture Notes in Computer Science - PRICAI'96: Topics in Artificial Intelligence ◽

10.1007/3-540-61532-6_47 ◽

1996 ◽

pp. 558-569 ◽

Cited By ~ 1

Author(s):

Grigoris Antoniou ◽

Tyrone O'Neill ◽

Joe Thurbon

Keyword(s):

Preliminary Report ◽

Default Logics

An implementation platform for query-answering in default logics: Theoretical underpinnings

Lecture Notes in Computer Science - Foundations of Intelligent Systems ◽

10.1007/3-540-63614-5_19 ◽

1997 ◽

pp. 197-206 ◽

Cited By ~ 1

Author(s):

Torsten Schaub ◽

Pascal Nicolas

Keyword(s):

Query Answering ◽

Default Logics

Representation results for default logics

Advanced Topics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-63797-4_78 ◽

1997 ◽

pp. 255-264

Author(s):

Grigoris Antoniou

Keyword(s):

Default Logics

Default logics

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

10.1007/3-540-54659-6_62 ◽

1991 ◽

pp. 38-41

Author(s):

Philippe Besnard

Keyword(s):

Default Logics

A new methodology for query answering in default logics via structure-oriented theorem proving

Journal of Automated Reasoning ◽

10.1007/bf00881832 ◽

1995 ◽

Vol 15 (1) ◽

pp. 95-165 ◽

Cited By ~ 24

Author(s):

T. Schaub

Keyword(s):

Theorem Proving ◽

Query Answering ◽

Default Logics