research
∙
07/24/2023
Past-present temporal programs over finite traces
Extensions of Answer Set Programming with language constructs from tempo...
share
research
∙
07/20/2023
Bounded Combinatorial Reconfiguration with Answer Set Programming
We develop an approach called bounded combinatorial reconfiguration for ...
research
∙
04/28/2023
Metric Temporal Equilibrium Logic over Timed Traces
In temporal extensions of Answer Set Programming (ASP) based on linear-t...
research
∙
03/17/2023
Clingraph: A System for ASP-based Visualization
We present the ASP-based visualization tool clingraph which aims at visu...
research
∙
06/23/2022
plingo: A system for probabilistic reasoning in clingo based on lpmln
We present plingo, an extension of the ASP system clingo with various pr...
research
∙
02/11/2022
Answer Set Planning: A Survey
Answer Set Planning refers to the use of Answer Set Programming (ASP) to...
research
∙
11/11/2021
Answer Set Programming Made Easy
We take up an idea from the folklore of Answer Set Programming, namely t...
research
∙
09/04/2021
Automata for dynamic answer set solving: Preliminary report
We explore different ways of implementing temporal constraints expressed...
research
∙
08/13/2021
Planning with Incomplete Information in Quantified Answer Set Programming
We present a general approach to planning with incomplete information in...
research
∙
08/10/2021
On the Foundations of Grounding in Answer Set Programming
We provide a comprehensive elaboration of the theoretical foundations of...
research
∙
08/06/2021
Towards a Semantics for Hybrid ASP systems
Over the last decades the development of ASP has brought about an expres...
research
∙
09/14/2020
Temporal Answer Set Programming
We present an overview on Temporal Logic Programming under the perspecti...
research
∙
08/15/2020
How to build your own ASP-based system?!
Answer Set Programming (ASP) has become a popular and quite sophisticate...
research
∙
08/05/2020
Towards Metric Temporal Answer Set Programming
We elaborate upon the theoretical foundations of a metric temporal exten...
research
∙
08/05/2020
Verifying Tight Logic Programs with anthem and Vampire
This paper continues the line of research aimed at investigating the rel...
research
∙
08/05/2020
eclingo: A solver for Epistemic Logic Programs
We describe eclingo, a solver for epistemic logic programs under Gelfond...
research
∙
03/19/2020
Train Scheduling with Hybrid Answer Set Programming
We present a solution to real-world train scheduling problems, involving...
research
∙
03/09/2020
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
Characterizing hybrid ASP solving in a generic way is difficult since on...
research
∙
02/17/2020
Implementing Dynamic Answer Set Programming
We introduce an implementation of an extension of Answer Set Programming...
research
∙
02/17/2020
An ASP semantics for Constraints involving Conditional Aggregates
We elaborate upon the formal foundations of hybrid Answer Set Programmin...
research
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
research
∙
12/11/2018
plasp 3: Towards Effective ASP Planning
We describe the new version of the PDDL-to-ASP translator plasp. First, ...
research
∙
09/30/2018
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
In a recent paper by Harrison et al., the concept of program completion ...
research
∙
08/13/2018
Hybrid Metabolic Network Completion
Metabolic networks play a crucial role in biology since they capture all...
research
∙
04/27/2018
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Automated storage and retrieval systems are principal components of mode...
research
∙
04/26/2018
Experimenting with robotic intra-logistics domains
We introduce the asprilo [1] framework to facilitate experimental studie...
research
∙
04/26/2018
Temporal Answer Set Programming on Finite Traces
In this paper, we introduce an alternative approach to Temporal Answer S...
research
∙
11/14/2017
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks
This article presents the use of Answer Set Programming (ASP) to mine se...
research
∙
07/13/2017
Clingo goes Linear Constraints over Reals and Integers
The recent series 5 of the ASP system clingo provides generic means to e...
research
∙
05/27/2017
Multi-shot ASP solving with clingo
We introduce a new flexible paradigm of grounding and solving in Answer ...
research
∙
05/12/2017
Clingcon: The Next Generation
We present the third generation of the constraint answer set system clin...
research
∙
03/12/2016
Grounding Recursive Aggregates: Preliminary Report
Problem solving in Answer Set Programming consists of two steps, a first...
research
∙
05/07/2014
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
To appear in Theory and Practice of Logic Programming (TPLP). Building o...
research
∙
01/06/2014
Solver Scheduling via Answer Set Programming
Although Boolean Constraint Technology has made tremendous progress over...
research
∙
12/20/2013
A System for Interactive Query Answering with Answer Set Programming
Reactive answer set programming has paved the way for incorporating onli...
research
∙
12/20/2013
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Encoding finite linear CSPs as Boolean formulas and solving them by usin...
research
∙
07/28/2013
ROSoClingo: A ROS package for ASP-based robot control
Knowledge representation and reasoning capacities are vital to cognitive...
research
∙
01/08/2013
Answer Set Programming for Stream Reasoning
The advance of Internet and Sensor technology has brought about new chal...
research
∙
10/11/2012
Multi-threaded ASP Solving with clasp
We present the new multi-threaded version of the state-of-the-art answer...
research
∙
09/01/2011
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
We present the Linux package configuration tool aspcud based on Answer S...
research
∙
07/28/2011
Complex Optimization in Answer Set Programming
Preference handling and optimization are indispensable means for address...
research
∙
05/11/2010
Heuristics in Conflict Resolution
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programmi...
research
∙
12/30/2009
A general approach to belief change in answer set programming
We address the problem of belief change in (nonmonotonic) logic programm...
research
∙
07/19/2002
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
Nested logic programs have recently been introduced in order to allow fo...
research
∙
07/15/2002
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report
We analyze the problem of defining well-founded semantics for ordered lo...
research
∙
03/11/2000
A Consistency-Based Model for Belief Change: Preliminary Report
We present a general, consistency-based framework for belief change. Inf...
research
∙
03/08/2000
Logic Programs with Compiled Preferences
We describe an approach for compiling preferences into logic programs un...
research
∙
03/08/2000
