Skip to Content

Path: KBS > research > technical reports >

Tools: Drucken

---

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 Azzurra 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 Terracina
  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 Overriding: 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 Overriding"
  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 Perri, 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 Perri, 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 Overriding"
  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
  "Error-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 Buccafurri, 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 Buccafurri, 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
  
  

---

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.