Torsten Schaub

research

∙ 07/24/2023

Past-present temporal programs over finite traces

Extensions of Answer Set Programming with language constructs from tempo...

0 Pedro Cabalar, et al. ∙

research

∙ 07/20/2023

Bounded Combinatorial Reconfiguration with Answer Set Programming

We develop an approach called bounded combinatorial reconfiguration for ...

0 Yuya Yamada, et al. ∙

research

∙ 04/28/2023

Metric Temporal Equilibrium Logic over Timed Traces

In temporal extensions of Answer Set Programming (ASP) based on linear-t...

0 Arvid Becker, et al. ∙

research

∙ 03/17/2023

Clingraph: A System for ASP-based Visualization

We present the ASP-based visualization tool clingraph which aims at visu...

0 Susana Hahn, et al. ∙

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...

0 Susana Hahn, et al. ∙

research

∙ 02/11/2022

Answer Set Planning: A Survey

Answer Set Planning refers to the use of Answer Set Programming (ASP) to...

0 Tran Cao Son, et al. ∙

research

∙ 11/11/2021

Answer Set Programming Made Easy

We take up an idea from the folklore of Answer Set Programming, namely t...

0 Jorge Fandinno, et al. ∙

research

∙ 09/04/2021

Automata for dynamic answer set solving: Preliminary report

We explore different ways of implementing temporal constraints expressed...

0 Pedro Cabalar, et al. ∙

research

∙ 08/13/2021

Planning with Incomplete Information in Quantified Answer Set Programming

We present a general approach to planning with incomplete information in...

0 Jorge Fandinno, et al. ∙

research

∙ 08/10/2021

On the Foundations of Grounding in Answer Set Programming

We provide a comprehensive elaboration of the theoretical foundations of...

0 Roland Kaminski, et al. ∙

research

∙ 08/06/2021

Towards a Semantics for Hybrid ASP systems

Over the last decades the development of ASP has brought about an expres...

0 Pedro Cabalar, et al. ∙

research

∙ 09/14/2020

Temporal Answer Set Programming

We present an overview on Temporal Logic Programming under the perspecti...

0 Felicidad Aguado, et al. ∙

research

∙ 08/15/2020

How to build your own ASP-based system?!

Answer Set Programming (ASP) has become a popular and quite sophisticate...

2 Roland Kaminski, et al. ∙

research

∙ 08/05/2020

Towards Metric Temporal Answer Set Programming

We elaborate upon the theoretical foundations of a metric temporal exten...

17 Pedro Cabalar, et al. ∙

research

∙ 08/05/2020

Verifying Tight Logic Programs with anthem and Vampire

This paper continues the line of research aimed at investigating the rel...

1 Jorge Fandinno, et al. ∙

research

∙ 08/05/2020

eclingo: A solver for Epistemic Logic Programs

We describe eclingo, a solver for epistemic logic programs under Gelfond...

9 Pedro Cabalar, et al. ∙

research

∙ 03/19/2020

Train Scheduling with Hybrid Answer Set Programming

We present a solution to real-world train scheduling problems, involving...

9 Dirk Abels, et al. ∙

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...

8 Pedro Cabalar, et al. ∙

research

∙ 02/17/2020

Implementing Dynamic Answer Set Programming

We introduce an implementation of an extension of Answer Set Programming...

5 Pedro Cabalar, et al. ∙

research

∙ 02/17/2020

An ASP semantics for Constraints involving Conditional Aggregates

We elaborate upon the formal foundations of hybrid Answer Set Programmin...

3 Pedro Cabalar, et al. ∙

research

∙ 11/11/2019

ASP-Core-2 Input Language Format

Standardization of solver input languages has been a main driver for the...

5 Francesco Calimeri, et al. ∙

research

∙ 12/11/2018

plasp 3: Towards Effective ASP Planning

We describe the new version of the PDDL-to-ASP translator plasp. First, ...

0 Yannis Dimopoulos, et al. ∙

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 ...

0 Vladimir Lifschitz, et al. ∙

research

∙ 08/13/2018

Hybrid Metabolic Network Completion

Metabolic networks play a crucial role in biology since they capture all...

0 Clémence Frioux, et al. ∙

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...

0 Martin Gebser, et al. ∙

research

∙ 04/26/2018

Experimenting with robotic intra-logistics domains

We introduce the asprilo [1] framework to facilitate experimental studie...

0 Martin Gebser, et al. ∙

research

∙ 04/26/2018

Temporal Answer Set Programming on Finite Traces

In this paper, we introduce an alternative approach to Temporal Answer S...

4 Pedro Cabalar, et al. ∙

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...

0 Thomas Guyet, et al. ∙

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...

0 Tomi Janhunen, et al. ∙

research

∙ 05/27/2017

Multi-shot ASP solving with clingo

We introduce a new flexible paradigm of grounding and solving in Answer ...

0 Martin Gebser, et al. ∙

research

∙ 05/12/2017

Clingcon: The Next Generation

We present the third generation of the constraint answer set system clin...

0 Mutsunori Banbara, et al. ∙

research

∙ 03/12/2016

Grounding Recursive Aggregates: Preliminary Report

Problem solving in Answer Set Programming consists of two steps, a first...

0 Martin Gebser, et al. ∙

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...

0 Holger Hoos, et al. ∙

research

∙ 01/06/2014

Solver Scheduling via Answer Set Programming

Although Boolean Constraint Technology has made tremendous progress over...

0 Holger Hoos, et al. ∙

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...

0 Martin Gebser, et al. ∙

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...

0 Mutsunori Banbara, et al. ∙

research

∙ 07/28/2013

ROSoClingo: A ROS package for ASP-based robot control

Knowledge representation and reasoning capacities are vital to cognitive...

0 Benjamin Andres, et al. ∙

research

∙ 01/08/2013

Answer Set Programming for Stream Reasoning

The advance of Internet and Sensor technology has brought about new chal...

0 Martin Gebser, et al. ∙

research

∙ 10/11/2012

Multi-threaded ASP Solving with clasp

We present the new multi-threaded version of the state-of-the-art answer...

0 Martin Gebser, et al. ∙

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...

0 Martin Gebser, et al. ∙

research

∙ 07/28/2011

Complex Optimization in Answer Set Programming

Preference handling and optimization are indispensable means for address...

0 Martin Gebser, et al. ∙

research

∙ 05/11/2010

Heuristics in Conflict Resolution

Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programmi...

0 Christian Drescher, et al. ∙

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...

0 James Delgrande, et al. ∙

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...

0 David Pearce, et al. ∙

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...

0 Torsten Schaub, et al. ∙

research

∙ 03/11/2000

A Consistency-Based Model for Belief Change: Preliminary Report

We present a general, consistency-based framework for belief change. Inf...

0 James Delgrande, et al. ∙

research

∙ 03/08/2000

Logic Programs with Compiled Preferences

We describe an approach for compiling preferences into logic programs un...

0 James P. Delgrande, et al. ∙

research

∙ 03/08/2000

A Compiler for Ordered Logic Programs

This paper describes a system, called PLP, for compiling ordered logic p...

0 James P. Delgrande, et al. ∙

Torsten Schaub

Featured Co-authors