Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540594673, 9783540492726

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Samantics of normal and disjunctive logic programs a unifying framework

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030659 ◽

1995 ◽

pp. 43-67 ◽

Cited By ~ 2

Author(s):

Teodor C. Przymusinski

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

From disjunctive programs to abduction

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030658 ◽

1995 ◽

pp. 23-42 ◽

Cited By ~ 2

Author(s):

Vladimir Lifschitz ◽

Hudson Turner

Keyword(s):

Disjunctive Programs

Download Full-text

A resolution-based procedure for default theories with extensions

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030662 ◽

1995 ◽

pp. 101-126 ◽

Cited By ~ 1

Author(s):

Monica D. Barback ◽

Jorge Lobo

Download Full-text

Logic programming with assumption denial

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030661 ◽

1995 ◽

pp. 85-100 ◽

Cited By ~ 1

Author(s):

Jia-Huai You ◽

Li Yan Yuan

Keyword(s):

Logic Programming

Download Full-text

An argumentation theoretic semantics based on non-refutable falsity

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030657 ◽

1995 ◽

pp. 3-22 ◽

Cited By ~ 4

Author(s):

José Júlio Alferes ◽

Luís Moniz Pereira

Download Full-text

Computing stable and partial stable models of extended disjunctive logic programs

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030666 ◽

1995 ◽

pp. 205-229 ◽

Cited By ~ 8

Author(s):

Carolina Ruiz ◽

Jack Minker

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs ◽

Stable Models

Download Full-text

Static semantics as program transformation and well-founded computation

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030664 ◽

1995 ◽

pp. 156-180 ◽

Cited By ~ 4

Author(s):

Stefania Costantini ◽

Gaetano A. Lanzarone

Keyword(s):

Program Transformation ◽

Static Semantics

Download Full-text

A general approach to bottom-up computation of disjunctive semantics

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030663 ◽

1995 ◽

pp. 127-155 ◽

Cited By ~ 18

Author(s):

Stefan Brass ◽

Jürgen Dix

Keyword(s):

Bottom Up

Download Full-text

Every normal program has a nearly-stable model

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030660 ◽

1995 ◽

pp. 68-84 ◽

Cited By ~ 1

Author(s):

Cees Witteveen

Keyword(s):

Stable Model

Download Full-text

Introduction

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030656 ◽

1995 ◽

pp. 1-2

Download Full-text

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Samantics of normal and disjunctive logic programs a unifying framework

From disjunctive programs to abduction

A resolution-based procedure for default theories with extensions

Logic programming with assumption denial

An argumentation theoretic semantics based on non-refutable falsity

Computing stable and partial stable models of extended disjunctive logic programs

Static semantics as program transformation and well-founded computation

A general approach to bottom-up computation of disjunctive semantics

Every normal program has a nearly-stable model

Introduction

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science
Latest Publications