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

9783642042379, 9783642042386

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Lightweight Inference to Solve Lightweight Problems

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

10.1007/978-3-642-04238-6_69 ◽

2009 ◽

pp. 619-621

Author(s):

Marc Denecker ◽

Joost Vennekens

Download Full-text

SAT, SMT and Applications

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

10.1007/978-3-642-04238-6_1 ◽

2009 ◽

pp. 1-1 ◽

Cited By ~ 1

Author(s):

Armin Biere

Download Full-text

An ASP-Based Data Integration System

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

10.1007/978-3-642-04238-6_53 ◽

2009 ◽

pp. 528-534 ◽

Cited By ~ 1

Author(s):

Nicola Leone ◽

Francesco Ricca ◽

Giorgio Terracina

Keyword(s):

Data Integration ◽

Integration System ◽

Data Integration System

Download Full-text

A Revised Concept of Safety for General Answer Set Programs

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

10.1007/978-3-642-04238-6_8 ◽

2009 ◽

pp. 58-70 ◽

Cited By ~ 4

Author(s):

Pedro Cabalar ◽

David Pearce ◽

Agustín Valverde

Keyword(s):

General Answer ◽

Answer Set

Download Full-text

Logic Programming Techniques in Protein Structure Determination: Methodologies and Results

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

10.1007/978-3-642-04238-6_58 ◽

2009 ◽

pp. 560-566 ◽

Cited By ~ 1

Author(s):

Alessandro Dal Palù ◽

Agostino Dovier ◽

Enrico Pontelli

Keyword(s):

Protein Structure ◽

Logic Programming ◽

Structure Determination ◽

Protein Structure Determination ◽

Programming Techniques

Download Full-text

Weight Constraint Programs with Functions

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

10.1007/978-3-642-04238-6_28 ◽

2009 ◽

pp. 329-341 ◽

Cited By ~ 2

Author(s):

Yisong Wang ◽

Jia-Huai You ◽

Li-Yan Yuan ◽

Mingyi Zhang

Download Full-text

A Default Approach to Semantics of Logic Programs with Constraint Atoms

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

10.1007/978-3-642-04238-6_24 ◽

2009 ◽

pp. 277-289 ◽

Cited By ~ 3

Author(s):

Yi-Dong Shen ◽

Jia-Huai You

Keyword(s):

Logic Programs ◽

Semantics Of Logic Programs

Download Full-text

A First Order Forward Chaining Approach for Answer Set Computing

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

10.1007/978-3-642-04238-6_18 ◽

2009 ◽

pp. 196-208 ◽

Cited By ~ 12

Author(s):

Claire Lefèvre ◽

Pascal Nicolas

Keyword(s):

First Order ◽

Forward Chaining ◽

Answer Set

Download Full-text

Gorgias-C: Extending Argumentation with Constraint Solving

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

10.1007/978-3-642-04238-6_54 ◽

2009 ◽

pp. 535-541 ◽

Cited By ~ 5

Author(s):

Victor Noël ◽

Antonis Kakas

Keyword(s):

Constraint Solving

Download Full-text

Argumentation Context Systems: A Framework for Abstract Group Argumentation

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

10.1007/978-3-642-04238-6_7 ◽

2009 ◽

pp. 44-57 ◽

Cited By ~ 13

Author(s):

Gerhard Brewka ◽

Thomas Eiter

Keyword(s):

Abstract Group

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Using Lightweight Inference to Solve Lightweight Problems

SAT, SMT and Applications

An ASP-Based Data Integration System

A Revised Concept of Safety for General Answer Set Programs

Logic Programming Techniques in Protein Structure Determination: Methodologies and Results

Weight Constraint Programs with Functions

A Default Approach to Semantics of Logic Programs with Constraint Atoms

A First Order Forward Chaining Approach for Answer Set Computing

Gorgias-C: Extending Argumentation with Constraint Solving

Argumentation Context Systems: A Framework for Abstract Group Argumentation

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