Torsten Schaub

422 papers A* 34A 17B 93C 16Misc 6Journal 175Unranked 73
YearRankTypeTitle / Venue / Authors
2026 J jnl
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming.
CoRR
Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, Igor Stéphan
2026 J jnl
FLINGO - Instilling ASP Expressiveness into Linear Integer Constraints.
CoRR
Jorge Fandinno, Pedro Cabalar, Philipp Wanko, Torsten Schaub
2026 J jnl
Implementing Metric Temporal Answer Set Programming.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub
2025 J jnl
ANTHEM 2.0: Automated Reasoning for Answer Set Programming.
Theory Pract. Log. Program.
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmann, Vladimir Lifschitz
2025 J jnl
Anthem 2.0: Automated Reasoning for Answer Set Programming.
CoRR
Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
2025 J jnl
Compiling Metric Temporal Answer Set Programming.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Javier Romero, Susana Hahn, Torsten Schaub
2025 B conf
Implementing the First-Order Logic of Here and There.
ICLP
Jens Otten, Torsten Schaub
2025 A conf
Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.
ECAI
Kazuki Takada, Mutsunori Banbara, Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Torsten Schaub, Ryuhei Uehara
2025 J jnl
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.
Theory Pract. Log. Program.
Javier Romero, Torsten Schaub, Klaus Strauch
2025 J jnl
Plingo: A System for Probabilistic Reasoning in Answer Set Programming.
Theory Pract. Log. Program.
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2025 A* ed.
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025
KR
Magdalena Ortiz, Renata Wassermann, Torsten Schaub
2025 J jnl
Strong Equivalence in Answer Set Programming with Constraints.
CoRR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2025 B conf
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital.
ICLP
Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub, Takehide Soh
2025 J jnl
Towards Constraint Temporal Answer Set Programming.
CoRR
Pedro Cabalar, Martín Diéguez, François Olivier, Torsten Schaub, Igor Stéphan
2025 J jnl
Towards Constraint Temporal Answer Set Programming.
Theory Pract. Log. Program.
Pedro Cabalar, Martín Diéguez, François Olivier, Torsten Schaub, Igor Stéphan
2025 J jnl
Towards Industrial-scale Product Configuration.
CoRR
Joachim Baumeister, Susana Hahn, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko
2024 B conf
A Fixpoint Characterisation of Temporal Equilibrium Logic.
LPNMR
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub, Igor Stéphan
2024 B conf
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling.
LPNMR
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 B conf
ASP-driven User-interaction with Clinguin.
ICLP
Alexander Beiser, Susana Hahn, Torsten Schaub
2024 B conf
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.
WALCOM
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara
2024 B conf
Compiling Metric Temporal Answer Set Programming.
LPNMR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub
2024 J jnl
Dominating Set Reconfiguration with Answer Set Programming.
CoRR
Masato Kato, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 J jnl
Dominating Set Reconfiguration with Answer Set Programming.
Theory Pract. Log. Program.
Masato Kato, Mutsunori Banbara, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2024 — conf
Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers.
ICAART (1)
Roland Kaminski, Torsten Schaub, Klaus Strauch, Jirí Svancara
2024 J jnl
Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design.
Int. J. Parallel Program.
Luise Müller, Philipp Wanko, Christian Haubelt, Torsten Schaub
2024 A* conf
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
KR
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 J jnl
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
CoRR
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 J jnl
Metric Dynamic Equilibrium Logic.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
2024 J jnl
Metric Temporal Equilibrium Logic over Timed Traces.
Theory Pract. Log. Program.
Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2024 J jnl
On the generalization of learned constraints for ASP solving in temporal domains.
CoRR
Javier Romero, Torsten Schaub, Klaus Strauch
2024 J jnl
Reasoning About Study Regulations in Answer Set Programming.
Theory Pract. Log. Program.
Susana Hahn, Torsten Schaub, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Sebastian Schellhorn
2024 J jnl
Reasoning about Study Regulations in Answer Set Programming.
CoRR
Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn
2024 J jnl
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report.
CoRR
Roland Kaminski, Torsten Schaub, Tran Cao Son, Jirí Svancara, Philipp Wanko
2024 B conf
Towards Industrial-Scale Product Configuration.
LPNMR
Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko
2024 — conf
Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends.
ICAART (3)
Jirí Svancara, Dor Atzmon, Klaus Strauch, Roland Kaminski, Torsten Schaub
2023 J jnl
A general framework for preferences in answer set programming.
Artif. Intell.
Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
2023 J jnl
Answer Set Planning: A Survey.
Theory Pract. Log. Program.
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
2023 — conf
Answer Set Programming Made Easy.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
2023 J jnl
Bounded Combinatorial Reconfiguration with Answer Set Programming.
CoRR
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
2023 J jnl
Clingraph: A System for ASP-based Visualization.
CoRR
Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
2023 J jnl
Evolutionary System Design with Answer Set Programming.
Algorithms
Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko
2023 B conf
Hamiltonian Cycle Reconfiguration with Answer Set Programming.
JELIA
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2023 J jnl
How to Build Your Own ASP-based System?!
Theory Pract. Log. Program.
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
2023 — conf
Interactive Configuration with ASP Multi-Shot Solving.
ConfWS
Richard Comploi-Taupe, Andreas A. Falkner, Susana Hahn, Torsten Schaub, Gottfried Schenner
2023 J jnl
Linear-Time Temporal Answer Set Programming.
Theory Pract. Log. Program.
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
2023 J jnl
Metric Temporal Equilibrium Logic over Timed Traces.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2023 J jnl
Metric dynamic equilibrium logic.
J. Appl. Non Class. Logics
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
2023 — conf
Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?
ICAART (1)
Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub
2023 B conf
Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract].
SOCS
Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski
2023 J jnl
On the Foundations of Grounding in Answer Set Programming.
Theory Pract. Log. Program.
Roland Kaminski, Torsten Schaub
2023 J jnl
On the Semantics of Hybrid ASP Systems Based on Clingo.
Algorithms
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2023 B conf
Past-Present Temporal Programs over Finite Traces.
JELIA
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
2023 J jnl
Past-present temporal programs over finite traces.
CoRR
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
2023 — conf
Past-present temporal programs over finite traces: a preliminary report.
ICLP Workshops
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
2023 — conf
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report).
ICLP Workshops
Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn
2023 B conf
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.
JELIA
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
2023 — conf
Routing and Scheduling in different ways: Abridged Preliminary Report.
ICLP Workshops
Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko
2023 C conf
Solving Vehicle Equipment Specification Problems with Answer Set Programming.
PADL
Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub
2023 J jnl
Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints.
Algorithms
David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu, Tran Cao Son
2023 — conf
Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report.
ConfWS
Nicolas Rühling, Torsten Schaub, Tobias Stolzmann
2022 J jnl
Answer Set Planning: A Survey.
CoRR
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
2022 B conf
Clingraph: ASP-Based Visualization.
LPNMR
Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
2022 — conf
Conflict Handling in Product Configuration using Answer Set Programming.
ICLP Workshops
Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub
2022 B conf
Metric Temporal Answer Set Programming over Timed Traces.
LPNMR
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2022 B conf
Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract).
SOCS
Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub
2022 B conf
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.
RuleML+RR
Javier Romero, Torsten Schaub, Klaus Strauch
2022 B conf
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP
RuleML+RR
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2022 A conf
Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning.
AAMAS
Matej Husár, Jirí Svancara, Philipp Obermeier, Roman Barták, Torsten Schaub
2022 J jnl
plingo: A system for probabilistic reasoning in clingo based on lpmln.
CoRR
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2021 J jnl
Answer Set Programming Made Easy.
CoRR
Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
2021 — conf
Automata for Dynamic Answer Set Solving: Preliminary Report.
ICLP Workshops
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
2021 J jnl
Automata for dynamic answer set solving: Preliminary report.
CoRR
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
2021 J jnl
On the Foundations of Grounding in Answer Set Programming.
CoRR
Roland Kaminski, Torsten Schaub
2021 J jnl
Planning with Incomplete Information in Quantified Answer Set Programming.
CoRR
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
2021 J jnl
Planning with Incomplete Information in Quantified Answer Set Programming.
Theory Pract. Log. Program.
Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
2021 J jnl
Towards a Semantics for Hybrid ASP systems.
CoRR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2021 J jnl
Train Scheduling with Hybrid Answer Set Programming.
Theory Pract. Log. Program.
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
2020 A* conf
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.
KR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020 J jnl
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.
CoRR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020 J jnl
ASP-Core-2 Input Language Format.
Theory Pract. Log. Program.
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2020 A conf
An ASP Semantics for Constraints Involving Conditional Aggregates.
ECAI
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020 J jnl
An ASP semantics for Constraints involving Conditional Aggregates.
CoRR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020 J jnl
How to build your own ASP-based system?!
CoRR
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
2020 A conf
Implementing Dynamic Answer Set Programming over Finite Traces.
ECAI
Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
2020 J jnl
Implementing Dynamic Answer Set Programming.
CoRR
Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
2020 J jnl
Temporal Answer Set Programming.
CoRR
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
2020 J jnl
Towards Metric Temporal Answer Set Programming.
CoRR
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2020 J jnl
Towards Metric Temporal Answer Set Programming.
Theory Pract. Log. Program.
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2020 — conf
Towards Verifying Logic Programs in the Input Language of clingo.
Fields of Logic and Computation III
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2020 J jnl
Train Scheduling with Hybrid Answer Set Programming.
CoRR
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
2020 J jnl
Verifying Tight Logic Programs with anthem and Vampire.
CoRR
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2020 J jnl
Verifying Tight Logic Programs with anthem and vampire.
Theory Pract. Log. Program.
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2020 J jnl
eclingo : A Solver for Epistemic Logic Programs.
Theory Pract. Log. Program.
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
2020 J jnl
eclingo: A solver for Epistemic Logic Programs.
CoRR
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
2019 J jnl
ASP-Core-2 Input Language Format.
CoRR
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
2019 — conf
Dynamic and Temporal Answer Set Programming on Linear Finite Traces.
Datalog
Pedro Cabalar, Torsten Schaub
2019 J jnl
Gelfond-Zhang aggregates as propositional formulas.
Artif. Intell.
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2019 B conf
Generalized Target Assignment and Path Finding Using Answer Set Programming.
SOCS
Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh
2019 J jnl
Hybrid metabolic network completion.
Theory Pract. Log. Program.
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
2019 B conf
Lower Bound Founded Logic of Here-and-There.
JELIA
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2019 J jnl
Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report.
Open J. Databases
Philipp Obermeier, Javier Romero, Torsten Schaub
2019 J jnl
Multi-shot ASP solving with clingo.
Theory Pract. Log. Program.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2019 A* conf
On the Integration of CP-nets in ASPRIN.
IJCAI
Mario Alviano, Javier Romero, Torsten Schaub
2019 — conf
Temporal Logic Programs with Temporal Description Logic Axioms.
Description Logic, Theory Combination, and All That
Pedro Cabalar, Torsten Schaub
2019 B conf
The Return of xorro.
LPNMR
Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub
2019 B conf
Towards Dynamic Answer Set Programming over Finite Traces.
LPNMR
Pedro Cabalar, Martín Diéguez, Torsten Schaub
2019 B conf
Train Scheduling with Hybrid ASP.
LPNMR
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
2019 B conf
Verifying Strong Equivalence of Programs in the Input Language of gringo.
LPNMR
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2019 J jnl
plasp 3: Towards Effective ASP Planning.
Theory Pract. Log. Program.
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
2019 J jnl
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res.
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
2019 B conf
telingo = ASP + Time.
LPNMR
Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub
2018 A* conf
ASP-Based Time-Bounded Planning for Logistics Robots.
ICAPS
Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub
2018 J jnl
Advanced Solving Technology for Dynamic and Reactive Applications.
Künstliche Intell.
Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck
2018 J jnl
Answer set programming unleashed!
Künstliche Intell.
Torsten Schaub, Stefan Woltran
2018 — conf
Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data.
CMSB
Misbah Razzaq, Roland Kaminski, Javier Romero, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski
2018 J jnl
Design Space Exploration with Answer Set Programming.
Künstliche Intell.
Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko
2018 A* conf
Evaluation Techniques and Systems for Answer Set Programming: a Survey.
IJCAI
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
2018 A conf
Exact multi-objective design space exploration using ASPmT.
DATE
Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt
2018 J jnl
Experimenting with robotic intra-logistics domains.
CoRR
Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son
2018 J jnl
Experimenting with robotic intra-logistics domains.
Theory Pract. Log. Program.
Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son
2018 J jnl
High-level synthesis of on-chip multiprocessor architectures based on answer set programming.
J. Parallel Distributed Comput.
Christophe Bobda, Franck Yonga, Martin Gebser, Harold Ishebabi, Torsten Schaub
2018 J jnl
Hybrid Metabolic Network Completion.
CoRR
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
2018 J jnl
Interview with Gerhard Brewka.
Künstliche Intell.
Gerhard Brewka, Torsten Schaub, Stefan Woltran
2018 J jnl
Interview with Vladimir Lifschitz.
Künstliche Intell.
Vladimir Lifschitz, Torsten Schaub, Stefan Woltran
2018 A* conf
Introducing Temporal Stable Models for Linear Dynamic Logic.
KR
Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub
2018 Misc conf
On leveraging approximations for exact system-level design space exploration: work-in-progress.
CODES+ISSS
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
2018 A* conf
Preference Relations by Approximation.
KR
Mario Alviano, Javier Romero, Torsten Schaub
2018 J jnl
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming.
CoRR
Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub
2018 J jnl
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming.
Theory Pract. Log. Program.
Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge
2018 J jnl
Special Issue on Answer Set Programming.
Künstliche Intell.
Torsten Schaub, Stefan Woltran
2018 — conf
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches.
MBMV
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
2018 J jnl
Temporal Answer Set Programming on Finite Traces.
CoRR
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
2018 J jnl
Temporal Answer Set Programming on Finite Traces.
Theory Pract. Log. Program.
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
2018 J jnl
The Potsdam Answer Set Solving Collection 5.0.
Künstliche Intell.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2018 — conf
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation.
ASP-DAC
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
2018 J jnl
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report).
CoRR
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
2018 J jnl
plasp 3: Towards Effective ASP Planning.
CoRR
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
2017 — conf
A Tutorial on Hybrid Answer Set Solving with clingo.
RW
Roland Kaminski, Torsten Schaub, Philipp Wanko
2017 A* conf
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract).
IJCAI
Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub
2017 J jnl
Automatic construction of parallel portfolios via algorithm configuration.
Artif. Intell.
Marius Lindauer, Holger H. Hoos, Kevin Leyton-Brown, Torsten Schaub
2017 J jnl
Clingcon: The Next Generation.
CoRR
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
2017 J jnl
Clingcon: The next generation.
Theory Pract. Log. Program.
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
2017 J jnl
Clingo goes Linear Constraints over Reals and Integers.
CoRR
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2017 J jnl
Clingo goes linear constraints over reals and integers.
Theory Pract. Log. Program.
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub
2017 J jnl
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks.
CoRR
Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub
2017 A conf
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.
DATE
Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt
2017 B conf
Gelfond-Zhang Aggregates as Propositional Formulas.
LPNMR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2017 — conf
Generalized Answer Set Planning with Incomplete Information.
ASPOCP@LPNMR
Javier Romero, Torsten Schaub, Tran Cao Son
2017 A* conf
Generalized Target Assignment and Path Finding Using Answer Set Programming.
IJCAI
Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh
2017 B conf
Hybrid Metabolic Network Completion.
LPNMR
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
2017 J jnl
Multi-shot ASP solving with clingo.
CoRR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2017 B conf
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.
LPNMR
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2017 — conf
clingo goes Linear Constraints over Reals and Integers.
ASPOCP@LPNMR
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2017 B conf
plasp 3: Towards Effective ASP Planning.
LPNMR
Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub
2016 A conf
A Minimization-Based Approach to Iterated Multi-Agent Belief Change.
ECAI
Paul Vicol, James P. Delgrande, Torsten Schaub
2016 A* conf
ASP for Anytime Dynamic Programming on Tree Decompositions.
IJCAI
Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran
2016 A* conf
An ASP Semantics for Default Reasoning with Constraints.
IJCAI
Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub
2016 J jnl
Answer Set Programming Modulo Acyclicity.
Fundam. Informaticae
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2016 — conf
Answer Set Solving with Generalized Learned Constraints.
ICLP (Technical Communications)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub
2016 J jnl
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming.
Biosyst.
Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski
2016 — conf
Computing Diverse Optimal Stable Models.
ICLP (Technical Communications)
Javier Romero, Torsten Schaub, Philipp Wanko
2016 — conf
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks.
EGC (best of volume)
Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub
2016 J jnl
Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective.
CoRR
Orkunt Sabuncu, Torsten Schaub, Christian Schulz-Hanke
2016 — conf
Fouille de motifs séquentiels avec ASP.
EGC
Thomas Guyet, Yves Moinard, Rene Quiniou, Torsten Schaub
2016 J jnl
Grounding Recursive Aggregates: Preliminary Report.
CoRR
Martin Gebser, Roland Kaminski, Torsten Schaub
2016 J jnl
Grounding and Solving in Answer Set Programming.
AI Mag.
Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub
2016 A* conf
Knowledge-Based Sequence Mining with ASP.
IJCAI
Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub
2016 J jnl
Modeling and Language Extensions.
AI Mag.
Martin Gebser, Torsten Schaub
2016 J jnl
Shift Design with Answer Set Programming.
Fundam. Informaticae
Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
2016 A* conf
Solving Goal Recognition Design Using ASP.
AAAI
Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh
2016 — conf
Theory Solving Made Easy with Clingo 5.
ICLP (Technical Communications)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko
2016 B conf
Writing Declarative Specifications for Clauses.
JELIA
Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi
2015 A conf
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving.
DATE
Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt
2015 B conf
ASP Solving for Expanding Universes.
LPNMR
Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub
2015 J jnl
Abstract Gringo.
CoRR
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
2015 J jnl
Abstract gringo.
Theory Pract. Log. Program.
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
2015 B conf
An Implementation of Consistency-Based Multi-agent Belief Change Using ASP.
LPNMR
Paul Vicol, James P. Delgrande, Torsten Schaub
2015 B conf
Answer Set Programming Modulo Acyclicity.
LPNMR
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2015 — conf
AutoFolio: Algorithm Configuration for Algorithm Selection.
AAAI Workshop: Algorithm Configuration
Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub
2015 J jnl
AutoFolio: An Automatically Configured Algorithm Selector.
J. Artif. Intell. Res.
Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub
2015 — conf
Boolean Network Identification from Multiplex Time Series Data.
CMSB
Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski
2015 B conf
Implementing Preferences with asprin.
LPNMR
Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
2015 B conf
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.
LPNMR
Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub
2015 B conf
Integrating ASP into ROS for Reasoning in Robots.
LPNMR
Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub
2015 J jnl
Interactive Answer Set Programming - Preliminary Report.
CoRR
Martin Gebser, Philipp Obermeier, Torsten Schaub
2015 J jnl
Learning Boolean logic models of signaling networks with ASP.
Theor. Comput. Sci.
Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez, Torsten Schaub, Anne Siegel
2015 B conf
Progress in clasp Series 3.
LPNMR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub
2015 — conf
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub
2015 B conf
Shift Design with Answer Set Programming.
LPNMR
Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
2015 A* conf
What's Hot in the SAT and ASP Competitions.
AAAI
Marijn Heule, Torsten Schaub
2015 B conf
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
LPNMR
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2015 J jnl
aspeed: Solver scheduling via answer set programming.
Theory Pract. Log. Program.
Holger H. Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub
2015 A* conf
asprin: Customizing Answer Set Preferences without a Headache.
AAAI
Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub
2014 J jnl
Clingo = ASP + Control: Preliminary Report.
CoRR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2014 A ed.
ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)
ECAI
Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan
2014 J jnl
Solver Scheduling via Answer Set Programming.
CoRR
Holger H. Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub
2014 J jnl
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming.
CoRR
Holger H. Hoos, Marius Lindauer, Torsten Schaub
2014 J jnl
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming.
Theory Pract. Log. Program.
Holger H. Hoos, Marius Lindauer, Torsten Schaub
2013 — conf
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP.
MBMV
Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
2013 J jnl
A Model-Theoretic Approach to Belief Change in Answer Set Programming.
ACM Trans. Comput. Log.
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2013 J jnl
A System for Interactive Query Answering with Answer Set Programming.
CoRR
Martin Gebser, Philipp Obermeier, Torsten Schaub
2013 B conf
Accurate Computation of Sensitizable Paths Using Answer Set Programming.
LPNMR
Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
2013 A* conf
Advanced Conflict-Driven Disjunctive Answer Set Solving.
IJCAI
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2013 J jnl
Answer Set Programming for Stream Reasoning
CoRR
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
2013 A conf
Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning.
CP
Torsten Schaub
2013 J jnl
Answer set programming as a modeling language for course timetabling.
Theory Pract. Log. Program.
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
2013 J jnl
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
CoRR
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2013 A* conf
Domain-Specific Heuristics in Answer Set Programming.
AAAI
Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko
2013 B conf
Extending the Metabolic Network of
LPNMR
Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele
2013 C conf
Fostering Social Interaction of Home-Bound Elderly People: The
IEA/AIE
Roberto Bisiani, Davide Merico, Stefano Pinardi, Matteo Dominoni, Amedeo Cesta, Andrea Orlandini, Riccardo Rasconi, Marco Suriano, Alessandro Umbrico, Orkunt Sabuncu, Torsten Schaub, Daniela D'Aloisi, Raffaele Nicolussi, Filomena Papa, Vassilis Bouglas, Giannis Giakas, Thanassis Kavatzikidis, Silvio Bonfiglio
2013 B conf
Matchmaking with Answer Set Programming.
LPNMR
Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub
2013 J jnl
Minimal intervention strategies in logical signaling networks with ASP.
Theory Pract. Log. Program.
Roland Kaminski, Torsten Schaub, Anne Siegel, Santiago Videla
2013 J jnl
Monitoring and Visualizing Answer Set Solving.
Theory Pract. Log. Program.
Arne König, Torsten Schaub
2013 J jnl
ROSoClingo: A ROS package for ASP-based robot control.
CoRR
Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, David Rajaratnam
2013 B conf
Ricochet Robots: A Transverse ASP Benchmark.
LPNMR
Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider
2013 — conf
Robust Benchmark Set Selection for Boolean Constraint Solvers.
LION
Holger H. Hoos, Benjamin Kaufmann, Torsten Schaub, Marius Schneider
2013 B conf
Symbolic System Synthesis Using Answer Set Programming.
LPNMR
Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß
2013 J jnl
Tableau Calculi for Logic Programs under Answer Set Semantics.
ACM Trans. Comput. Log.
Martin Gebser, Torsten Schaub
2012 J jnl
ASP modulo CSP: The clingcon system
CoRR
Max Ostrowski, Torsten Schaub
2012 J jnl
ASP modulo CSP: The clingcon system.
Theory Pract. Log. Program.
Max Ostrowski, Torsten Schaub
2012 B conf
Answer Set Programming.
FMCAD
Torsten Schaub
2012 — book
Answer Set Solving in Practice
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2012 J jnl
Conflict-driven answer set solving: From theory to practice.
Artif. Intell.
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2012 — conf
Gearing Up for Effective ASP Planning.
Correct Reasoning
Martin Gebser, Roland Kaufmann, Torsten Schaub
2012 J jnl
Multi-threaded ASP Solving with clasp
CoRR
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2012 J jnl
Multi-threaded ASP solving with clasp.
Theory Pract. Log. Program.
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2012 J jnl
Préface.
Rev. d'Intelligence Artif.
Torsten Schaub
2012 A* conf
Stream Reasoning with Answer Set Programming: Preliminary Report.
KR
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
2012 — conf
Unsatisfiability-based optimization in clasp.
ICLP (Technical Communications)
Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub
2012 — conf
aspeed: ASP-based Solver Scheduling.
ICLP (Technical Communications)
Holger H. Hoos, Roland Kaminski, Torsten Schaub, Marius Schneider
2011 B conf
A Portfolio Solver for Answer Set Programming: Preliminary Report.
LPNMR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller
2011 B conf
Advances in
LPNMR
Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub
2011 J jnl
An incremental answer set programming based system for finite model computation.
AI Commun.
Martin Gebser, Orkunt Sabuncu, Torsten Schaub
2011 J jnl
Automatic Network Reconstruction using ASP
CoRR
Max Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan, Annegret K. Wagler
2011 J jnl
Automatic network reconstruction using ASP.
Theory Pract. Log. Program.
Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret K. Wagler
2011 J jnl
Centurio, a General Game Player: Parallel, Java- and ASP-based.
Künstliche Intell.
Maximilian Möller, Marius Schneider, Martin Wegner, Torsten Schaub
2011 — conf
Challenges in Answer Set Solving.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2011 B conf
Cluster-Based ASP Solving with
LPNMR
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor
2011 J jnl
Complex Optimization in Answer Set Programming
CoRR
Martin Gebser, Roland Kaminski, Torsten Schaub
2011 J jnl
Complex optimization in answer set programming.
Theory Pract. Log. Program.
Martin Gebser, Roland Kaminski, Torsten Schaub
2011 J jnl
Detecting inconsistencies in large biological networks with answer set programming.
Theory Pract. Log. Program.
Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber
2011 — conf
Evolution of Ontologies using ASP.
ICLP (Technical Communications)
Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou
2011 A* conf
Finite Model Computation via Answer Set Programming.
IJCAI
Martin Gebser, Orkunt Sabuncu, Torsten Schaub
2011 J jnl
Knowledge-based multi-criteria optimization to support indoor positioning.
Ann. Math. Artif. Intell.
Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani
2011 — conf
Knowledge-intensive Stream Reasoning.
Log-IC@LPNMR
Torsten Schaub
2011 — conf
Multi-Criteria Optimization in Answer Set Programming.
ICLP (Technical Communications)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2011 J jnl
Potassco: The Potsdam Answer Set Solving Collection.
AI Commun.
Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Schneider
2011 B conf
Reactive Answer Set Programming.
LPNMR
Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub
2011 — conf
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
LoCoCo
Martin Gebser, Roland Kaminski, Torsten Schaub
2011 B conf
plasp: A Prototype for PDDL-Based Planning in ASP.
LPNMR
Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub
2010 B conf
An Incremental Answer Set Programming Based System for Finite ModelComputation.
JELIA
Martin Gebser, Orkunt Sabuncu, Torsten Schaub
2010 — conf
Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning.
SUM
Torsten Schaub
2010 B conf
Coala: A Compiler from Action Languages to ASP.
JELIA
Martin Gebser, Torsten Grote, Torsten Schaub
2010 J jnl
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
CoRR
Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber
2010 J jnl
Heuristics in Conflict Resolution
CoRR
Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2010 J jnl
Introduction to the 26th International Conference on Logic Programming Special Issue
CoRR
Manuel V. Hermenegildo, Torsten Schaub
2010 J jnl
Introduction to the 26th international conference on logic programming special issue.
Theory Pract. Log. Program.
Manuel V. Hermenegildo, Torsten Schaub
2010 — conf
Introduction to the Technical Communications of the 26th International Conference on Logic Programming.
ICLP (Technical Communications)
Manuel V. Hermenegildo, Torsten Schaub
2010 — conf
Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning.
RCRA@CPAIOR
Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani
2010 A* conf
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.
KR
Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber
2010 — ed.
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, Edinburgh, Scotland, UK, July 16-19, 2010
ICLP (Technical Communications)
Manuel V. Hermenegildo, Torsten Schaub
2010 J jnl
Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and Datasets.
ERCIM News
Torsten Schaub, Anne Siegel
2010 — conf
The BioASP Library: ASP Solutions for Systems Biology.
ICTAI (1)
Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber
2010 — conf
Titlepage, Table of Contents, Conference Organization.
ICLP (Technical Communications)
Manuel V. Hermenegildo, Torsten Schaub
2009 B conf
A Simple Distributed Conflict-Driven Answer Set Solver.
LPNMR
Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor
2009 J jnl
A general approach to belief change in answer set programming
CoRR
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2009 J jnl
Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs.
Int. J. Reconfigurable Comput.
Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub
2009 B conf
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs.
LPNMR
Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub
2009 B conf
Constraint Answer Set Solving.
ICLP
Martin Gebser, Max Ostrowski, Torsten Schaub
2009 — conf
Experiences Running a Parallel Answer Set Solver on Blue Gene.
PVM/MPI
Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2009 B ed.
Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
LPNMR
Esra Erdem, Fangzhen Lin, Torsten Schaub
2009 B conf
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode.
LPNMR
Torsten Schaub
2009 B conf
Merging Logic Programs under Answer Set Semantics.
ICLP
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2009 B conf
Metabolic Network Expansion with Answer Set Programming.
ICLP
Torsten Schaub, Sven Thiele
2009 J jnl
Monotonic Answer Set Programming.
J. Log. Comput.
Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub
2009 B conf
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.
ICLP
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
2009 B conf
On the Input Language of ASP Grounder Gringo.
LPNMR
Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele
2009 B conf
Solution Enumeration for Projected Boolean Search Problems.
CPAIOR
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2009 B conf
The Conflict-Driven Answer Set Solver clasp: Progress Report.
LPNMR
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2008 A* conf
A Meta-Programming Technique for Debugging Answer-Set Programs.
AAAI
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits
2008 A conf
Advanced Preprocessing for Answer Set Solving.
ECAI
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
2008 — conf
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.
FoIKS
Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran
2008 A* conf
Belief Revision of Logic Programs under Answer Set Semantics.
KR
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2008 A* conf
Conflict-Driven Disjunctive Answer Set Solving.
KR
Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub
2008 B conf
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.
ICLP
Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber
2008 B conf
Engineering an Incremental ASP Solver.
ICLP
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele
2008 B conf
Here's the Beef: Answer Set Programming !
ICLP
Torsten Schaub
2008 Misc conf
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.
FLOPS
Torsten Schaub
2008 J jnl
Modeling Biological Networks by Action Languages via Answer Set Programming.
Constraints An Int. J.
Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig
2008 — conf
The System BioC for Reasoning about Biological Models in Action Language C.
ICTAI (1)
Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber
2007 J jnl
A General Framework for Expressing Preferences in Causal Reasoning and Planning.
J. Log. Comput.
James P. Delgrande, Torsten Schaub, Hans Tompits
2007 B conf
A Preference-Based Framework for Updating Logic Programs.
LPNMR
James P. Delgrande, Torsten Schaub, Hans Tompits
2007 J jnl
A consistency-based framework for merging knowledge bases.
J. Appl. Log.
James P. Delgrande, Torsten Schaub
2007 — conf
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.
CENT
Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran
2007 A* conf
Belief Change Based on Global Minimisation.
IJCAI
James P. Delgrande, Jérôme Lang, Torsten Schaub
2007 C conf
COBA 2.0: A Consistency-Based Belief Change System.
ECSQARU
James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele
2007 B conf
Conflict-Driven Answer Set Enumeration.
LPNMR
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
2007 A* conf
Conflict-Driven Answer Set Solving.
IJCAI
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
2007 B conf
Debugging ASP Programs by Means of ASP.
LPNMR
Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
2007 B conf
Generic Tableaux for Answer Set Programming.
ICLP
Martin Gebser, Torsten Schaub
2007 B conf
GrinGo : A New Grounder for Answer Set Programming.
LPNMR
Martin Gebser, Torsten Schaub, Sven Thiele
2007 C conf
Qualitative Constraint Enforcement in Advanced Policy Specification.
ECSQARU
Alessandra Mileo, Torsten Schaub
2007 B conf
The First Answer Set Programming System Competition.
LPNMR
Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski
2007 — conf
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.
INAP/WLP
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
2006 J jnl
Graphs and colorings for answer set programming.
Theory Pract. Log. Program.
Kathrin Konczak, Thomas Linke, Torsten Schaub
2006 B conf
Modelling Biological Networks by Action Languages Via Answer Set Programming.
ICLP
Susanne Grell, Torsten Schaub, Joachim Selbig
2006 A conf
On Probing and Multi-Threading in Platypus.
ECAI
Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
2006 B conf
Tableau Calculi for Answer Set Programming.
ICLP
Martin Gebser, Torsten Schaub
2006 — conf
Tableaux Calculi for Answer Set Programming.
WLP
Torsten Schaub
2006 A conf
What's a Head Without a Body?
ECAI
Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub
2005 — conf
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Nonmonotonic Reasoning, Answer Set Programming and Constraints
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens
2005 — conf
05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Nonmonotonic Reasoning, Answer Set Programming and Constraints
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski
2005 J jnl
A Glimpse of Answer Set Programming.
Künstliche Intell.
Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub
2005 J jnl
Expressing Default Logic Variants in Default Logic.
J. Log. Comput.
James P. Delgrande, Torsten Schaub
2005 J jnl
Graphs and colorings for answer set programming
CoRR
Kathrin Konczak, Thomas Linke, Torsten Schaub
2005 — ed.
Inconsistency Tolerance [result from a Dagstuhl seminar]
Inconsistency Tolerance
Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub
2005 — conf
Introduction to Inconsistency Tolerance.
Inconsistency Tolerance
Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub
2005 B conf
Loops: Relevant or Redundant?
LPNMR
Martin Gebser, Torsten Schaub
2005 — ed.
Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005
Nonmonotonic Reasoning, Answer Set Programming and Constraints
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski
2005 B conf
Platypus: A Platform for Distributed Answer Set Solving.
LPNMR
Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
2005 — conf
Representing Paraconsistent Reasoning via Quantified Propositional Logic.
Inconsistency Tolerance
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2005 — conf
The nomore++ Approach to Answer Set Solving.
Answer Set Programming
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2005 B conf
The nomore++ Approach to Answer Set Solving.
LPAR
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2005 B conf
The nomore++ System.
LPNMR
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2005 B conf
nomore
LPNMR
Susanne Grell, Kathrin Konczak, Torsten Schaub
2004 — ed.
10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings
NMR
James P. Delgrande, Torsten Schaub
2004 J jnl
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning.
Comput. Intell.
James P. Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang
2004 — conf
Consistency-based approaches to merging knowledge bases: preliminary report.
NMR
James P. Delgrande, Torsten Schaub
2004 A* conf
Domain-Specific Preferences for Causal Reasoning and Planning.
ICAPS
James P. Delgrande, Torsten Schaub, Hans Tompits
2004 A* conf
Domain-Specific Preferences for Causal Reasoning and Planning.
KR
James P. Delgrande, Torsten Schaub, Hans Tompits
2004 B conf
Graphs and Colorings for Answer Set Programming: Abridged Report.
LPNMR
Kathrin Konczak, Thomas Linke, Torsten Schaub
2004 J jnl
On Computing Belief Change Operations using Quantified Boolean Formulas.
J. Log. Comput.
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2004 B conf
Profiling Answer Set Programming: The Visualization Component of the noMoRe System.
JELIA
Andreas Bösel, Thomas Linke, Torsten Schaub
2004 J jnl
Reasoning with Sets of Defaults in Default Logic.
Comput. Intell.
James P. Delgrande, Torsten Schaub
2004 J jnl
Threshold extraction in metabolite concentration data.
Bioinform.
André Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig
2004 B conf
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.
LPNMR
Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski
2004 B conf
Two Approaches to Merging Knowledge Bases.
JELIA
James P. Delgrande, Torsten Schaub
2004 B conf
nlp: A Compiler for Nested Logic Programming.
LPNMR
Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2003 J jnl
A Framework for Compiling Preferences in Logic Programs.
Theory Pract. Log. Program.
James P. Delgrande, Torsten Schaub, Hans Tompits
2003 J jnl
A consistency-based approach for belief change.
Artif. Intell.
James P. Delgrande, Torsten Schaub
2003 J jnl
A semantic framework for preference handling in answer set programming
CoRR
Torsten Schaub, Kewen Wang
2003 J jnl
A semantic framework for preference handling in answer set programming.
Theory Pract. Log. Program.
Torsten Schaub, Kewen Wang
2003 J jnl
Graphs and Colorings for Answer Set Programming with Preferences.
Fundam. Informaticae
Kathrin Konczak, Torsten Schaub, Thomas Linke
2003 — conf
Graphs and coloring for answer set programming: Preliminary Report.
Answer Set Programming
Kathrin Konczak, Torsten Schaub, Thomas Linke
2003 — conf
Graphs and colorings for answer set programming: Abridged Report.
Answer Set Programming
Kathrin Konczak, Torsten Schaub, Thomas Linke
2003 — conf
Lukaszewicz-style Answer Set Programming: A Preliminary Report.
Answer Set Programming
James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub
2003 C conf
On the Relation between Reiter's Default Logic and Its (Major).
ECSQARU
James P. Delgrande, Torsten Schaub
2003 J jnl
Optimality Theory as a Family of Cumulative Logics.
J. Log. Lang. Inf.
Philippe Besnard, Gisbert Fanselow, Torsten Schaub
2003 Misc conf
Optimality Theory through Default Logic.
KI
Philippe Besnard, Robert E. Mercer, Torsten Schaub
2003 C conf
Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.
ECSQARU
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2003 — conf
Threshold extraction in metabolite concentration data.
German Conference on Bioinformatics
André Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig
2002 J jnl
A Framework for Compiling Preferences in Logic Programs
CoRR
James P. Delgrande, Torsten Schaub, Hans Tompits
2002 J jnl
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
CoRR
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 B conf
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.
ICLP
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 — conf
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report.
NMR
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 J jnl
AAAI 2002 Workshops.
AI Mag.
M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat
2002 B conf
COBA: A Consistency-Based Belief Revision System.
JELIA
James P. Delgrande, Aaron Hunter, Torsten Schaub
2002 — conf
Optimality theory through default logic.
NMR
Philippe Besnard, Robert E. Mercer, Torsten Schaub
2002 B conf
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
JELIA
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 — conf
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
Paraconsistent Computational Logic
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 J jnl
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report
CoRR
Torsten Schaub, Kewen Wang
2002 — conf
Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report.
NMR
Torsten Schaub, Kewen Wang
2002 J jnl
Reasoning Credulously and skeptically within a single extension.
J. Appl. Non Class. Logics
James P. Delgrande, Torsten Schaub
2001 A* conf
A Comparative Study of Logic Programs with Preference.
IJCAI
Torsten Schaub, Kewen Wang
2001 — conf
A Comparative Study of Logic Programs with Preference: Preliminary Report.
Answer Set Programming
Torsten Schaub, Kewen Wang
2001 C conf
How to Reason Credulously and Skeptically within a Single Extension.
ECSQARU
James P. Delgrande, Torsten Schaub
2001 C conf
On Computing Solutions to Belief Change Scenarios.
ECSQARU
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2001 C conf
What's Your Preference? And How to Express and Implement It in Logic Programming!
ECSQARU
Torsten Schaub
2001 B conf
plp: A Generic Compiler for Ordered Logic Programs.
LPNMR
James P. Delgrande, Torsten Schaub, Hans Tompits
2000 B conf
A Compilation of Brewka and Eiter's Approach to Prioritization.
JELIA
James P. Delgrande, Torsten Schaub, Hans Tompits
2000 J jnl
A Compiler for Ordered Logic Programs
CoRR
James P. Delgrande, Torsten Schaub, Hans Tompits
2000 — conf
A Connection Calculus for Handling Incomplete Information.
Intellectics and Computational Logic
Stefan Brüning, Torsten Schaub
2000 J jnl
A Consistency-Based Model for Belief Change: Preliminary Report
CoRR
James P. Delgrande, Torsten Schaub
2000 — conf
A Consistency-Based Model for Belief Change: Preliminary Report.
AAAI/IAAI
James P. Delgrande, Torsten Schaub
2000 J jnl
Alternative foundations for Reiter's default logic.
Artif. Intell.
Thomas Linke, Torsten Schaub
2000 J jnl
Expressing preferences in default logic.
Artif. Intell.
James P. Delgrande, Torsten Schaub
2000 J jnl
Logic Programs with Compiled Preferences
CoRR
James P. Delgrande, Torsten Schaub, Hans Tompits
2000 A conf
Logic Programs with Compiled Preferences.
ECAI
James P. Delgrande, Torsten Schaub, Hans Tompits
2000 A* conf
Significant Inferences : Preliminary Report.
KR
Philippe Besnard, Torsten Schaub
2000 J jnl
What is a (non-constructive) non-monotone logical system?
Theor. Comput. Sci.
Philippe Besnard, Torsten Schaub
1999 — conf
Avoiding Non-ground Variables.
ESCQARU
Stefan Brüning, Torsten Schaub
1999 B conf
Default Reasoning via Blocking Sets.
LPNMR
Thomas Linke, Torsten Schaub
1999 — conf
On Bottom-Up Pre-processing Techniques for Automated Default Reasoning.
ESCQARU
Thomas Linke, Torsten Schaub
1999 — conf
Query-Answering in Prioritized Default Logic.
ESCQARU
Farid Benhammadi, Pascal Nicolas, Torsten Schaub
1998 B conf
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.
JELIA
Thomas Linke, Torsten Schaub
1998 Misc conf
Extension Calculus and Query Answering in Prioritized Default Logic.
AIMSA
Farid Benhammadi, Pascal Nicolas, Torsten Schaub
1998 J jnl
Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques.
Artif. Intell.
Torsten Schaub, Stefan Brüning
1998 B conf
Reasoning with Sets of Preferences in Default Logic.
PRICAI
James P. Delgrande, Torsten Schaub
1998 J jnl
Signed Systems for Paraconsistent Reasoning.
J. Autom. Reason.
Philippe Besnard, Torsten Schaub
1998 — book
The Automation of Reasoning with Incomplete Information, From Semantic Foundations to Efficient Computation.
Torsten Schaub
1998 — conf
The XRay system: An implementation platform for local query-answering in default logics.
Applications of Uncertainty Formalisms
Pascal Nicolas, Torsten Schaub
1997 C conf
An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings.
ISMIS
Torsten Schaub, Pascal Nicolas
1997 B conf
An Implementation Platform for Query-Answering: X-RAY.
LPNMR
Torsten Schaub, Pascal Nicolas
1997 — conf
Circumscribing Inconsistency.
IJCAI (1)
Philippe Besnard, Torsten Schaub
1997 — conf
Compiling Reasoning with and about Preferences into Default Logic.
IJCAI (1)
James P. Delgrande, Torsten Schaub
1997 J jnl
Compiling Specificity Into Approaches to Nonmonotonic Reasoning.
Artif. Intell.
James P. Delgrande, Torsten Schaub
1997 J jnl
Towards a classification of Default Logics.
J. Appl. Non Class. Logics
Thomas Linke, Torsten Schaub
1996 C conf
A Model-Based Approach to Consistency-Checking.
ISMIS
Stefan Brüning, Torsten Schaub
1996 B conf
A Simple Signed System for Paraconsistent Reasoning.
JELIA
Philippe Besnard, Torsten Schaub
1996 A conf
Prolog Technology for Default Reasoning (An Abridged Report).
ECAI
Torsten Schaub, Stefan Brüning
1996 Misc conf
Putting Default Logics in Perspective.
KI
Thomas Linke, Torsten Schaub
1996 — conf
Skeptical Query-Answering in Constrained Default Logic.
FAPR
Torsten Schaub, Michael Thielscher
1996 A conf
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.
CADE
Torsten Schaub, Stefan Brüning, Pascal Nicolas
1995 J jnl
A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving.
J. Autom. Reason.
Torsten Schaub
1995 J jnl
An Approach to Context-Based Default Reasoning.
Fundam. Informaticae
Philippe Besnard, Torsten Schaub
1995 J jnl
Default Reasoning by Deductive Planning.
J. Autom. Reason.
Michael Thielscher, Torsten Schaub
1995 J jnl
Ist die Wissensrepräsentation tot?
Künstliche Intell.
Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe
1995 C conf
Lemma Handling in Default Logic Theorem Provers.
ECSQARU
Thomas Linke, Torsten Schaub
1994 A* conf
A General Approach to Specificity in Default Reasoning.
KR
James P. Delgrande, Torsten Schaub
1994 J jnl
Alternative Approaches to Default Logic.
Artif. Intell.
James P. Delgrande, Torsten Schaub, W. Ken Jackson
1994 C conf
Computing Queries from Prioritized Default Theories.
ISMIS
Torsten Schaub
1994 Misc conf
Incorporating Specificity into Circumscriptive Theories.
KI
James P. Delgrande, Torsten Schaub
1994 J jnl
Possible Worlds Semantics for Default Logics.
Fundam. Informaticae
Philippe Besnard, Torsten Schaub
1994 C conf
Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report.
IPMU
Stefan Brüning, Torsten Schaub
1993 A* conf
A Context-Based Framework for Default Logics.
AAAI
Philippe Besnard, Torsten Schaub
1993 A* conf
Minimal Belief and Negation as Failure: A Feasible Approach.
AAAI
Antje Beringer, Torsten Schaub
1993 C conf
Variations of Constrained Default Logic.
ECSQARU
Torsten Schaub
1993 — book
Wissensrepräsentation und Inferenz - eine grundlegende Einführung.
Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub
1992 — —
Considerations on default logics.
Torsten Schaub
1992 A conf
On Constrained Default Theories.
ECAI
Torsten Schaub
1991 A* conf
Assertional Default Theories: A Semantical View.
KR
Torsten Schaub
1991 C conf
On Commitment and Cumulativity in Default Logics.
ECSQARU
Torsten Schaub