A Rule System for Querying Persistent RDFS Data

Answer Set Programming: A Primer

Combining Nonmonotonic Knowledge Bases with External Sources

Conflict-driven ASP solving with external sources

Declarative Belief Set Merging Using Merging Plans

Decomposition of Distributed Nonmonotonic Multi-Context Systems

Domain expansion for ASP-programs with external sources

Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes

Exploiting Unfounded Sets for HEX-Program Evaluation

Exploiting conjunctive queries in description logic programs

FLP answer set semantics without circular justifications for general logic programs

First-Order Encodings for Modular Nonmonotonic Datalog Programs

Hybrid Reasoning with Rules and Ontologies

Inconsistency Management for Traffic Regulations: Formalization and Complexity Results

article published in 2012

Modular Nonmonotonic Logic Programming Revisited

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition

Realizing Default Logic over Description Logic Knowledge Bases

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

Symmetry Breaking for Distributed Multi-Context Systems

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems

The Fourth Answer Set Programming Competition: Preliminary Report

artículo científico publicado en 2013

Uniform Evaluation of Nonmonotonic DL-Programs

VCWC: A Versioning Competition Workflow Compiler

article

XSPARQL: Traveling between the XML and RDF Worlds – and Avoiding the XSLT Pilgrimage