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

9783642208942, 9783642208959

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology

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

10.1007/978-3-642-20895-9_45 ◽

2011 ◽

pp. 382-387 ◽

Cited By ~ 7

Author(s):

Johannes Oetsch ◽

Jörg Pührer ◽

Martina Seidl ◽

Hans Tompits ◽

Patrick Zwickl

Keyword(s):

Model Driven Engineering ◽

Engineering Technology ◽

Model Driven ◽

Development Tool ◽

Answer Set

Download Full-text

ASPIDE: Integrated Development Environment for Answer Set Programming

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

10.1007/978-3-642-20895-9_37 ◽

2011 ◽

pp. 317-330 ◽

Cited By ~ 26

Author(s):

Onofrio Febbraro ◽

Kristian Reale ◽

Francesco Ricca

Keyword(s):

Answer Set Programming ◽

Integrated Development Environment ◽

Development Environment ◽

Integrated Development ◽

Answer Set

Download Full-text

Symmetry Breaking for Distributed Multi-Context Systems

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

10.1007/978-3-642-20895-9_5 ◽

2011 ◽

pp. 26-39 ◽

Cited By ~ 1

Author(s):

Christian Drescher ◽

Thomas Eiter ◽

Michael Fink ◽

Thomas Krennwallner ◽

Toby Walsh

Keyword(s):

Symmetry Breaking

Download Full-text

Compiling Answer Set Programs into Event-Driven Action Rules

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

10.1007/978-3-642-20895-9_44 ◽

2011 ◽

pp. 376-381 ◽

Cited By ~ 1

Author(s):

Neng-Fa Zhou ◽

Yi-Dong Shen ◽

Jia-Huai You

Keyword(s):

Event Driven ◽

Answer Set

Download Full-text

Modularity of P-Log Programs

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

10.1007/978-3-642-20895-9_4 ◽

2011 ◽

pp. 13-25 ◽

Cited By ~ 2

Author(s):

Carlos Viegas Damásio ◽

João Moura

Download Full-text

Secommunity: A Framework for Distributed Access Control

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

10.1007/978-3-642-20895-9_34 ◽

2011 ◽

pp. 297-303 ◽

Cited By ~ 3

Author(s):

Steve Barker ◽

Valerio Genovese

Keyword(s):

Access Control ◽

Distributed Access Control

Download Full-text

Contingency-Based Equilibrium Logic

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

10.1007/978-3-642-20895-9_23 ◽

2011 ◽

pp. 223-228 ◽

Cited By ~ 3

Author(s):

Luis Fariñas del Cerro ◽

Andreas Herzig

Download Full-text

Aggregates in Answer Set Optimization

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

10.1007/978-3-642-20895-9_21 ◽

2011 ◽

pp. 211-216 ◽

Cited By ~ 1

Author(s):

Emad Saad ◽

Gerhard Brewka

Keyword(s):

Set Optimization ◽

Answer Set

Download Full-text

Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI

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

10.1007/978-3-642-20895-9_1 ◽

2011 ◽

pp. 1-9 ◽

Cited By ~ 3

Author(s):

David Poole

Download Full-text

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition

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

10.1007/978-3-642-20895-9_10 ◽

2011 ◽

pp. 93-106 ◽

Cited By ~ 4

Author(s):

Thomas Eiter ◽

Michael Fink ◽

Giovambattista Ianni ◽

Thomas Krennwallner ◽

Peter Schüller

Keyword(s):

Modular Decomposition

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology

ASPIDE: Integrated Development Environment for Answer Set Programming

Symmetry Breaking for Distributed Multi-Context Systems

Compiling Answer Set Programs into Event-Driven Action Rules

Modularity of P-Log Programs

Secommunity: A Framework for Distributed Access Control

Contingency-Based Equilibrium Logic

Aggregates in Answer Set Optimization

Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition

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