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

9783540207214, 9783540246091

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

DLV DB : Bridging the Gap between ASP Systems and DBMSs

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

10.1007/978-3-540-24609-1_31 ◽

2003 ◽

pp. 341-345 ◽

Cited By ~ 4

Author(s):

Nicola Leone ◽

Vincenzino Lio ◽

Giorgio Terracina

Download Full-text

LPEQ and DLPEQ — Translators for Automated Equivalence Testing of Logic Programs

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

10.1007/978-3-540-24609-1_30 ◽

2003 ◽

pp. 336-340 ◽

Cited By ~ 8

Author(s):

Tomi Janhunen ◽

Emilia Oikarinen

Keyword(s):

Equivalence Testing ◽

Logic Programs

Download Full-text

Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs

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

10.1007/978-3-540-24609-1_32 ◽

2003 ◽

pp. 346-350 ◽

Cited By ~ 44

Author(s):

Yuliya Lierler ◽

Marco Maratea

Keyword(s):

Answer Set

Download Full-text

Graphs and Colorings for Answer Set Programming: Abridged Report

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

10.1007/978-3-540-24609-1_13 ◽

2003 ◽

pp. 127-140 ◽

Cited By ~ 4

Author(s):

Kathrin Konczak ◽

Thomas Linke ◽

Torsten Schaub

Keyword(s):

Answer Set Programming ◽

Answer Set

Download Full-text

Answer Sets: From Constraint Programming Towards Qualitative Optimization

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

10.1007/978-3-540-24609-1_6 ◽

2003 ◽

pp. 34-46 ◽

Cited By ~ 4

Author(s):

Gerhard Brewka

Keyword(s):

Constraint Programming ◽

Answer Sets

Download Full-text

GNT — A Solver for Disjunctive Logic Programs

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

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

2003 ◽

pp. 331-335 ◽

Cited By ~ 11

Author(s):

Tomi Janhunen ◽

Ilkka Niemelä

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

Uniform Equivalence for Equilibrium Logic and Logic Programs

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

10.1007/978-3-540-24609-1_18 ◽

2003 ◽

pp. 194-206 ◽

Cited By ~ 13

Author(s):

David Pearce ◽

Agustín Valverde

Keyword(s):

Logic Programs

Download Full-text

Nondefinite vs. Definite Causal Theories

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

10.1007/978-3-540-24609-1_14 ◽

2003 ◽

pp. 141-153 ◽

Cited By ~ 4

Author(s):

Joohyung Lee

Keyword(s):

Causal Theories

Download Full-text

Towards Automated Integration of Guess and Check Programs in Answer Set Programming

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

10.1007/978-3-540-24609-1_12 ◽

2003 ◽

pp. 114-126 ◽

Cited By ~ 1

Author(s):

Thomas Eiter ◽

Axel Polleres

Keyword(s):

Answer Set Programming ◽

Answer Set

Download Full-text

Constraints and Probabilistic Networks: A Look At The Interface

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

10.1007/978-3-540-24609-1_1 ◽

2003 ◽

pp. 1-1

Author(s):

Rina Dechter

Keyword(s):

Probabilistic Networks

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

DLV DB : Bridging the Gap between ASP Systems and DBMSs

LPEQ and DLPEQ — Translators for Automated Equivalence Testing of Logic Programs

Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs

Graphs and Colorings for Answer Set Programming: Abridged Report

Answer Sets: From Constraint Programming Towards Qualitative Optimization

GNT — A Solver for Disjunctive Logic Programs

Uniform Equivalence for Equilibrium Logic and Logic Programs

Nondefinite vs. Definite Causal Theories

Towards Automated Integration of Guess and Check Programs in Answer Set Programming

Constraints and Probabilistic Networks: A Look At The Interface

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