Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540594871, 9783540492825

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Game characterizations of logic program properties

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_8 ◽

1995 ◽

pp. 99-112 ◽

Cited By ~ 1

Author(s):

Howard A. Blair

Keyword(s):

Logic Program

Download Full-text

Characterizations of the stable semantics by partial evaluation

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_7 ◽

1995 ◽

pp. 85-98 ◽

Cited By ~ 10

Author(s):

Stefan Brass ◽

Jürgen Dix

Keyword(s):

Partial Evaluation ◽

Stable Semantics

Download Full-text

Abduction over 3-valued extended logic programs

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_3 ◽

1995 ◽

pp. 29-42 ◽

Cited By ~ 8

Author(s):

Carlos Viegas Damásio ◽

Luís Moniz Pereira

Keyword(s):

Logic Programs

Download Full-text

Trans-epistemic semantics for logic programs

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_28 ◽

1995 ◽

pp. 388-400

Author(s):

Arcot Rajasekar

Keyword(s):

Logic Programs

Download Full-text

Embedding circumscriptive theories in general disjunctive programs

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_25 ◽

1995 ◽

pp. 344-357 ◽

Cited By ~ 13

Author(s):

Chiaki Sakama ◽

Katsumi Inoue

Keyword(s):

Disjunctive Programs

Download Full-text

Nonmonotonic inheritance, argumentation and logic programming

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_23 ◽

1995 ◽

pp. 316-329 ◽

Cited By ~ 3

Author(s):

Phan Minh Dung ◽

Tran Cao Son

Keyword(s):

Logic Programming

Download Full-text

Reasoning with stratified default theories

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_20 ◽

1995 ◽

pp. 273-286 ◽

Cited By ~ 9

Author(s):

Paweł Cholewiński

Download Full-text

On the extension of logic programming with negation through uniform proofs

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_17 ◽

1995 ◽

pp. 231-244 ◽

Cited By ~ 3

Author(s):

Li Yan Yuan ◽

Jia Huai You

Keyword(s):

Logic Programming

Download Full-text

Skeptical rational extensions

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_19 ◽

1995 ◽

pp. 259-272 ◽

Cited By ~ 1

Author(s):

Artur Mikitiuk ◽

Miroslaw Truszczyński

Download Full-text

Incremental methods for optimizing partial instantiation

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-59487-6_21 ◽

1995 ◽

pp. 287-301

Author(s):

Raymond T. Ng ◽

Xiaomei Tian

Keyword(s):

Incremental Methods

Download Full-text

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Game characterizations of logic program properties

Characterizations of the stable semantics by partial evaluation

Abduction over 3-valued extended logic programs

Trans-epistemic semantics for logic programs

Embedding circumscriptive theories in general disjunctive programs

Nonmonotonic inheritance, argumentation and logic programming

Reasoning with stratified default theories

On the extension of logic programming with negation through uniform proofs

Skeptical rational extensions

Incremental methods for optimizing partial instantiation

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
Latest Publications