Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642415234, 9783642415241

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Parameterized Complexity of Constraint Satisfaction and Reasoning

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_2 ◽

2013 ◽

pp. 27-37

Author(s):

Stefan Szeider

Keyword(s):

Constraint Satisfaction ◽

Parameterized Complexity

Download Full-text

Solving Modular Model Expansion: Case Studies

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_12 ◽

2013 ◽

pp. 215-236

Author(s):

Shahab Tasharrofi ◽

Xiongnan Wu ◽

Eugenia Ternovska

Keyword(s):

Case Studies ◽

Modular Model ◽

Model Expansion

Download Full-text

A Descriptive Approach to Preferred Answer Sets

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_11 ◽

2013 ◽

pp. 195-214

Author(s):

Ján Šefránek ◽

Alexander Šimko

Keyword(s):

Descriptive Approach ◽

Answer Sets

Download Full-text

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_1 ◽

2013 ◽

pp. 3-26

Author(s):

Thomas Eiter ◽

Michael Fink ◽

Giovambattista Ianni ◽

Peter Schüller

Keyword(s):

Policy Language

Download Full-text

HEX-Programs with Nested Program Calls

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_15 ◽

2013 ◽

pp. 269-278 ◽

Cited By ~ 3

Author(s):

Thomas Eiter ◽

Thomas Krennwallner ◽

Christoph Redl

Download Full-text

Translating Answer-Set Programs into Bit-Vector Logic

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_6 ◽

2013 ◽

pp. 95-113 ◽

Cited By ~ 5

Author(s):

Mai Nguyen ◽

Tomi Janhunen ◽

Ilkka Niemelä

Keyword(s):

Bit Vector ◽

Answer Set

Download Full-text

Computing with Logic as Operator Elimination: The ToyElim System

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_17 ◽

2013 ◽

pp. 289-296 ◽

Cited By ~ 2

Author(s):

Christoph Wernhard

Download Full-text

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_20 ◽

2013 ◽

pp. 325-344 ◽

Cited By ~ 3

Author(s):

Christian Kloimüllner ◽

Johannes Oetsch ◽

Jörg Pührer ◽

Hans Tompits

Keyword(s):

Answer Set

Download Full-text

A Prototype of a Knowledge-Based Programming Environment

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_16 ◽

2013 ◽

pp. 279-286 ◽

Cited By ~ 4

Author(s):

Stef De Pooter ◽

Johan Wittocx ◽

Marc Denecker

Keyword(s):

Programming Environment ◽

Knowledge Based

Download Full-text

dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management ◽

10.1007/978-3-642-41524-1_14 ◽

2013 ◽

pp. 259-268 ◽

Cited By ~ 3

Author(s):

Wolfgang Dvořák ◽

Michael Morak ◽

Clemens Nopp ◽

Stefan Woltran

Keyword(s):

Dynamic Programming ◽

Abstract Argumentation

Download Full-text

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge ManagementLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Parameterized Complexity of Constraint Satisfaction and Reasoning

Solving Modular Model Expansion: Case Studies

A Descriptive Approach to Preferred Answer Sets

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems

HEX-Programs with Nested Program Calls

Translating Answer-Set Programs into Bit-Vector Logic

Computing with Logic as Operator Elimination: The ToyElim System

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

A Prototype of a Knowledge-Based Programming Environment

dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation

Lecture Notes in Computer Science - Applications of Declarative Programming and Knowledge Management
Latest Publications