default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTorsten Schaub
Person information
- affiliation: University of Potsdam, Germany
SPARQL queries 
🛈 Please note that only 68% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j99]Luise Müller
, Philipp Wanko, Christian Haubelt, Torsten Schaub:
Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design. Int. J. Parallel Program. 52(1-2): 59-92 (2024)- [j98]Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Metric Temporal Equilibrium Logic over Timed Traces. Theory Pract. Log. Program. 24(3): 425-452 (2024) - [j97]Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann:
Clingraph: A System for ASP-based Visualization. Theory Pract. Log. Program. 24(3): 533-559 (2024) - [j96]Masato Kato, Mutsunori Banbara, Torsten Schaub, Takehide Soh, Naoyuki Tamura:
Dominating Set Reconfiguration with Answer Set Programming. Theory Pract. Log. Program. 24(4): 755-771 (2024) - [j95]Susana Hahn, Torsten Schaub, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Sebastian Schellhorn:
Reasoning About Study Regulations in Answer Set Programming. Theory Pract. Log. Program. 24(4): 790-804 (2024) - [c231]Jirí Svancara, Dor Atzmon, Klaus Strauch, Roland Kaminski, Torsten Schaub:
Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends. ICAART (3) 2024: 23-33 - [c230]Roland Kaminski, Torsten Schaub, Klaus Strauch, Jirí Svancara:
Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers. ICAART (1) 2024: 264-271 - [c229]Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara:
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. KR 2024 - [c228]Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub:
Compiling Metric Temporal Answer Set Programming. LPNMR 2024: 15-29 - [c227]Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara:
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. LPNMR 2024: 57-70 - [c226]Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko:
Towards Industrial-Scale Product Configuration. LPNMR 2024: 71-84 - [c225]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub, Igor Stéphan:
A Fixpoint Characterisation of Temporal Equilibrium Logic. LPNMR 2024: 304-316 - [c224]Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara:
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. WALCOM 2024: 242-256 - [i67]Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann:
Metric Dynamic Equilibrium Logic. CoRR abs/2401.10781 (2024) - [i66]Javier Romero, Torsten Schaub, Klaus Strauch:
On the generalization of learned constraints for ASP solving in temporal domains. CoRR abs/2401.16124 (2024) - [i65]Roland Kaminski, Torsten Schaub, Tran Cao Son, Jirí Svancara, Philipp Wanko:
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report. CoRR abs/2403.12153 (2024) - [i64]Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara:
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR abs/2405.11305 (2024) - [i63]Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn:
Reasoning about Study Regulations in Answer Set Programming. CoRR abs/2408.04528 (2024) - [i62]Masato Kato, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara:
Dominating Set Reconfiguration with Answer Set Programming. CoRR abs/2408.07510 (2024) - 2023
- [j94]Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub:
A general framework for preferences in answer set programming. Artif. Intell. 325: 104023 (2023) - [j93]Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko:
Evolutionary System Design with Answer Set Programming. Algorithms 16(4): 179 (2023) - [j92]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms 16(4): 185 (2023) - [j91]David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu, Tran Cao Son:
Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. Algorithms 16(4): 216 (2023) - [j90]Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann:
Metric dynamic equilibrium logic. J. Appl. Non Class. Logics 33(3-4): 495-519 (2023) - [j89]Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal:
Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program. 23(1): 2-56 (2023) - [j88]Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. Theory Pract. Log. Program. 23(1): 226-298 (2023) - [j87]Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko:
How to Build Your Own ASP-based System?! Theory Pract. Log. Program. 23(1): 299-361 (2023) - [j86]Roland Kaminski, Torsten Schaub:
On the Foundations of Grounding in Answer Set Programming. Theory Pract. Log. Program. 23(6): 1138-1197 (2023) - [c223]Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub:
Answer Set Programming Made Easy. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 133-150 - [c222]Nicolas Rühling, Torsten Schaub, Tobias Stolzmann:
Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report. ConfWS 2023: 85-94 - [c221]Richard Comploi-Taupe, Andreas A. Falkner, Susana Hahn, Torsten Schaub, Gottfried Schenner:
Interactive Configuration with ASP Multi-Shot Solving. ConfWS 2023: 95-103 - [c220]Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub:
Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? ICAART (1) 2023: 199-206 - [c219]Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko:
Routing and Scheduling in different ways: Abridged Preliminary Report. ICLP Workshops 2023 - [c218]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub:
Past-present temporal programs over finite traces: a preliminary report. ICLP Workshops 2023 - [c217]Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn:
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). ICLP Workshops 2023 - [c216]Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura:
Hamiltonian Cycle Reconfiguration with Answer Set Programming. JELIA 2023: 262-277 - [c215]Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub:
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA 2023: 278-286 - [c214]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub:
Past-Present Temporal Programs over Finite Traces. JELIA 2023: 787-795 - [c213]Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub:
Solving Vehicle Equipment Specification Problems with Answer Set Programming. PADL 2023: 232-249 - [c212]Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski:
Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. SOCS 2023: 185-186 - [i61]Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann:
Clingraph: A System for ASP-based Visualization. CoRR abs/2303.10118 (2023) - [i60]Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Metric Temporal Equilibrium Logic over Timed Traces. CoRR abs/2304.14778 (2023) - [i59]Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub:
Bounded Combinatorial Reconfiguration with Answer Set Programming. CoRR abs/2307.10688 (2023) - [i58]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub:
Past-present temporal programs over finite traces. CoRR abs/2307.12620 (2023) - 2022
- [c211]Matej Husár, Jirí Svancara, Philipp Obermeier, Roman Barták, Torsten Schaub:
Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning. AAMAS 2022: 624-632 - [c210]Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub:
Conflict Handling in Product Configuration using Answer Set Programming. ICLP Workshops 2022 - [c209]Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Metric Temporal Answer Set Programming over Timed Traces. LPNMR 2022: 117-130 - [c208]Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann:
Clingraph: ASP-Based Visualization. LPNMR 2022: 401-414 - [c207]Javier Romero, Torsten Schaub, Klaus Strauch:
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains. RuleML+RR 2022: 20-37 - [c206]Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub:
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN . RuleML+RR 2022: 54-62 - [c205]Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub:
Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). SOCS 2022: 320-322 - [i57]Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. CoRR abs/2202.05793 (2022) - [i56]Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub:
plingo: A system for probabilistic reasoning in clingo based on lpmln. CoRR abs/2206.11515 (2022) - 2021
- [j85]Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko:
Train Scheduling with Hybrid Answer Set Programming. Theory Pract. Log. Program. 21(3): 317-347 (2021) - [j84]Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son:
Planning with Incomplete Information in Quantified Answer Set Programming. Theory Pract. Log. Program. 21(5): 663-679 (2021) - [c204]Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub:
Automata for Dynamic Answer Set Solving: Preliminary Report. ICLP Workshops 2021 - [i55]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
Towards a Semantics for Hybrid ASP systems. CoRR abs/2108.03061 (2021) - [i54]Roland Kaminski, Torsten Schaub:
On the Foundations of Grounding in Answer Set Programming. CoRR abs/2108.04769 (2021) - [i53]Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son:
Planning with Incomplete Information in Quantified Answer Set Programming. CoRR abs/2108.06405 (2021) - [i52]Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub:
Automata for dynamic answer set solving: Preliminary report. CoRR abs/2109.01782 (2021) - [i51]Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub:
Answer Set Programming Made Easy. CoRR abs/2111.06366 (2021) - 2020
- [j83]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020) - [j82]Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Tight Logic Programs with anthem and vampire. Theory Pract. Log. Program. 20(5): 735-750 (2020) - [j81]Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program. 20(5): 783-798 (2020) - [j80]Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub:
eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program. 20(6): 834-847 (2020) - [c203]Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Towards Verifying Logic Programs in the Input Language of clingo. Fields of Logic and Computation III 2020: 190-209 - [c202]Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière:
Implementing Dynamic Answer Set Programming over Finite Traces. ECAI 2020: 656-663 - [c201]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI 2020: 664-671 - [c200]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR 2020: 193-202 - [i50]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
An ASP semantics for Constraints involving Conditional Aggregates. CoRR abs/2002.06911 (2020) - [i49]Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière:
Implementing Dynamic Answer Set Programming. CoRR abs/2002.06916 (2020) - [i48]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. CoRR abs/2003.04176 (2020) - [i47]Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko:
Train Scheduling with Hybrid Answer Set Programming. CoRR abs/2003.08598 (2020) - [i46]Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub:
eclingo: A solver for Epistemic Logic Programs. CoRR abs/2008.02018 (2020) - [i45]Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Tight Logic Programs with anthem and Vampire. CoRR abs/2008.02025 (2020) - [i44]Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Towards Metric Temporal Answer Set Programming. CoRR abs/2008.02038 (2020) - [i43]Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko:
How to build your own ASP-based system?! CoRR abs/2008.06692 (2020) - [i42]Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal:
Temporal Answer Set Programming. CoRR abs/2009.06544 (2020)
2010 – 2019
- 2019
- [j79]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. 274: 26-43 (2019) - [j78]Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko:
teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Ann. Oper. Res. 275(1): 3-37 (2019) - [j77]Philipp Obermeier, Javier Romero, Torsten Schaub:
Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report. Open J. Databases 6(1): 33-38 (2019) - [j76]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Multi-shot ASP solving with clingo. Theory Pract. Log. Program. 19(1): 27-82 (2019) - [j75]Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko:
Hybrid metabolic network completion. Theory Pract. Log. Program. 19(1): 83-108 (2019) - [j74]Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. Theory Pract. Log. Program. 19(3): 477-504 (2019) - [c199]Pedro Cabalar, Torsten Schaub:
Temporal Logic Programs with Temporal Description Logic Axioms. Description Logic, Theory Combination, and All That 2019: 174-186 - [c198]Pedro Cabalar, Torsten Schaub:
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Datalog 2019: 3-6 - [c197]Mario Alviano, Javier Romero, Torsten Schaub:
On the Integration of CP-nets in ASPRIN. IJCAI 2019: 1495-1501 - [c196]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
Lower Bound Founded Logic of Here-and-There. JELIA 2019: 509-525 - [c195]Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko:
Train Scheduling with Hybrid ASP. LPNMR 2019: 3-17 - [c194]Pedro Cabalar, Martín Diéguez, Torsten Schaub:
Towards Dynamic Answer Set Programming over Finite Traces. LPNMR 2019: 148-162 - [c193]Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub:
telingo = ASP + Time. LPNMR 2019: 256-269 - [c192]Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
Verifying Strong Equivalence of Programs in the Input Language of gringo. LPNMR 2019: 270-283 - [c191]Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub:
The Return of xorro. LPNMR 2019: 284-297 - [c190]Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. SOCS 2019: 194-195 - [i41]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. CoRR abs/1911.04326 (2019) - 2018
- [j73]Christophe Bobda, Franck Yonga, Martin Gebser, Harold Ishebabi, Torsten Schaub:
High-level synthesis of on-chip multiprocessor architectures based on answer set programming. J. Parallel Distributed Comput. 117: 161-179 (2018) - [j72]Torsten Schaub, Stefan Woltran:
Special Issue on Answer Set Programming. Künstliche Intell. 32(2-3): 101-103 (2018) - [j71]Torsten Schaub, Stefan Woltran:
Answer set programming unleashed! Künstliche Intell. 32(2-3): 105-108 (2018) - [j70]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko:
The Potsdam Answer Set Solving Collection 5.0. Künstliche Intell. 32(2-3): 181-182 (2018) - [j69]Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck:
Advanced Solving Technology for Dynamic and Reactive Applications. Künstliche Intell. 32(2-3): 199-200 (2018) - [j68]Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko:
Design Space Exploration with Answer Set Programming. Künstliche Intell. 32(2-3): 205-206 (2018) - [j67]Vladimir Lifschitz, Torsten Schaub, Stefan Woltran:
Interview with Vladimir Lifschitz. Künstliche Intell. 32(2-3): 213-218 (2018) - [j66]Gerhard Brewka, Torsten Schaub, Stefan Woltran:
Interview with Gerhard Brewka. Künstliche Intell. 32(2-3): 219-221 (2018) - [j65]Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann:
Temporal Answer Set Programming on Finite Traces. Theory Pract. Log. Program. 18(3-4): 406-420 (2018) - [j64]Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son:
Experimenting with robotic intra-logistics domains. Theory Pract. Log. Program. 18(3-4): 502-519 (2018) - [j63]Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge:
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Theory Pract. Log. Program. 18(3-4): 520-534 (2018) - [c189]Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub:
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS 2018: 509-517 - [c188]Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. ASP-DAC 2018: 434-439 - [c187]Misbah Razzaq, Roland Kaminski, Javier Romero, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski:
Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. CMSB 2018: 59-74 - [c186]Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
On leveraging approximations for exact system-level design space exploration: work-in-progress. CODES+ISSS 2018: 15 - [c185]Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Exact multi-objective design space exploration using ASPmT. DATE 2018: 257-260 - [c184]Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub:
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018: 5450-5456 - [c183]Mario Alviano, Javier Romero, Torsten Schaub:
Preference Relations by Approximation. KR 2018: 2-11 - [c182]Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub:
Introducing Temporal Stable Models for Linear Dynamic Logic. KR 2018: 12-21 - [c181]Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. MBMV 2018 - [i40]Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann:
Temporal Answer Set Programming on Finite Traces. CoRR abs/1804.10227 (2018) - [i39]Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son:
Experimenting with robotic intra-logistics domains. CoRR abs/1804.10247 (2018) - [i38]Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub:
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. CoRR abs/1804.10437 (2018) - [i37]Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko:
Hybrid Metabolic Network Completion. CoRR abs/1808.04149 (2018) - [i36]Vladimir Lifschitz, Patrick Lühne, Torsten Schaub:
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). CoRR abs/1810.00453 (2018) - [i35]Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. CoRR abs/1812.04491 (2018) - 2017
- [j62]Marius Lindauer, Holger H. Hoos, Kevin Leyton-Brown, Torsten Schaub:
Automatic construction of parallel portfolios via algorithm configuration. Artif. Intell. 244: 272-290 (2017) - [j61]Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub:
Clingcon: The next generation. Theory Pract. Log. Program. 17(4): 408-461 (2017) - [j60]Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub:
Clingo goes linear constraints over reals and integers. Theory Pract. Log. Program. 17(5-6): 872-888 (2017) - [c180]Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. DATE 2017: 306-309 - [c179]Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. IJCAI 2017: 1216-1223 - [c178]Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub:
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). IJCAI 2017: 5025-5029 - [c177]Javier Romero, Torsten Schaub, Tran Cao Son:
Generalized Answer Set Planning with Incomplete Information. ASPOCP@LPNMR 2017 - [c176]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
Gelfond-Zhang Aggregates as Propositional Formulas. LPNMR 2017: 117-131 - [c175]Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura:
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. LPNMR 2017: 265-278 - [c174]Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub:
plasp 3: Towards Effective ASP Planning. LPNMR 2017: 286-300 - [c173]Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko:
Hybrid Metabolic Network Completion. LPNMR 2017: 308-321 - [c172]Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko:
clingo goes Linear Constraints over Reals and Integers. ASPOCP@LPNMR 2017 - [c171]Roland Kaminski, Torsten Schaub, Philipp Wanko:
A Tutorial on Hybrid Answer Set Solving with clingo. RW 2017: 167-203 - [i34]Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub:
Clingcon: The Next Generation. CoRR abs/1705.04569 (2017) - [i33]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Multi-shot ASP solving with clingo. CoRR abs/1705.09811 (2017) - [i32]Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko:
Clingo goes Linear Constraints over Reals and Integers. CoRR abs/1707.04053 (2017) - [i31]Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub:
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. CoRR abs/1711.05090 (2017) - 2016
- [j59]Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub:
Grounding and Solving in Answer Set Programming. AI Mag. 37(3): 25-32 (2016) - [j58]Martin Gebser, Torsten Schaub:
Modeling and Language Extensions. AI Mag. 37(3): 33-44 (2016) - [j57]Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski:
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. Biosyst. 149: 139-153 (2016) - [j56]Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran:
Shift Design with Answer Set Programming. Fundam. Informaticae 147(1): 1-25 (2016) - [j55]Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub:
Answer Set Programming Modulo Acyclicity. Fundam. Informaticae 147(1): 63-91 (2016) - [c170]Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh:
Solving Goal Recognition Design Using ASP. AAAI 2016: 3181-3187 - [c169]Paul Vicol, James P. Delgrande, Torsten Schaub:
A Minimization-Based Approach to Iterated Multi-Agent Belief Change. ECAI 2016: 1221-1229 - [c168]Thomas Guyet, Yves Moinard, Rene Quiniou, Torsten Schaub:
Fouille de motifs séquentiels avec ASP. EGC 2016: 39-50 - [c167]Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub:
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. EGC (best of volume) 2016: 41-81 - [c166]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko:
Theory Solving Made Easy with Clingo 5. ICLP (Technical Communications) 2016: 2:1-2:15 - [c165]Javier Romero, Torsten Schaub, Philipp Wanko:
Computing Diverse Optimal Stable Models. ICLP (Technical Communications) 2016: 3:1-3:14 - [c164]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub:
Answer Set Solving with Generalized Learned Constraints. ICLP (Technical Communications) 2016: 9:1-9:15 - [c163]Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran:
ASP for Anytime Dynamic Programming on Tree Decompositions. IJCAI 2016: 979-986 - [c162]Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub:
An ASP Semantics for Default Reasoning with Constraints. IJCAI 2016: 1015-1021 - [c161]Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub:
Knowledge-Based Sequence Mining with ASP. IJCAI 2016: 1497-1504 - [c160]Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi:
Writing Declarative Specifications for Clauses. JELIA 2016: 256-271 - [i30]Martin Gebser, Roland Kaminski, Torsten Schaub:
Grounding Recursive Aggregates: Preliminary Report. CoRR abs/1603.03884 (2016) - [i29]Orkunt Sabuncu, Torsten Schaub, Christian Schulz-Hanke:
Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective. CoRR abs/1611.06413 (2016) - 2015
- [j54]Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub:
AutoFolio: An Automatically Configured Algorithm Selector. J. Artif. Intell. Res. 53: 745-778 (2015) - [j53]Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez, Torsten Schaub, Anne Siegel:
Learning Boolean logic models of signaling networks with ASP. Theor. Comput. Sci. 599: 79-101 (2015) - [j52]Holger H. Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub:
aspeed: Solver scheduling via answer set programming. Theory Pract. Log. Program. 15(1): 117-142 (2015) - [j51]Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub:
Abstract gringo. Theory Pract. Log. Program. 15(4-5): 449-463 (2015) - [c159]Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub:
asprin: Customizing Answer Set Preferences without a Headache. AAAI 2015: 1467-1474 - [c158]Marijn Heule, Torsten Schaub:
What's Hot in the SAT and ASP Competitions. AAAI 2015: 4322-4323 - [c157]Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub:
AutoFolio: Algorithm Configuration for Algorithm Selection. AAAI Workshop: Algorithm Configuration 2015 - [c156]Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub:
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 17-32 - [c155]Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski:
Boolean Network Identification from Multiplex Time Series Data. CMSB 2015: 170-181 - [c154]Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt:
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. DATE 2015: 357-362 - [c153]Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran:
Shift Design with Answer Set Programming. LPNMR 2015: 32-39 - [c152]Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub:
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. LPNMR 2015: 55-68 - [c151]Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub:
Integrating ASP into ROS for Reasoning in Robots. LPNMR 2015: 69-82 - [c150]Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise:
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. LPNMR 2015: 112-126 - [c149]Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub:
Answer Set Programming Modulo Acyclicity. LPNMR 2015: 143-150 - [c148]Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub:
Implementing Preferences with asprin. LPNMR 2015: 158-172 - [c147]Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub:
ASP Solving for Expanding Universes. LPNMR 2015: 354-367 - [c146]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub:
Progress in clasp Series 3. LPNMR 2015: 368-383 - [c145]Paul Vicol, James P. Delgrande, Torsten Schaub:
An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. LPNMR 2015: 480-487 - [i28]Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub:
Abstract Gringo. CoRR abs/1507.06576 (2015) - [i27]Martin Gebser, Philipp Obermeier, Torsten Schaub:
Interactive Answer Set Programming - Preliminary Report. CoRR abs/1511.01261 (2015) - 2014
- [j50]Holger H. Hoos, Marius Lindauer, Torsten Schaub:
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. Theory Pract. Log. Program. 14(4-5): 569-585 (2014) - [e6]Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan:
ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Frontiers in Artificial Intelligence and Applications 263, IOS Press 2014, ISBN 978-1-61499-418-3 [contents] - [i26]Holger H. Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub:
Solver Scheduling via Answer Set Programming. CoRR abs/1401.1024 (2014) - [i25]Holger H. Hoos, Marius Lindauer, Torsten Schaub:
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. CoRR abs/1405.1520 (2014) - [i24]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Clingo = ASP + Control: Preliminary Report. CoRR abs/1405.3694 (2014) - 2013
- [j49]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
A Model-Theoretic Approach to Belief Change in Answer Set Programming. ACM Trans. Comput. Log. 14(2): 14:1-14:46 (2013) - [j48]Martin Gebser, Torsten Schaub:
Tableau Calculi for Logic Programs under Answer Set Semantics. ACM Trans. Comput. Log. 14(2): 15:1-15:40 (2013) - [j47]Roland Kaminski, Torsten Schaub, Anne Siegel, Santiago Videla:
Minimal intervention strategies in logical signaling networks with ASP. Theory Pract. Log. Program. 13(4-5): 675-690 (2013) - [j46]Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub:
Answer set programming as a modeling language for course timetabling. Theory Pract. Log. Program. 13(4-5): 783-798 (2013) - [j45]Arne König, Torsten Schaub:
Monitoring and Visualizing Answer Set Solving. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c144]Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko:
Domain-Specific Heuristics in Answer Set Programming. AAAI 2013: 350-356 - [c143]Torsten Schaub:
Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. CP 2013: 3-4 - [c142]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:
Fostering Social Interaction of Home-Bound Elderly People: The EasyReach System. IEA/AIE 2013: 33-42 - [c141]Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Advanced Conflict-Driven Disjunctive Answer Set Solving. IJCAI 2013: 912-918 - [c140]Holger H. Hoos, Benjamin Kaufmann, Torsten Schaub, Marius Schneider:
Robust Benchmark Set Selection for Boolean Constraint Solvers. LION 2013: 138-152 - [c139]Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß:
Symbolic System Synthesis Using Answer Set Programming. LPNMR 2013: 79-91 - [c138]Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub:
Accurate Computation of Sensitizable Paths Using Answer Set Programming. LPNMR 2013: 92-101 - [c137]Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele:
Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming. LPNMR 2013: 245-256 - [c136]Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub:
Matchmaking with Answer Set Programming. LPNMR 2013: 342-347 - [c135]Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider:
Ricochet Robots: A Transverse ASP Benchmark. LPNMR 2013: 348-360 - [c134]Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß:
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. MBMV 2013: 35-46 - [i23]Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub:
Answer Set Programming for Stream Reasoning. CoRR abs/1301.1392 (2013) - [i22]Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, David Rajaratnam:
ROSoClingo: A ROS package for ASP-based robot control. CoRR abs/1307.7398 (2013) - [i21]Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise:
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR abs/1312.6113 (2013) - [i20]Martin Gebser, Philipp Obermeier, Torsten Schaub:
A System for Interactive Query Answering with Answer Set Programming. CoRR abs/1312.6143 (2013) - 2012
- [b4]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2012, ISBN 978-3-031-00433-9 - [j44]Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Conflict-driven answer set solving: From theory to practice. Artif. Intell. 187: 52-89 (2012) - [j43]Torsten Schaub:
Préface. Rev. d'Intelligence Artif. 26(1-2): 7 (2012) - [j42]Max Ostrowski, Torsten Schaub:
ASP modulo CSP: The clingcon system. Theory Pract. Log. Program. 12(4-5): 485-503 (2012) - [j41]Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Multi-threaded ASP solving with clasp. Theory Pract. Log. Program. 12(4-5): 525-545 (2012) - [c133]Martin Gebser, Roland Kaufmann, Torsten Schaub:
Gearing Up for Effective ASP Planning. Correct Reasoning 2012: 296-310 - [c132]Torsten Schaub:
Answer Set Programming. FMCAD 2012: 2 - [c131]Holger H. Hoos, Roland Kaminski, Torsten Schaub, Marius Schneider:
aspeed: ASP-based Solver Scheduling. ICLP (Technical Communications) 2012: 176-187 - [c130]Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub:
Unsatisfiability-based optimization in clasp. ICLP (Technical Communications) 2012: 211-221 - [c129]Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub:
Stream Reasoning with Answer Set Programming: Preliminary Report. KR 2012 - [i19]Max Ostrowski, Torsten Schaub:
ASP modulo CSP: The clingcon system. CoRR abs/1210.2287 (2012) - [i18]Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Multi-threaded ASP Solving with clasp. CoRR abs/1210.3265 (2012) - 2011
- [j40]Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Schneider:
Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24(2): 107-124 (2011) - [j39]Martin Gebser, Orkunt Sabuncu, Torsten Schaub:
An incremental answer set programming based system for finite model computation. AI Commun. 24(2): 195-212 (2011) - [j38]Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani:
Knowledge-based multi-criteria optimization to support indoor positioning. Ann. Math. Artif. Intell. 62(3-4): 345-370 (2011) - [j37]Maximilian Möller, Marius Schneider, Martin Wegner, Torsten Schaub:
Centurio, a General Game Player: Parallel, Java- and ASP-based. Künstliche Intell. 25(1): 17-24 (2011) - [j36]Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber:
Detecting inconsistencies in large biological networks with answer set programming. Theory Pract. Log. Program. 11(2-3): 323-360 (2011) - [j35]Markus Durzinsky, Wolfgang Marwan, Max Ostrowski, Torsten Schaub, Annegret Wagler:
Automatic network reconstruction using ASP. Theory Pract. Log. Program. 11(4-5): 749-766 (2011) - [j34]Martin Gebser, Roland Kaminski, Torsten Schaub:
Complex optimization in answer set programming. Theory Pract. Log. Program. 11(4-5): 821-839 (2011) - [c128]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 74-90 - [c127]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Multi-Criteria Optimization in Answer Set Programming. ICLP (Technical Communications) 2011: 1-10 - [c126]Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou:
Evolution of Ontologies using ASP. ICLP (Technical Communications) 2011: 16-27 - [c125]Martin Gebser, Orkunt Sabuncu, Torsten Schaub:
Finite Model Computation via Answer Set Programming. IJCAI 2011: 2626-2631 - [c124]Torsten Schaub:
Knowledge-intensive Stream Reasoning. Log-IC@LPNMR 2011: 7 - [c123]Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub:
Reactive Answer Set Programming. LPNMR 2011: 54-66 - [c122]Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub:
Advances in gringo Series 3. LPNMR 2011: 345-351 - [c121]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller:
A Portfolio Solver for Answer Set Programming: Preliminary Report. LPNMR 2011: 352-357 - [c120]Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub:
plasp: A Prototype for PDDL-Based Planning in ASP. LPNMR 2011: 358-363 - [c119]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor:
Cluster-Based ASP Solving with claspar. LPNMR 2011: 364-369 - [c118]Martin Gebser, Roland Kaminski, Torsten Schaub:
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming. LoCoCo 2011: 12-25 - [i17]Max Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan, Annegret Wagler:
Automatic Network Reconstruction using ASP. CoRR abs/1107.5671 (2011) - [i16]Martin Gebser, Roland Kaminski, Torsten Schaub:
Complex Optimization in Answer Set Programming. CoRR abs/1107.5742 (2011) - 2010
- [j33]Manuel V. Hermenegildo, Torsten Schaub:
Introduction to the 26th international conference on logic programming special issue. Theory Pract. Log. Program. 10(4-6): 361-364 (2010) - [c117]Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani:
Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning. RCRA@CPAIOR 2010 - [c116]Manuel V. Hermenegildo, Torsten Schaub:
Titlepage, Table of Contents, Conference Organization. ICLP (Technical Communications) 2010 - [c115]Manuel V. Hermenegildo, Torsten Schaub:
Introduction to the Technical Communications of the 26th International Conference on Logic Programming. ICLP (Technical Communications) 2010 - [c114]Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber:
The BioASP Library: ASP Solutions for Systems Biology. ICTAI (1) 2010: 383-389 - [c113]Martin Gebser, Orkunt Sabuncu, Torsten Schaub:
An Incremental Answer Set Programming Based System for Finite ModelComputation. JELIA 2010: 169-181 - [c112]Martin Gebser, Torsten Grote, Torsten Schaub:
Coala: A Compiler from Action Languages to ASP. JELIA 2010: 360-364 - [c111]Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber:
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. KR 2010 - [c110]Torsten Schaub:
Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning. SUM 2010: 2 - [e5]Manuel V. Hermenegildo, Torsten Schaub:
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. LIPIcs 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2010, ISBN 978-3-939897-17-0 [contents] - [i15]Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Heuristics in Conflict Resolution. CoRR abs/1005.1716 (2010) - [i14]Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber:
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. CoRR abs/1007.0134 (2010) - [i13]Manuel V. Hermenegildo, Torsten Schaub:
Introduction to the 26th International Conference on Logic Programming Special Issue. CoRR abs/1008.1710 (2010) - [i12]Torsten Schaub, Anne Siegel:
Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and Datasets. ERCIM News 2010(82): 30 (2010)
2000 – 2009
- 2009
- [j32]Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub:
Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. Int. J. Reconfigurable Comput. 2009: 863630:1-863630:11 (2009) - [j31]Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub:
Monotonic Answer Set Programming. J. Log. Comput. 19(4): 539-564 (2009) - [c109]Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009: 71-86 - [c108]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
Merging Logic Programs under Answer Set Semantics. ICLP 2009: 160-174 - [c107]Martin Gebser, Max Ostrowski, Torsten Schaub:
Constraint Answer Set Solving. ICLP 2009: 235-249 - [c106]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009: 250-264 - [c105]Torsten Schaub, Sven Thiele:
Metabolic Network Expansion with Answer Set Programming. ICLP 2009: 312-326 - [c104]Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor:
A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR 2009: 490-495 - [c103]Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele:
On the Input Language of ASP Grounder Gringo. LPNMR 2009: 502-508 - [c102]Martin Gebser, Benjamin Kaufmann, Torsten Schaub:
The Conflict-Driven Answer Set Solver clasp: Progress Report. LPNMR 2009: 509-514 - [c101]Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub:
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. LPNMR 2009: 598-603 - [c100]Torsten Schaub:
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode. LPNMR 2009: 631-633 - [c99]Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Experiences Running a Parallel Answer Set Solver on Blue Gene. PVM/MPI 2009: 64-72 - [e4]Esra Erdem, Fangzhen Lin, Torsten Schaub:
Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Lecture Notes in Computer Science 5753, Springer 2009, ISBN 978-3-642-04237-9 [contents] - [i11]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
A general approach to belief change in answer set programming. CoRR abs/0912.5511 (2009) - 2008
- [j30]Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig:
Modeling Biological Networks by Action Languages via Answer Set Programming. Constraints An Int. J. 13(1-2): 21-65 (2008) - [c98]Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits:
A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008: 448-453 - [c97]Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
Advanced Preprocessing for Answer Set Solving. ECAI 2008: 15-19 - [c96]Torsten Schaub:
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. FLOPS 2008: 1-2 - [c95]Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran:
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. FoIKS 2008: 24-41 - [c94]Torsten Schaub:
Here's the Beef: Answer Set Programming ! ICLP 2008: 93-98 - [c93]Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber:
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008: 130-144 - [c92]Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele:
Engineering an Incremental ASP Solver. ICLP 2008: 190-205 - [c91]Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber:
The System BioC for Reasoning about Biological Models in Action Language C. ICTAI (1) 2008: 11-18 - [c90]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
Belief Revision of Logic Programs under Answer Set Semantics. KR 2008: 411-421 - [c89]Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub:
Conflict-Driven Disjunctive Answer Set Solving. KR 2008: 422-432 - 2007
- [j29]James P. Delgrande, Torsten Schaub:
A consistency-based framework for merging knowledge bases. J. Appl. Log. 5(3): 459-477 (2007) - [j28]James P. Delgrande, Torsten Schaub, Hans Tompits:
A General Framework for Expressing Preferences in Causal Reasoning and Planning. J. Log. Comput. 17(5): 871-907 (2007) - [c88]James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele:
COBA 2.0: A Consistency-Based Belief Change System. ECSQARU 2007: 78-90 - [c87]Alessandra Mileo, Torsten Schaub:
Qualitative Constraint Enforcement in Advanced Policy Specification. ECSQARU 2007: 695-706 - [c86]Martin Gebser, Torsten Schaub:
Generic Tableaux for Answer Set Programming. ICLP 2007: 119-133 - [c85]Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
Conflict-Driven Answer Set Solving. IJCAI 2007: 386- - [c84]James P. Delgrande, Jérôme Lang, Torsten Schaub:
Belief Change Based on Global Minimisation. IJCAI 2007: 2468-2473 - [c83]Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski:
The First Answer Set Programming System Competition. LPNMR 2007: 3-17 - [c82]Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran:
Debugging ASP Programs by Means of ASP. LPNMR 2007: 31-43 - [c81]James P. Delgrande, Torsten Schaub, Hans Tompits:
A Preference-Based Framework for Updating Logic Programs. LPNMR 2007: 71-83 - [c80]Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148 - [c79]Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265 - [c78]Martin Gebser, Torsten Schaub, Sven Thiele:
GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271 - [c77]Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran:
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. CENT 2007 - [c76]Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran:
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. INAP/WLP 2007: 247-252 - 2006
- [j27]Kathrin Konczak, Thomas Linke, Torsten Schaub:
Graphs and colorings for answer set programming. Theory Pract. Log. Program. 6(1-2): 61-106 (2006) - [c75]Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy:
On Probing and Multi-Threading in Platypus. ECAI 2006: 392-396 - [c74]Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub:
What's a Head Without a Body? ECAI 2006: 769-770 - [c73]Martin Gebser, Torsten Schaub:
Tableau Calculi for Answer Set Programming. ICLP 2006: 11-25 - [c72]Susanne Grell, Torsten Schaub, Joachim Selbig:
Modelling Biological Networks by Action Languages Via Answer Set Programming. ICLP 2006: 285-299 - [c71]Torsten Schaub:
Tableaux Calculi for Answer Set Programming. WLP 2006: 1-11 - 2005
- [j26]Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub:
A Glimpse of Answer Set Programming. Künstliche Intell. 19(1): 12- (2005) - [j25]James P. Delgrande, Torsten Schaub:
Expressing Default Logic Variants in Default Logic. J. Log. Comput. 15(5): 593-621 (2005) - [c70]Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005 - [c69]Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub:
Introduction to Inconsistency Tolerance. Inconsistency Tolerance 2005: 1-14 - [c68]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Representing Paraconsistent Reasoning via Quantified Propositional Logic. Inconsistency Tolerance 2005: 84-118 - [c67]Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
The nomore++ Approach to Answer Set Solving. LPAR 2005: 95-109 - [c66]Martin Gebser, Torsten Schaub:
Loops: Relevant or Redundant? LPNMR 2005: 53-65 - [c65]Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy:
Platypus: A Platform for Distributed Answer Set Solving. LPNMR 2005: 227-239 - [c64]Susanne Grell, Kathrin Konczak, Torsten Schaub:
nomore<: A System for Computing Preferred Answer Sets. LPNMR 2005: 394-398 - [c63]Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
The nomore++ System. LPNMR 2005: 422-426 - [e3]Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub:
Inconsistency Tolerance [result from a Dagstuhl seminar]. Lecture Notes in Computer Science 3300, Springer 2005, ISBN 3-540-24260-0 [contents] - [e2]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski:
Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Dagstuhl Seminar Proceedings 05171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - [i10]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski:
05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - [i9]Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens:
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 - [i8]Kathrin Konczak, Thomas Linke, Torsten Schaub:
Graphs and colorings for answer set programming. CoRR abs/cs/0502082 (2005) - 2004
- [j24]André Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig:
Threshold extraction in metabolite concentration data. Bioinform. 20(10): 1491-1494 (2004) - [j23]James P. Delgrande, Torsten Schaub:
Reasoning with Sets of Defaults in Default Logic. Comput. Intell. 20(1): 56-88 (2004) - [j22]James P. Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang:
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. Comput. Intell. 20(2): 308-334 (2004) - [j21]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
On Computing Belief Change Operations using Quantified Boolean Formulas. J. Log. Comput. 14(6): 801-826 (2004) - [c62]James P. Delgrande, Torsten Schaub, Hans Tompits:
Domain-Specific Preferences for Causal Reasoning and Planning. ICAPS 2004: 63-72 - [c61]James P. Delgrande, Torsten Schaub:
Two Approaches to Merging Knowledge Bases. JELIA 2004: 426-438 - [c60]Andreas Bösel, Thomas Linke, Torsten Schaub:
Profiling Answer Set Programming: The Visualization Component of the noMoRe System. JELIA 2004: 702-705 - [c59]James P. Delgrande, Torsten Schaub, Hans Tompits:
Domain-Specific Preferences for Causal Reasoning and Planning. KR 2004: 673-682 - [c58]Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski:
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. LPNMR 2004: 3-7 - [c57]Kathrin Konczak, Thomas Linke, Torsten Schaub:
Graphs and Colorings for Answer Set Programming: Abridged Report. LPNMR 2004: 127-140 - [c56]Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran:
nlp: A Compiler for Nested Logic Programming. LPNMR 2004: 361-364 - [c55]James P. Delgrande, Torsten Schaub:
Consistency-based approaches to merging knowledge bases: preliminary report. NMR 2004: 126-133 - [e1]James P. Delgrande, Torsten Schaub:
10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings. 2004, ISBN 92-990021-0-X [contents] - 2003
- [j20]James P. Delgrande, Torsten Schaub:
A consistency-based approach for belief change. Artif. Intell. 151(1-2): 1-41 (2003) - [j19]Kathrin Konczak, Torsten Schaub, Thomas Linke:
Graphs and Colorings for Answer Set Programming with Preferences. Fundam. Informaticae 57(2-4): 393-421 (2003) - [j18]Philippe Besnard, Gisbert Fanselow, Torsten Schaub:
Optimality Theory as a Family of Cumulative Logics. J. Log. Lang. Inf. 12(2): 153-182 (2003) - [j17]James P. Delgrande, Torsten Schaub, Hans Tompits:
A Framework for Compiling Preferences in Logic Programs. Theory Pract. Log. Program. 3(2): 129-187 (2003) - [j16]Torsten Schaub, Kewen Wang:
A semantic framework for preference handling in answer set programming. Theory Pract. Log. Program. 3(4-5): 569-607 (2003) - [c54]James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub:
Lukaszewicz-style Answer Set Programming: A Preliminary Report. Answer Set Programming 2003 - [c53]Kathrin Konczak, Torsten Schaub, Thomas Linke:
Graphs and coloring for answer set programming: Preliminary Report. Answer Set Programming 2003 - [c52]Kathrin Konczak, Torsten Schaub, Thomas Linke:
Graphs and colorings for answer set programming: Abridged Report. Answer Set Programming 2003 - [c51]James P. Delgrande, Torsten Schaub:
On the Relation between Reiter's Default Logic and Its (Major). ECSQARU 2003: 452-463 - [c50]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. ECSQARU 2003: 528-539 - [c49]André Flöter, Jacques Nicolas, Torsten Schaub, Joachim Selbig:
Threshold extraction in metabolite concentration data. German Conference on Bioinformatics 2003: 33-39 - [c48]Philippe Besnard, Robert E. Mercer, Torsten Schaub:
Optimality Theory through Default Logic. KI 2003: 93-104 - [i7]Torsten Schaub, Kewen Wang:
A semantic framework for preference handling in answer set programming. CoRR cs.AI/0301023 (2003) - 2002
- [j15]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:
AAAI 2002 Workshops. AI Mag. 23(4): 113-121 (2002) - [j14]James P. Delgrande, Torsten Schaub:
Reasoning Credulously and skeptically within a single extension. J. Appl. Non Class. Logics 12(2): 259-285 (2002) - [c47]David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran:
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. ICLP 2002: 405-420 - [c46]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. JELIA 2002: 320-331 - [c45]James P. Delgrande, Aaron Hunter, Torsten Schaub:
COBA: A Consistency-Based Belief Revision System. JELIA 2002: 509-512 - [c44]David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran:
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. NMR 2002: 57-66 - [c43]Philippe Besnard, Robert E. Mercer, Torsten Schaub:
Optimality theory through default logic. NMR 2002: 77-83 - [c42]Torsten Schaub, Kewen Wang:
Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. NMR 2002: 238-246 - [c41]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. Paraconsistent Computational Logic 2002: 1-15 - [i6]James P. Delgrande, Torsten Schaub, Hans Tompits:
A Framework for Compiling Preferences in Logic Programs. CoRR cs.AI/0203005 (2002) - [i5]Torsten Schaub, Kewen Wang:
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report. CoRR cs.AI/0207060 (2002) - [i4]David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran:
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. CoRR cs.AI/0207071 (2002) - 2001
- [c40]Torsten Schaub, Kewen Wang:
A Comparative Study of Logic Programs with Preference: Preliminary Report. Answer Set Programming 2001 - [c39]Torsten Schaub:
What's Your Preference? And How to Express and Implement It in Logic Programming! ECSQARU 2001: 17 - [c38]James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
On Computing Solutions to Belief Change Scenarios. ECSQARU 2001: 510-521 - [c37]James P. Delgrande, Torsten Schaub:
How to Reason Credulously and Skeptically within a Single Extension. ECSQARU 2001: 592-603 - [c36]Torsten Schaub, Kewen Wang:
A Comparative Study of Logic Programs with Preference. IJCAI 2001: 597-602 - [c35]James P. Delgrande, Torsten Schaub, Hans Tompits:
plp: A Generic Compiler for Ordered Logic Programs. LPNMR 2001: 411-415 - 2000
- [j13]James P. Delgrande, Torsten Schaub:
Expressing preferences in default logic. Artif. Intell. 123(1-2): 41-87 (2000) - [j12]Thomas Linke, Torsten Schaub:
Alternative foundations for Reiter's default logic. Artif. Intell. 124(1): 31-86 (2000) - [j11]Philippe Besnard, Torsten Schaub:
What is a (non-constructive) non-monotone logical system? Theor. Comput. Sci. 238(1-2): 489-494 (2000) - [c34]James P. Delgrande, Torsten Schaub:
A Consistency-Based Model for Belief Change: Preliminary Report. AAAI/IAAI 2000: 392-398 - [c33]Stefan Brüning, Torsten Schaub:
A Connection Calculus for Handling Incomplete Information. Intellectics and Computational Logic 2000: 47-66 - [c32]James P. Delgrande, Torsten Schaub, Hans Tompits:
Logic Programs with Compiled Preferences. ECAI 2000: 464-468 - [c31]James P. Delgrande, Torsten Schaub, Hans Tompits:
A Compilation of Brewka and Eiter's Approach to Prioritization. JELIA 2000: 376-390 - [c30]Philippe Besnard, Torsten Schaub:
Significant Inferences : Preliminary Report. KR 2000: 401-410 - [i3]James P. Delgrande, Torsten Schaub, Hans Tompits:
A Compiler for Ordered Logic Programs. CoRR cs.AI/0003024 (2000) - [i2]James P. Delgrande, Torsten Schaub, Hans Tompits:
Logic Programs with Compiled Preferences. CoRR cs.AI/0003028 (2000) - [i1]James P. Delgrande, Torsten Schaub:
A Consistency-Based Model for Belief Change: Preliminary Report. CoRR cs.AI/0003052 (2000)
1990 – 1999
- 1999
- [c29]Farid Benhammadi, Pascal Nicolas, Torsten Schaub:
Query-Answering in Prioritized Default Logic. ESCQARU 1999: 32-42 - [c28]Stefan Brüning, Torsten Schaub:
Avoiding Non-ground Variables. ESCQARU 1999: 92-103 - [c27]Thomas Linke, Torsten Schaub:
On Bottom-Up Pre-processing Techniques for Automated Default Reasoning. ESCQARU 1999: 268-278 - [c26]Thomas Linke, Torsten Schaub:
Default Reasoning via Blocking Sets. LPNMR 1999: 247-261 - 1998
- [b3]Torsten Schaub:
The Automation of Reasoning with Incomplete Information, From Semantic Foundations to Efficient Computation. Lecture Notes in Computer Science 1409, Springer 1998, ISBN 3-540-64515-2 - [j10]Torsten Schaub, Stefan Brüning:
Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. Artif. Intell. 106(1): 1-75 (1998) - [j9]Philippe Besnard, Torsten Schaub:
Signed Systems for Paraconsistent Reasoning. J. Autom. Reason. 20(1): 191-213 (1998) - [c25]Farid Benhammadi, Pascal Nicolas, Torsten Schaub:
Extension Calculus and Query Answering in Prioritized Default Logic. AIMSA 1998: 76-87 - [c24]Pascal Nicolas, Torsten Schaub:
The XRay system: An implementation platform for local query-answering in default logics. Applications of Uncertainty Formalisms 1998: 354-378 - [c23]Thomas Linke, Torsten Schaub:
An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA 1998: 233-247 - [c22]James P. Delgrande, Torsten Schaub:
Reasoning with Sets of Preferences in Default Logic. PRICAI 1998: 134-145 - 1997
- [j8]James P. Delgrande, Torsten Schaub:
Compiling Specificity Into Approaches to Nonmonotonic Reasoning. Artif. Intell. 90(1-2): 301-348 (1997) - [j7]Thomas Linke, Torsten Schaub:
Towards a classification of Default Logics. J. Appl. Non Class. Logics 7(4): 397-451 (1997) - [c21]Philippe Besnard, Torsten Schaub:
Circumscribing Inconsistency. IJCAI (1) 1997: 150-155 - [c20]James P. Delgrande, Torsten Schaub:
Compiling Reasoning with and about Preferences into Default Logic. IJCAI (1) 1997: 168-175 - [c19]Torsten Schaub, Pascal Nicolas:
An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings. ISMIS 1997: 197-206 - [c18]Torsten Schaub, Pascal Nicolas:
An Implementation Platform for Query-Answering: X-RAY. LPNMR 1997: 442-453 - 1996
- [c17]Torsten Schaub, Stefan Brüning, Pascal Nicolas:
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. CADE 1996: 293-297 - [c16]Torsten Schaub, Stefan Brüning:
Prolog Technology for Default Reasoning (An Abridged Report). ECAI 1996: 105-109 - [c15]Torsten Schaub, Michael Thielscher:
Skeptical Query-Answering in Constrained Default Logic. FAPR 1996: 567-581 - [c14]Stefan Brüning, Torsten Schaub:
A Model-Based Approach to Consistency-Checking. ISMIS 1996: 315-324 - [c13]Philippe Besnard, Torsten Schaub:
A Simple Signed System for Paraconsistent Reasoning. JELIA 1996: 404-416 - [c12]Thomas Linke, Torsten Schaub:
Putting Default Logics in Perspective. KI 1996: 241-252 - 1995
- [j6]Philippe Besnard, Torsten Schaub:
An Approach to Context-Based Default Reasoning. Fundam. Informaticae 23(2/3/4): 175-223 (1995) - [j5]Michael Thielscher, Torsten Schaub:
Default Reasoning by Deductive Planning. J. Autom. Reason. 15(1): 1-40 (1995) - [j4]Torsten Schaub:
A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving. J. Autom. Reason. 15(1): 95-165 (1995) - [j3]Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe:
Ist die Wissensrepräsentation tot? Künstliche Intell. 9(5): 18-26 (1995) - [c11]Thomas Linke, Torsten Schaub:
Lemma Handling in Default Logic Theorem Provers. ECSQARU 1995: 285-292 - 1994
- [j2]James P. Delgrande, Torsten Schaub, W. Ken Jackson:
Alternative Approaches to Default Logic. Artif. Intell. 70(1-2): 167-237 (1994) - [j1]Philippe Besnard, Torsten Schaub:
Possible Worlds Semantics for Default Logics. Fundam. Informaticae 21(1/2): 39-66 (1994) - [c10]Stefan Brüning, Torsten Schaub:
Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report. IPMU 1994: 389-398 - [c9]Torsten Schaub:
Computing Queries from Prioritized Default Theories. ISMIS 1994: 584-593 - [c8]James P. Delgrande, Torsten Schaub:
Incorporating Specificity into Circumscriptive Theories. KI 1994: 272-283 - [c7]James P. Delgrande, Torsten Schaub:
A General Approach to Specificity in Default Reasoning. KR 1994: 146-157 - 1993
- [b2]Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub:
Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Artificial Intelligence, Vieweg 1993, ISBN 978-3-528-05374-1, pp. 1-387 - [c6]Antje Beringer, Torsten Schaub:
Minimal Belief and Negation as Failure: A Feasible Approach. AAAI 1993: 400-405 - [c5]Philippe Besnard, Torsten Schaub:
A Context-Based Framework for Default Logics. AAAI 1993: 406-411 - [c4]Torsten Schaub:
Variations of Constrained Default Logic. ECSQARU 1993: 310-317 - 1992
- [b1]Torsten Schaub:
Considerations on default logics. Darmstadt University of Technology, Germany, 1992, pp. 1-159 - [c3]Torsten Schaub:
On Constrained Default Theories. ECAI 1992: 304-308 - 1991
- [c2]Torsten Schaub:
On Commitment and Cumulativity in Default Logics. ECSQARU 1991: 305-309 - [c1]Torsten Schaub:
Assertional Default Theories: A Semantical View. KR 1991: 496-506
Coauthor Index
[j83] [j76] [j74] [i41] [j73] [j70] [j64] [j63] [c189] [c184] [i39] [i38] [i35] [c174] [i33] [j58] [j56] [j55] [c166] [c164] [c161] [c160] [i30] [j53] [j51] [c156] [c153] [c150] [c149] [c147] [c146] [i28] [i27] [i24] [j48] [c144] [c141] [c139] [c138] [c137] [c136] [c135] [c134] [i23] [i21] [i20] [b4] [j44] [j41] [c133] [c129] [i18] [j40] [j39] [j36] [j34] [c128] [c127] [c125] [c123] [c122] [c121] [c120] [c119] [c118] [i16] [c114] [c113] [c112] [c111] [i15] [i14] [j32] [j31] [c109] [c107] [c106] [c104] [c103] [c102] [c101] [c99] [c98] [c97] [c95] [c93] [c92] [c89] [c86] [c85] [c83] [c82] [c80] [c79] [c78] [c77] [c76] [c74] [c73] [c70] [c67] [c66] [c63]
[c231] [c230] [i65] [j87] [j86] [c219] [c212] [c206] [i56] [i54] [j83] [i43] [j76] [c193] [c191] [i41] [j70] [j65] [c187] [i40] [j60] [c172] [c171] [i33] [i32] [c166] [c164] [c162] [c160] [i30] [j52] [j51] [c156] [c147] [c146] [i28] [i26] [i24] [j47] [c135] [i23] [b4] [c131] [c129] [j40] [j34] [c128] [c127] [c123] [c122] [c121] [c120] [c119] [c118] [i16] [c106] [c104] [c103] [c99] [c92]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-21 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
