Non-Monotonic Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540507017, 9783540460732

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Nonmonotonic reasoning in temporal domains: The knowledge independence problem

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_28 ◽

1989 ◽

pp. 187-201

Author(s):

Scott D. Goodwin ◽

Randy G. Goebel

Keyword(s):

Nonmonotonic Reasoning

Download Full-text

Autoepistemic logic and formalization of commonsense reasoning preliminary report

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_27 ◽

1989 ◽

pp. 176-186 ◽

Cited By ~ 7

Author(s):

Michael Gelfond

Keyword(s):

Preliminary Report ◽

Commonsense Reasoning ◽

Autoepistemic Logic

Download Full-text

Autoepistemic stable closures and contradiction resolution

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_20 ◽

1989 ◽

pp. 60-73 ◽

Cited By ~ 5

Author(s):

Paul H. Morris

Download Full-text

A nonmonotonic logic for reasoning about speech acts and belief revision

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_26 ◽

1989 ◽

pp. 164-175 ◽

Cited By ~ 2

Author(s):

Douglas E. Appelt ◽

Kurt Konolige

Keyword(s):

Belief Revision ◽

Speech Acts ◽

Nonmonotonic Logic

Download Full-text

General theory of cumulative inference

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_16 ◽

1989 ◽

pp. 1-18 ◽

Cited By ~ 64

Author(s):

David Makinson

Keyword(s):

General Theory

Download Full-text

An extended basic ATMS

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_25 ◽

1989 ◽

pp. 143-163 ◽

Cited By ~ 12

Author(s):

Oskar Dressler

Download Full-text

Compiling circumscriptive theories into logic programs

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_21 ◽

1989 ◽

pp. 74-99 ◽

Cited By ~ 13

Author(s):

Michael Gelfond ◽

Vladimir Lifschitz

Keyword(s):

Logic Programs

Download Full-text

Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_19 ◽

1989 ◽

pp. 42-59 ◽

Cited By ~ 13

Author(s):

Kurt Konolige

Keyword(s):

Preliminary Report ◽

Nonmonotonic Reasoning

Download Full-text

The semantics of non-monotonic entailment defined using partial interpretations

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_18 ◽

1989 ◽

pp. 27-41 ◽

Cited By ~ 4

Author(s):

Erik Sandewall

Download Full-text

Logics for inheritance theory

Non-Monotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-50701-9_30 ◽

1989 ◽

pp. 220-237 ◽

Cited By ~ 13

Author(s):

Richmond H. Thomason ◽

John F. Horty

Download Full-text

Non-Monotonic Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Nonmonotonic reasoning in temporal domains: The knowledge independence problem

Autoepistemic logic and formalization of commonsense reasoning preliminary report

Autoepistemic stable closures and contradiction resolution

A nonmonotonic logic for reasoning about speech acts and belief revision

General theory of cumulative inference

An extended basic ATMS

Compiling circumscriptive theories into logic programs

Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report

The semantics of non-monotonic entailment defined using partial interpretations

Logics for inheritance theory

Non-Monotonic Reasoning - Lecture Notes in Computer Science
Latest Publications