Directions Publications Projects Systems Technical Reports

Technical Reports

Research Reports

[1998] [1999] [2000] [2001] [2002] [2003] [2004] [2005] [2006] [2007] [2008] [2009] [2010] [2011] [2012] [2013] [2014] [2015] [2016] [2017] [2018] [2019] [2020] [2021] [2022]

2022

  • LOGCOMP RR-1923-22-01
    “Witnesses for Answer Sets of Logic Programs”
    Yisong Wang and Thomas Eiter and Yuanlin Zhang and Fangzhen Lin
    October 2022

2021

  • LOGCOMP RR-1923-21-01
    “Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling”
    Thomas Eiter and Tobias Geibinger and Nysret Musliu and Johannes Oetsch and Peter Skocovsky and Daria Stepanova
    August 2021

2020

  • LOGCOMP RR-1923-20-01
    “A Semantic Perspective on Omission Abstraction in ASP”
    Zeynep G. Saribatur and Thomas Eiter
    June 2020

2019

  • LOGCOMP RR-1923-19-01
    “Abstraction for Non-Ground Answer Set Programs”
    Zeynep G. Saribatur, Thomas Eiter and Peter Schüller
    December 2019

2018

  • LOGCOMP RR-1923-18-06
    “Omission-based Abstraction for Answer Set Programs”
    Zeynep G. Saribatur and Thomas Eiter
    December 2018

  • LOGCOMP RR-1923-18-05
    “A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective”
    Thomas Eiter and Gabriele Kern-Isberner
    October 2018

  • LOGCOMP RR-1923-18-04
    “Inconsistency in Answer Set Programs and Extensions”
    Christoph Redl
    June 2018

  • LOGCOMP RR-1923-18-03
    “Reconsidering Answer Set Semantics for Disjunctive Logic Programs”
    Yi-Dong Shen and Thomas Eiter
    February 2018

  • LOGCOMP RR-1923-18-02
    “Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Sources”
    Thomas Eiter, Tobias Kaminski, Christoph Redl, and Antonius Weinzierl
    January 2018

  • LOGCOMP RR-1923-18-01
    “Inlining External Sources in Answer Set Programs”
    Christoph Redl
    January 2018

2017

  • INFSYS RR-1843-17-04
    “Combining Rules and Ontologies into Clopen Knowledge Bases (extended version with appendix)”
    Labinot Bajraktari, Magdalena Ortiz and Mantas Simkus
    November 2017

  • INFSYS RR-1843-17-03
    “LARS: A Logic-based Framework for Analytic Reasoning over Streams”
    Harald Beck and Minh Dao-Tran and Thomas Eiter
    October 2017

  • INFSYS RR-1843-17-02
    “Reviewing Justification-based Truth Maintenance Systems from a Logic Programming Perspective”
    Harald Beck
    July 2017

  • INFSYS RR-1843-17-01 (available on request)
    “Lazy-Grounding for Answer Set Programs with External Source Access”
    Thomas Eiter and Tobias Kaminski and Antonius Weinzierl
    June 2017

2016

  • INFSYS RR-1843-16-03
    “A Query Model to Capture Event Pattern Matching in RDF Stream Processing Query Languages”
    Daniele Dell’Aglio and Minh Dao-Tran and Jean-Paul Calbimonte and Danh Le Phuoc and Emanuele Della Valle
    October 2016

  • INFSYS RR-1843-16-02
    “Preference-based Inconsistency Management in Multi-Context Systems”
    Thomas Eiter and Antonius Weinzierl.
    January 2016

  • INFSYS RR-1843-16-01
    “The ABC Benchmarking System - User Manual”
    Christoph Redl.
    January 2016

2015

  • INFSYS RR-1843-15-08
    “Computing Repairs of Inconsistent DL-programs over EL Ontologies”
    Thomas Eiter and Michael Fink and Daria Stepanova.
    December 2015

  • INFSYS RR-1843-15-07
    “Problem Solving Using the HEX Family”
    Thomas Eiter and Christoph Redl and Peter Schüller.
    December 2015

  • INFSYS RR-1843-15-06
    “Contrasting RDF Stream Processing Semantics”
    Minh Dao-Tran and Harald Beck and Thomas Eiter.
    September 2015

  • INFSYS RR-1843-15-05
    “User Guide: dlvhex 2.X”
    Thomas Eiter and Mustafa Mehuljic and Christoph Redl and Peter Schüller.
    September 2015

  • INFSYS RR-1843-15-04
    “Evaluating Epistemic Negation in Answer Set Programming”
    Yi-Dong Shen and Thomas Eiter.
    August 2015

  • INFSYS RR-1843-15-03
    “Data Repair of Inconsistent Nonmonotonic Description Logic Programs”
    Thomas Eiter and Michael Fink and Daria Stepanova.
    June 2015

  • INFSYS RR-1843-15-02
    “Reasoning with Forest Logic Programs Using Fully Enriched Automata”
    Cristina Feier and Thomas Eiter.
    June 2015

  • INFSYS RR-1843-15-01
    “A Model Building Framework for Answer Set Programming with External Computations”
    Thomas Eiter and Giovambattista Ianni and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Schüller.
    January 2015

2014

  • INFSYS RR-1843-14-09
    “Dependency Schemes and Q-Resolution”
    Friedrich Slivovsky and Stefan Szeider.
    December 2014

  • INFSYS RR-1843-14-08
    “Backdoors into Heterogeneous Classes of SAT and CSP”
    Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, and Stanislav Zivny.
    December 2014

  • INFSYS RR-1843-14-07
    “Semi-Equilibrium Models for Paracoherent Answer Set Programs”
    Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone and Joao Moura.
    December 2014

  • INFSYS RR-1843-14-06
    “Subexponential Time Complexity of CSP with Global Constraints”
    Ronald de Haan, Iyad Kanj, and Stefan Szeider.
    December 2014

  • INFSYS RR-1843-14-05
    “Small Unsatisfiable Subsets in Constraint Satisfaction”
    Ronald de Haan, Iyad Kanj, and Stefan Szeider.
    December 2014

  • INFSYS RR-1843-14-04
    “Fixed-Parameter Tractable Reductions to SAT”
    Ronald de Haan and Stefan Szeider.
    December 2014

  • INFSYS RR-1843-14-03
    “Distributed Evaluation of Nonmonotonic Multi-Context Systems”
    Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
    September 2014

  • INFSYS RR-1843-14-02
    “Domain Expansion for ASP-Programs with External Sources”
    Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl.
    September 2014

  • INFSYS RR-1843-14-01
    “Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna, July 17-19, 2014”
    Sébastien Konieczny and Hans Tompits.
    July 2014

2013

  • INFSYS RR-1843-13-02
    “Structural Parameterizations of Language Restricted Constraint Satisfaction Problems”
    Simone Bova, Stefan Szeider.
    April 2013

  • INFSYS RR-1843-13-01
    “Conjunctive Regular Path Queries in Lightweight Description Logics”
    Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus.
    April 2013

2012

  • INFSYS RR-1843-12-09
    “Finding Explanations of Inconsistency in Multi-Context Systems”
    Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl.
    December 2012

  • INFSYS RR-1843-12-08
    “Improving HEX-Program Evaluation based on Unfounded Sets”
    Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller.
    July 2012

  • INFSYS RR-1843-12-07
    “Semantic Independence in DL-Programs”
    Thomas Eiter, Michael Fink, and Daria Stepanova.
    July 2012

  • INFSYS RR-1843-12-06
    “On Contracting Graphs to Fixed Pattern Graphs”
    Pim van’t Hof, Marcin Kaminski, Daniel Paulusma, Stefan Szeider, Dimitrios M. Thilikos.
    July 2012

  • INFSYS RR-1843-12-05
    “Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language”
    Thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller
    April 2012

  • INFSYS RR-1843-12-04
    “Query Rewriting for Horn-SHIQ plus Rules”
    Thomas Eiter, Magdalena Ortiz, Mantas Simkus, TrungKien Tran, Guohui Xiao
    March 2012

  • INFSYS RR-1843-12-03
    “The Complexity of Explaining Negative Query Answers in DL-Lite”
    Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giogio Stefanoni
    March 2012

  • INFSYS RR-1843-12-02
    “A Paraconsistent Semantics for Hybrid Theories”
    Michael Fink
    February 2012

  • INFSYS RR-1843-12-01
    “Editing Graphs to Satisfy Degree Constraints: A Parameterized Approach”
    Luke Mathieson and Stefan Szeider
    January 2012

2011

  • INFSYS RR-1843-11-07
    “Worst-Case Optimal Reasoning with Forest Logic Programs”
    Cristina Feier
    December 2011

  • INFSYS RR-1843-11-06
    “Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management and the 25th Workshop on Logic Programming (September 28-30, 2011)”
    Johannes Oetsch, Jörg Pührer, and Hans Tompits
    September 2011

  • INFSYS RR-1843-11-05
    “The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT”
    Stefan Szeider
    July 2011

  • INFSYS RR-1843-11-04
    “A Probabilistic Approach to Problems Parameterized Above or Below Tight Bounds”
    Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo
    July 2011

  • INFSYS RR-1843-11-03
    “Algorithms and Complexity Results for Persuasive Argumentation”
    Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider
    July 2011

  • INFSYS RR-1843-11-02
    “Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming”
    Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo
    July 2011

  • INFSYS RR-1843-11-01
    “The Complexity of Conjunctive Query Abduction in DL-Lite”
    Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
    June 2011

2010

  • INFSYS RR-1843-10-03
    “Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting”
    Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
    April 2010

  • INFSYS RR-1843-10-01
    “Query Answering in the Description Logic S”
    Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
    March 2010

2009

  • INFSYS RR-1843-09-05
    “On Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There”
    Michael Fink
    December 2009

  • INFSYS RR-1843-09-04
    “Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata”
    Diego Calvanese, Thomas Eiter, and Magdalena Ortiz
    December 2009

  • INFSYS RR-1843-09-03
    “Conjunctive Query Answering in the Description Logic SH using Knots”
    Thomas Eiter, Magdalena Ortiz, and Mantas Šimkus
    September 2009

  • INFSYS RR-1843-09-02
    “Query answering in description logics with transitive roles”
    Thomas Eiter, Carsten Lutz, Magdalena Ortiz, and Mantas Šimkus
    April 2009

  • INFSYS RR-1843-09-01
    “Well-Founded Semantics for Description Logic Programs in the Semantic Web”
    Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, and Roman Schindlauer
    March 2009

2008

  • INFSYS RR-1843-08-14
    “Hybrid Reasoning with Forest Logic Programs”
    Cristina Feier and Stijn Heymans
    December 2008

  • INFSYS RR-1843-08-13
    “Updating Action Domain Descriptions”
    Thomas Eiter, Esra Erdem, Michael Fink, and Jan Senko
    November 2008

  • INFSYS RR-1843-08-12
    “Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination”
    Jos de Brujin, Thomas Eiter, Axel Polleres, Hans Tompits
    November 2008

  • INFSYS RR-1843-08-11
    “From Web Search to Semantic Web Search”
    Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, and Thomas Lukasiewicz
    November 2008

  • INFSYS RR-1843-08-10
    “A Sound and Complete Algorithm for Simple Conceptual Logic Programs”
    Cristina Feier and Stijn Heymans
    October 2008

  • INFSYS RR-1843-08-09
    “Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles. Preliminary report.”
    Thomas Eiter, Carsten Lutz, Magdalena Ortiz and Mantas Šimkus
    September 2008

  • INFSYS RR-1843-08-08
    “Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web”
    Thomas Lukasiewicz and Azzufiles/rra Ragone
    August 2008

  • INFSYS RR-1843-08-07
    “Adaptive Game-Theoretic Agent Programming in Golog”
    Alberto Finzi and Thomas Lukasiewicz
    August 2008

  • INFSYS RR-1843-08-06
    “Efficiently querying RDF(S) ontologies with Answer Set Programming”
    Giovambattista Ianni, Alessandra Martello, Claudio Panetta, and Giorgio Tefiles/rracina
    August 2008

  • INFSYS RR-1843-08-05
    “Answering regular path queries in expressive description logics: An automata-theoretic approach”
    Diego Calvanese, Thomas Eiter, and Magdalena Ortiz
    June 2008

  • INFSYS RR-1843-08-04
    “Team Programming in Golog under Partial Observability”
    Alessandro Farinelli, Alberto Finzi, and Thomas Lukasiewicz
    May 2008

  • INFSYS RR-1843-08-03
    “A Solver for QBFs in Negation Normal Form”
    Uwe Egly, Martina Seidl, and Stefan Woltran
    March 2008

  • INFSYS RR-1843-08-02
    “Exploiting Conjunctive Queries in Description Logic Programs”
    Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, and Roman Schindlauer
    March 2008

  • INFSYS RR-1843-08-01
    “FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols”
    Mantas Šimkus and Thomas Eiter
    January 2008

2007

  • INFSYS RR-1843-07-08
    “Semantic Forgetting in Answer Set Programming”
    Thomas Eiter and Kewen Wang
    November 2007

  • INFSYS RR-1843-07-07
    “Data Complexity of Query Answering in Expressive Description Logics via Tableaux”
    Magdalena Ortiz, Diego Calvanese, and Thomas Eiter
    November 2007

  • INFSYS RR-1843-07-06
    “Variable-Strength Conditional Preferences for Ranking Objects in Ontologies”
    Thomas Lukasiewicz and Jörg Schellhase
    April 2007

  • INFSYS RR-1843-07-05
    “Tightly Integrated Probabilistic Description Logic Programs”
    Andrea Calì and Thomas Lukasiewicz
    March 2007

  • INFSYS RR-1843-07-04
    “Combining Answer Set Programming with Description Logics for the Semantic Web”
    Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits
    March 2007

  • INFSYS RR-1843-07-03
    “Tightly Integrated Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web”
    Thomas Lukasiewicz and Umberto Straccia
    February 2007

  • INFSYS RR-1843-07-02
    “Uncertainty and Vagueness in Description Logic Programs for the Semantic Web”
    Thomas Lukasiewicz and Umberto Straccia
    February 2007

  • INFSYS RR-1843-07-01
    “Repair Localization for Query Answering from Inconsistent Databases”
    Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo
    January 2007

2006

  • INFSYS RR-1843-06-08
    “A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web”
    Thomas Lukasiewicz
    March 2010

  • INFSYS RR-1843-06-07
    “An Overview of Uncertainty and Vagueness in Description Logics for the Semantic Web”
    Thomas Lukasiewicz and Umberto Straccia
    October 2006

  • INFSYS RR-1843-06-06
    “Comparing Action Descriptions based on Semantic Preferences”
    Thomas Eiter, Esra Erdem, Michael Fink, and Jan Senko
    July 2006

  • INFSYS RR-1843-06-05
    “Probabilistic Description Logics for the Semantic Web”
    Thomas Lukasiewicz
    March 2007

  • INFSYS RR-1843-06-04
    “Probabilistic Description Logic Programs”
    Thomas Lukasiewicz
    June 2006

  • INFSYS RR-1843-06-03
    “Data Complexity of Query Answering in Expressive Description Logics with Nominals”
    Magdalena Ortiz, Diego Calvanese, and Thomas Eiter
    March 2006

  • INFSYS RR-1843-06-02
    “Proceedings of the 20th Workshop on Logic Programming (February 22-24, 2006)”
    Michael Fink, Hans Tompits, and Stefan Woltran
    February 2006

  • INFSYS RR-1843-06-01
    “Computational Aspects of Monotone Dualization: A Brief Survey”
    Thomas Eiter, Kazuhisa Makino, and Georg Gottlob
    January 2006

2005

  • INFSYS RR-1843-05-11
    “Variable-Strength Conditional Preferences for Matchmaking in Description Logics”
    Thomas Lukasiewicz and Jörg Schellhase
    December 2005

  • INFSYS RR-1843-05-10
    “Disjunctive Logic Programming with Types and Objects: The DLV+ System”
    Francesco Ricca and Nicola Leone
    October 2005

  • INFSYS RR-1843-05-09
    “Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks”
    Wolfgang Faber, Nicola Leone, and Francesco Ricca
    October 2005

  • INFSYS RR-1843-05-08
    “A Backjumping Technique for Disjunctive Logic Programming”
    Francesco Ricca, Wolfgang Faber, and Nicola Leone
    October 2005

  • INFSYS RR-1843-05-07
    “Template Programs for Disjunctive Logic Programming: An Operational Semantics”
    Francesco Calimeri and Giovambattista Ianni
    October 2005

  • INFSYS RR-1843-05-06
    “Reasoning Under Minimal Upper Bounds in Propositional Logic”
    Thomas Eiter and Georg Gottlob
    August 2005

  • INFSYS RR-1843-05-05
    “Optimization Methods for Logic-Based Query Answering from Inconsistent Data Integration Systems”
    Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo
    July 2005

  • INFSYS RR-1843-05-04
    “Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories”
    Alberto Finzi and Thomas Lukasiewicz
    June 2005

  • INFSYS RR-1843-05-03
    “Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Ovefiles/rriding: Algorithms and Implementation in NMPROBLOG”
    Thomas Lukasiewicz
    June 2006

  • INFSYS RR-1843-05-02
    “Game-Theoretic Golog under Partial Observability”
    Alberto Finzi and Thomas Lukasiewicz
    December 2006

  • INFSYS RR-1843-05-01
    “Semantical Characterizations and Complexity of Equivalences in Answer Set Programming”
    Thomas Eiter, Michael Fink, and Stefan Woltran
    February 2005

2004

  • INFSYS RR-1843-04-05
    “Undoing the Effects of Action Sequences”
    Thomas Eiter, Esra Erdem, and Wolfgang Faber
    December 2004

  • INFSYS RR-1843-04-04
    “Maintenance Goals of Agents in a Dynamic Environment: Formulation and Policy Construction”
    Chitta Baral, Thomas Eiter, Marcus Bjäreland and Mutsumi Nakamura
    October 2004

  • INFSYS RR-1843-04-03
    “Diagnosing Plan Execution Discrepancies in a Logic-Based Action Framework”
    Thomas Eiter, Esra Erdem, and Wolfgang Faber
    August 2004

  • INFSYS RR-1843-04-02
    “Game-Theoretic Agent Programming in Golog”
    Alberto Finzi and Thomas Lukasiewicz
    April 2007

  • INFSYS RR-1843-04-01
    “Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications”
    Thomas Eiter and Axel Polleres
    January 2004

2003

  • INFSYS RR-1843-03-14
    “A Knowledge-Based Approach for Selecting Information Sources”
    Thomas Eiter, Michael Fink, and Hans Tompits
    December 2003

  • INFSYS RR-1843-03-13
    “Combining Answer Set Programming with Description Logics for the Semantic Web”
    Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits
    December 2003

  • INFSYS RR-1843-03-12
    “On Eliminating Disjunctions in Stable Logic Programming”
    Thomas Eiter, Michael Fink, Hans Tompits, and Stefan Woltran
    November 2003

  • INFSYS RR-1843-03-11
    “Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming”
    Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, and Stefan Woltran
    November 2003

  • INFSYS RR-1843-03-10
    “Monitoring Agents using Declarative Planning”
    Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, and Yingqian Zhang
    November 2003

  • INFSYS RR-1843-03-09
    “Generating all Abductive Explanations for Queries on Propositional Horn Theories”
    Thomas Eiter and Kazuhisa Makino
    June 2003

  • INFSYS RR-1843-03-08
    “Uniform Equivalence of Logic Programs under the Stable Model Semantics”
    Michael Fink and Thomas Eiter
    May 2003

  • INFSYS RR-1843-03-07
    “Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV”
    Tina Dell’Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer
    April 2003

  • INFSYS RR-1843-03-06
    “Structure-Based Causes and Explanations in the Independent Choice Logic”
    Alberto Finzi and Thomas Lukasiewicz
    April 2003

  • INFSYS RR-1843-03-05
    “Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty”
    Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, and Riccardo Rosati
    March 2006

  • INFSYS RR-1843-03-04
    “On Deciding Subsumption Problems”
    Uwe Egly, Reinhard Pichler, Stefan Woltran
    April 2003

  • INFSYS RR-1843-03-03
    “On Computing Solutions to Belief Change Scenarios”
    James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
    March 2003

  • INFSYS RR-1843-03-02
    “Nonmonotonic Probabilistic Reasoning under Variable-Strength Inheritance with Ovefiles/rriding”
    Thomas Lukasiewicz
    January 2003

  • INFSYS RR-1843-03-01
    “Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories”
    Thomas Eiter and Thomas Lukasiewicz
    March 2003

2002

  • INFSYS RR-1843-02-15
    “Polynomial Translations of Nested Logic Programs into Disjunctive Logic Programs”
    David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
    November 2002

  • INFSYS RR-1843-02-14
    “The DLV System for Knowledge Representation and Reasoning”
    Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Christoph Koch, Cristinel Mateis, Simona Pefiles/rri, Francesco Scarcello
    October 2002

  • INFSYS RR-1843-02-13
    “Answer Set Planning under Action Costs”
    Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    October 2002

  • INFSYS RR-1843-02-12
    “Combining Probabilistic Logic Programming with the Power of Maximum Entropy”
    Gabriele Kern-Isberner and Thomas Lukasiewicz
    October 2002

  • INFSYS RR-1843-02-11
    “Reasoning about Evolving Nonmonotonic Knowledge Bases”
    Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits
    September 2002

  • INFSYS RR-1843-02-10
    “Complexity of Nested Circumscription and Nested Abnormality Theories”
    Marco Cadoli, Thomas Eiter, and Georg Gottlob
    July 2002

  • INFSYS RR-1843-02-08
    “Temporal Probabilistic Object Bases”
    Veronica Biazzo, Rosalba Giugno, Thomas Lukasiewicz, and V.S. Subrahmanian
    June 2002

  • INFSYS RR-1843-02-07
    “Declarative Update Policies for Nonmonotonic Knowledge Bases”
    Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits
    May 2002

  • INFSYS RR-1843-02-06
    “P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web”
    Rosalba Giugno and Thomas Lukasiewicz
    April 2002

  • INFSYS RR-1843-02-05
    “New Results on Monotone Dualization and Generating Hypergraph Transversals”
    Thomas Eiter, Georg Gottlob, and Kazuhisa Makino
    April 2002

  • INFSYS RR-1843-02-04
    “On Computing all Abductive Explanations”
    Thomas Eiter and Kazuhisa Makino
    April 2002

  • INFSYS RR-1843-02-03
    “Causes and Explanations in the Structural-Model Approach: Tractable Cases”
    Thomas Eiter and Thomas Lukasiewicz
    March 2002

  • INFSYS RR-1843-02-02
    “Weak Nonmonotonic Probabilistic Logics”
    Thomas Lukasiewicz
    March 2002; September 2004

  • INFSYS RR-1843-02-01
    “Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming”
    Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    January 2002

2001

  • INFSYS RR-1843-01-12
    “A Logic Programming Approach to Knowledge-State Planning, II: The DLV^K System”
    Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    December 2001

  • INFSYS RR-1843-01-11
    “A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity”
    Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    December 2001

  • INFSYS RR-1843-01-10
    “Abduction with Penalization in Logic Programming”
    Giovambattista Ianni, Nicola Leone, Simona Pefiles/rri, Francesco Scarcello
    October 2001

  • INFSYS RR-1843-01-09
    “Intelligent Anticipated Exploration of Web Sites”
    Giovambattista Ianni
    October 2001

  • INFSYS RR-1843-01-08
    “Complexity Results for Explanations in the Structural-Model Approach”
    Thomas Eiter and Thomas Lukasiewicz
    November 2001; July 2002

  • INFSYS RR-1843-01-07
    “Pruning Operators for Disjunctive Logic Programming Systems”
    Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer
    May 2001; revised October 2005

  • INFSYS RR-1843-01-06
    “Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics”
    Thomas Lukasiewicz
    June 2001

  • INFSYS RR-1843-01-05
    “Probabilistic Logic Programming under Inheritance with Ovefiles/rriding”
    Thomas Lukasiewicz
    May 2001

  • INFSYS RR-1843-01-04
    “Probabilistic Logic under Coherence: Complexity and Algorithms”
    Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, and Giuseppe Sanfilippo
    April 2001; October 2002

  • INFSYS RR-1843-01-03
    “Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning in System P”
    Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, and Giuseppe Sanfilippo
    April 2001; May 2002

  • INFSYS RR-1843-01-02
    “Comparing Environments for Developing Software Agents”
    Thomas Eiter and Viviana Mascardi
    March 2001

  • INFSYS RR-1843-01-01
    “Complexity Results for Structure-Based Causality”
    Thomas Eiter and Thomas Lukasiewicz
    January 2001; November 2001

2000

  • INFSYS RR-1843-00-08
    “On Updates of Logic Programs: Semantics and Properties”
    Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits
    December 2000

  • INFSYS RR-1843-00-07
    “Efiles/rror-Tolerant Agents”
    Thomas Eiter, Viviana Mascardi, and V.S. Subrahmanian
    October 2000

  • INFSYS RR-1843-00-06
    “Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases”
    Thomas Eiter and Thomas Lukasiewicz
    September 2000

  • INFSYS RR-1843-00-05
    “Using Methods of Declarative Logic Programming for Intelligent Information Agents”
    Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Tompits
    October 2000

  • INFSYS RR-1843-00-04
    “A Data Model and Algebra for Probabilistic Complex Values”
    Thomas Eiter, Thomas Lukasiewicz, and Michael Walter
    August 2000

  • INFSYS RR-1843-00-03
    “Credal Networks under Maximum Entropy”
    Thomas Lukasiewicz
    May 2000

  • INFSYS RR-1843-00-02
    “Probabilistic Default Reasoning with Strict and Defeasible Conditional Constraints”
    Thomas Lukasiewicz
    February 2000

  • INFSYS RR-1843-00-01
    “Probabilistic Logic Programming with Conditional Constraints”
    Thomas Lukasiewicz
    May 2000

1999

  • INFSYS RR-1843-99-11
    “Probabilistic Object Bases”
    Thomas Eiter, James J. Lu, Thomas Lukasiewicz, and V.S. Subrahmanian
    November 1999

  • INFSYS RR-1843-99-10
    “Complexity Results for Default Reasoning from Conditional Knowledge Bases, Preliminary Report”
    Thomas Eiter and Thomas Lukasiewicz
    November 1999

  • INFSYS RR-1843-99-09
    “Many-Valued Disjunctive Logic Programs with Probabilistic Semantics”
    Thomas Lukasiewicz
    August 1999

  • INFSYS RR-1843-99-08
    “Proceedings of the Workshop on Complexity-theoretic and Recursion-theoretic Methods in Databases, Artificial Intelligence and Finite Model Theory, July 6, Trento, Italy, 1999”
    Thomas Eiter, Georg Gottlob, Viktor Marek, and Jeffrey Remmel
    July 1999

  • INFSYS RR-1843-99-07
    “Heterogeneous Active Agents, III: Polynomially Implementable Agents”
    Thomas Eiter, V.S. Subrahmanian, and T.J. Rogers
    May 1999

  • INFSYS RR-1843-99-06
    “Preferred Answer Sets for Extended Logic Programs”
    Gerd Brewka and Thomas Eiter
    March 1999

  • INFSYS RR-1843-99-05
    “Complexity and Expressive Power of Logic Programming”
    Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov
    February 1999

  • INFSYS RR-1843-99-03
    “Enhancing Disjunctive Datalog by Constraints”
    Francesco Buccafufiles/rri, Nicola Leone, and Pasquale Rullo
    February 1999

  • INFSYS RR-1843-99-02
    “Disjunctions of Horn Theories and their Cores”
    Thomas Eiter, Toshihide Ibaraki, and Kazuhisa Makino
    January 1999

  • INFSYS RR-1843-99-01
    “On ACTL Formulas Having Deterministic Counterexamples”
    Francesco Buccafufiles/rri, Thomas Eiter, Georg Gottlob, and Nicola Leone
    January 1999

1998

  • INFSYS RR-1843-98-03
    “Heterogeneous Active Agents, II: Algorithms and Complexity”
    Thomas Eiter and V.S. Subrahmanian
    December 1998

  • INFSYS RR-1843-98-02
    “Heterogeneous Active Agents, I: Semantics”
    Thomas Eiter, V.S. Subrahmanian, and Georg Pick
    December 1998

  • INFSYS RR-1843-98-01
    “Proceedings of the 13th Workshop on Logic Programming (October 6-8, 1998)”
    Uwe Egly and Hans Tompits
    October 1998