Books and Book Editorships
A. Mileo, M. Fink (ed.):
"Proceedings of the 2nd International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011";
CEUR-WS.org, urn:nbn:de:0074-738-1, 2011, ISSN: 1613-0073; 53 pages.
More information
S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, H. Tompits, M. Umeda, A. Wolf (ed.):
"Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)";
TU Wien, Wien, 2011, 290 pages.
F. Bobillo, R. Carvalho, P. da Costa, C. dŽAmato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool (ed.):
"Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010)";
CEUR-Proceedings, Aachen, Vol. 654, 2010, ISSN: 1613-0073; 112 pages.
P. Hitzler, T. Lukasiewicz (ed.):
"Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010)";
Springer LNCS, Heidelberg, 2010, ISBN: 978-3-642-15917-6.
More information
T. Lukasiewicz, R. Penaloza, A. Turhan (ed.):
"Proceedings of the 1st International Workshop on Uncertainty in Description Logics (UniDL 2010)";
CEUR-Proceedings, Aachen, Vol. 613, 2010, ISSN: 1613-0073; 87 pages.
T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, F. Lévy (ed.):
"BuRO 2010: 1st International Workshop on Business Models, Business Rules and Ontologies, 21 September 2010, Proceedings";
Ontorule Project, 2010, 50 pages.
More information
O. Strichman, St. Szeider (ed.):
"Theory and Applications of Satisfiability Testing - SAT 2010";
Springer, Edinburgh, UK, 2010, ISBN: 978-3-642-14185-0.
F. Bobillo, P. da Costa, C. dŽAmato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool, S. Smrz (ed.):
"Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009)";
CEUR-Proceedings, Aachen, Vol. 527, 2009, ISSN: 1613-0073; 88 pages.
S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt:
"Reasoning Web, Fifth International Summer School 2008, Bressanone Italy, August 30 - September 4 2009, Tutorial Lectures";
in series "Lecture Notes in Computer Science", series editor: S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt; issued by: Springer; Springer LNCS, Heidelberg, 2009, ISBN: 978-3-642-03753-5, 357 pages.
More information
T. Eiter, E. Franconi, M. Kifer (ed.):
"Special issue on RuleML 2006. Fundamenta Informaticae Volume 82, number 3";
IOS Press, 2008, ISSN: 0169-2968; 98 pages.
T. Lukasiewicz (ed.):
"Logical Approaches to Imprecise Probabilities. International Journal of Approximate Reasoning, 49(1)";
Elsevier, 2008, ISSN: 0888-613x; 99 pages.
F. Bobillo, P. da Costa, C. dŽAmato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool, S. Smrz (ed.):
"Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008). Volume 423 of CEUR Workshop Proceedings";
CEUR-WS.org, 2008, ISSN: 1613-0073; 145 pages.
P. da Costa, C. dŽAmato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, N. Nickles, M. Pool (ed.):
"Uncertainty Reasoning for the Semantic Web I. Volume 5327 of Lecture Notes in Computer Science";
Springer LNCS, Berlin / Heidelberg, 2008, ISBN: 978-3-540-89764-4; 403 pages.
S. Greco, T. Lukasiewicz (ed.):
"Proceedings of the 2nd International Conference on Scalable Uncertainty Management (SUM 2008), Springer LNCS 5291";
Springer, LNCS, Heidelberg, 2008, ISSN: 0302-9743; 401 pages.
A. Reiterer, U. Egly (ed.):
"Application of Artificial Intelligence in Engineering Geodesy";
Eigenverlag, 2008, ISBN: 978-3-9501492-4-1; 116 pages.
More information
A. Cano, F. Cozman, T. Lukasiewicz (ed.):
"Special Issue on Imprecise Probabilities, International Journal of Approximate Reasoning 44 (3).";
Elsevier Science Publishers, Amsterdam, The Netherlands, 2007, ISSN: 0888-613x; 190 pages.
F. Bobillo, P. Costa, N. Fanizzi, F. Fung, T. Lukasiewicz, T. Martin, N. Nickles, Y. Peng, M. Pool, S. Smrz, P. Vojt (ed.):
"Proceedings of the ISWC-2007 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007).";
CEUR-Proceedings, 2007, ISSN: 1613-0073; 137 pages.
D. Pearce, A. Polleres, A. Valverde, S. Woltran (ed.):
"Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)";
CEUR-Proceedings, Aachen, Vol. 265, 2007, ISSN: 1613-0073; 72 pages.
T. Eiter, L. Libkin (ed.):
"Database Theory. Theoretical Computer Science. Volume 371, Issue 3, Pages 147-264";
Elsevier Science Publishers, Meppel, The Netherlands, 2007, ISSN: 0304-3975; 117 pages.
T. Eiter, E. Franconi, R. Hodgson, M. Kifer, S. Stephens (ed.):
"Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web";
IEEE Computer Society Press, Los Alamitos, California, USA, 2006, ISBN: 0-7695-2652-7; 128 pages.
M. Fink, H. Tompits, S. Woltran (ed.):
"Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24";
TU Wien, Vienna, Austria, 2006, 210 pages.
T. Eiter, L. Libkin (ed.):
"Proceedings of the 10th International Conference on Database Theory (ICDT 2005)";
Springer, LNCS 3363, 2005, ISBN: 3-540-24288-0.
T. Eiter, K. Schewe (ed.):
"Annals of Mathematics and Artificial Intelligence (AMAI), vol. 40, no. 1-2: Special issue on FOIKS-2002";
Kluwer Academic Publishers, 2004, ISSN: 1012-2443.
T. Eiter, K. Schewe (ed.):
"Proceedings of the 2nd International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2002), Salzau Castle, Germany";
Springer, 2002, ISBN: 3-540-43220-5.
F. Baader, G. Brewka, T. Eiter (ed.):
"The European Journal on Artificial Intelligence (AI Communications), vol. 15, no. 1: Special issue on KI-2001";
IOS Press, 2002, ISBN: 3-540-42612-4.
U. Egly, C. Fermüller (ed.):
"Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-02)";
Springer, 2002, ISBN: 3-540-43929-3; 340 pages.
Publications in Scientific Journals
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Conjunctive query answering in the description logic SH using knots";
Journal of Computer and System Sciences, 78 (2012), 1; 47 - 85.
More information
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar/Diverse Solutions in Answer Set Programming";
Theory and Practice of Logic Programming, FirstView (2011), 57 pages.
C. Feier, S. Heymans:
"Reasoning with Forest Logic Programs and f-hybrid knowledge bases";
accepted for publication in Theory and Practice of Logic Programming (2011).
More information
G. Brewka, T. Eiter, M. Truszczynski:
"Answer Set Programming at a Glance";
Communications of the ACM, 54 (2011), 12; 92 - 103.
More information
J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
"Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination";
ACM Transactions on Computational Logic, 12 (2011), 3.
More information
R. Jennings, Y. Chen, J. Sahasrabudhe:
"On a new Idiom in the study of Entailment";
Logica Universalis, 5 (2011), 1; 101 - 113.
More information
A. Atserias, J. Fichte, M. Thurley:
"Clause-learning algorithms with many restarts and bounded-width resolution";
Journal of Artificial Intelligence Research, 40 (2011), 1; 353 - 373.
More information
S. Kreutzer, S. Ordyniak:
"Digraph decompositions and monotonicity in digraph searching";
Theoretical Computer Science, 412 (2011), 35; 4688 - 4703.
More information
S. Bessy, F. Fomin, S. Gaspers, C. Paul, A. Perez, S. Saurabh, S. Thomassé:
"Kernels for Feedback Arc Set In Tournaments";
Journal of Computer and System Sciences, 77 (2011), 6; 1071 - 1078.
More information
M. R. Fellows, F. Fomin, D. Lokshtanov, F. A. Rosamond, S. Saurabh, St. Szeider, C. Thomassen:
"On the Complexity of Some Colorful Problems Parameterized by Treewidth";
Information and Computation, 209 (2011), 2; 143 - 153.
More information
M. Samer, St. Szeider:
"Tractable Cases of the Extended Global Cardinality Constraint";
Constraints, 16 (2011), 1; 1 - 24.
More information
G. Gutin, E. Kim, St. Szeider, A. Yeo:
"A Probabilistic Approach to Problems Parameterized Above or Below Tight Bounds";
Journal of Computer and System Sciences, 77 (2011), 2; 422 - 429.
More information
St. Szeider:
"The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT";
Discrete Optimization, 8 (2011), 1; 139 - 145.
More information
St. Szeider:
"Monadic Second Order Logic on Graphs with Local Cardinality Constraints";
ACM Transactions on Computational Logic, 12 (2011), 2; 12:1 - 12:21.
More information
E. Kim, S. Ordyniak, St. Szeider:
"Algorithms and Complexity Results for Persuasive Argumentation";
Artificial Intelligence, 175 (2011), 9-10; 1722 - 1736.
More information
S. Dantchev, B. Martin, St. Szeider:
"Parameterized Proof Complexity";
Computational complexity, 20 (2011), 1; 51 - 85.
N. Alon, G. Gutin, E. Kim, St. Szeider, A. Yeo:
"Solving MAX-r-SAT Above a Tight Lower Bound";
Algorithmica, 61 (2011), 3; 638 - 655.
More information
M. Fink:
"A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Theory and Practice of Logic Programming, 11 (2011), 2-3; 171 - 202.
More information
A. Reiterer, U. Egly, T. Vicovac, E. Mai, S. Moafipoor, D. Grejner-Brzezinska, C. Toth:
"Application of artificial intelligence in Geodesy - A review of theoretical foundations and practical examples";
Journal of Applied Geodesy, 4 (2010), 4; 201 - 217.
More information
J. De Bruijn, S. Heymans:
"Logical Foundations of RDF(S) with Datatypes";
Journal of Artificial Intelligence Research, 38 (2010), 535 - 568.
More information
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer:
"Well-founded semantics for description logic programs in the Semantic Web";
ACM Transactions on Computational Logic, 12 (2011), 2; 1 - 41.
More information
U. Egly, L. Haller:
"A SAT Solver for Circuits Based on the Tableau Method";
KI - Künstliche Intelligenz, 24 (2010), 1; 15 - 23.
More information
B. Fazzinga, T. Lukasiewicz:
"Semantic search on the Web";
Semantic Web, 1 (2010), 1/2; 89 - 96.
T. Lukasiewicz:
"A novel combination of answer set programming with description logics for the Semantic Web";
IEEE Transactions on Knowledge and Data Engineering, 22 (2010), 11; 1577 - 1592.
More information
D. Binkele-Raible, H. Fernau, S. Gaspers, M. Liedloff:
"Exact exponential-time algorithms for finding bicliques";
Information Processing Letters, 111 (2010), 2; 64 - 67.
More information
M. Samer, St. Szeider:
"Algorithms for Propositional Model Counting";
Journal of Discrete Algorithms, 8 (2010), 1; 50 - 64.
More information
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating action domain descriptions";
Artificial Intelligence, 174 (2010), 15; 1172 - 1221.
More information
T. Eiter, M. Simkus:
"FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols";
ACM Transactions on Computational Logic, 11 (2010), 2; 1 - 45.
More information
Y. Ma, G. Qi, G. Xiao, P. Hitzler, Z. Lin:
"Computational Complexity and Anytime Algorithm for Inconsistency Measurement";
Int. J. Software and Informatics, 1 (2010), 3 - 21.
More information
H. Broersma, S. Dantchev, M. Johnson, St. Szeider:
"Journal of Discrete Algorithms 8(2) - Editorial";
Journal of Discrete Algorithms, 8 (2010), 2; 101.
More information
M. Samer, St. Szeider:
"Constraint Satisfaction with Bounded Treewidth Revisited";
Journal of Computer and System Sciences, 76 (2010), 2; 103 - 114.
U. Egly, S. Gaggl, S. Woltran:
"Answer-Set Programming Encodings for Argumentation Frameworks";
Argument & Computation, 1 (2010), 2; 147 - 177.
More information
A. Cali, T. Lukasiewicz, L. Predoiu, H. Stuckenschmidt:
"Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web";
LNCS Journal on Data Semantics, 12 (2009), 95 - 130.
T. Lukasiewicz, U. Straccia:
"Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness";
International Journal of Approximate Reasoning, 50 (2009), 6; 837 - 853.
D. Pearce, H. Tompits, S. Woltran:
"Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity";
Theory and Practice of Logic Programming, 9 (2009), 5; 565 - 616.
More information
T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran:
"Modularity Aspects of Disjunctive Stable Models";
Journal of Artificial Intelligence Research, 35 (2009), 813 - 857.
More information
A. Reiterer, M. Lehmann, M. Miljanovic, H. Ali, G. Paar, U. Egly, T. Eiter, H. Kahmen:
"A 3D optical deformation measurement system supported by knowledge-based and learning techniques";
Journal of Applied Geodesy, 3 (2009), 1; 1 - 13.
More information
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting conjunctive queries in description logic programs";
Annals of Mathematics and Artificial Intelligence, 53 (2008), 1-4; 115 - 152.
More information
C. Baral, T. Eiter, M. Bjäreland, M. Nakamura:
"Maintenance goals of agents in a dynamic environment: Formulation and policy construction";
Artificial Intelligence, 172 (2008), 12-13; 1429 - 1469.
T. Eiter, K. Makino, G. Gottlob:
"Computational Aspects of Monotone Dualization: A Brief Survey";
Discrete Applied Mathematics, 156 (2008), 11; 2035 - 2049.
T. Eiter, K. Wang:
"Semantic Forgetting in Answer Set Programming";
Artificial Intelligence, 172 (2008), 14; 1644 - 1672.
More information
L. Iocchi, T. Lukasiewicz, D. Nardi, R. Rosati:
"Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty";
ACM Transactions on Computational Logic, 10 (2009), 1.
J. Schellhase, T. Lukasiewicz:
"Using Search Strategies and a Description Logic Paradigm with Conditional Preferences for Literature Search";
International Journal of Metadata, Semantics and Ontologies, 3 (2008), 1; 68 - 83.
T. Lukasiewicz:
"Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web";
Fundamenta Informaticae, 82 (2008), 3; 289 - 310.
T. Lukasiewicz, U. Straccia:
"Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web";
International Journal on Semantic Web and Information Systems, 4 (2008), 3; 68 - 89.
T. Lukasiewicz:
"Expressive Probabilistic Description Logics";
Artificial Intelligence, 172 (2008), 6-7; 852 - 883.
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Combining Answer Set Programming with Description Logics for the Semantic Web";
Artificial Intelligence, 172 (2008), 12-13; 1495 - 1593.
T. Lukasiewicz:
"Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web";
International Journal of Approximate Reasoning, 49(1), 18-34 (2008), 1; 18 - 34.
T. Lukasiewicz, U. Straccia:
"Managing Uncertainty and Vagueness in Description Logics for the Semantic Web";
Journal of Web Semantics, 6 (2008), 4; 291 - 308.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data complexity of query answering in expressive Description Logics via tableaux";
Journal of Automated Reasoning, 41 (2008), 1; 61 - 98.
More information
U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Negation Normal Form";
Constraints, 14 (2009), 1; 38 - 79.
More information
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Repair Localization for Query Answering from Inconsistent Databases";
ACM Transactions on Database Systems, 33 (2008), 2; 10:01 - 10:51.
T. Eiter, W. Faber, M. Fink, S. Woltran:
"Complexity results for answer set programming with bounded predicate arities and implications";
Annals of Mathematics and Artificial Intelligence (invited), 51 (2007), 2-4; 123 - 165.
A. Reiterer, U. Egly, T. Eiter, H. Kahmen:
"A knowledge-based videotheodolite measurement system for object representation /monitoring";
Advances in Engineering Software, 39 (2008), 10; 821 - 827.
More information
N. Creignou, H. Daude, U. Egly:
"Phase Transition for Random Quantified XOR-Formulas";
Journal of Artificial Intelligence Research, 29 (2007), 1 - 18.
T. Lukasiewicz:
"Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Complexity, Algorithms, and Implementation.";
International Journal of Approximate Reasoning, 44 (2007), 3; 301 - 321.
T. Lukasiewicz:
"Probabilistic Description Logic Programs";
International Journal of Approximate Reasoning, 45 (2007), 2; 288 - 307.
T. Lukasiewicz, J. Schellhase:
"Variable-Strength Conditional Preferences for Ranking Objects in Ontologies";
Journal of Web Semantics, 5 (2007), 3; 180 - 194.
T. Eiter, E. Erdem, W. Faber, J. Senko:
"A Logic-Based Approach to Finding Explanations for Discrepencies in Optimistic Plan Execution";
Fundamenta Informaticae, 79 (2007), 1-2; 25 - 69.
T. Eiter, K. Makino:
"On Computing all Abductive Explanations from a Propositional Horn Theory";
Journal of the ACM, 54 (2007), 4; 24:1 - 24:54.
M. Ortiz de la Fuente, M. Osorio:
"Strong Negation and Equivalence in the Safe Belief Semantics";
Journal of Logic and Computation, 17 (2007), 3; 499 - 515.
More information
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions based on Semantic Preferences";
Annals of Mathematics and Artificial Intelligence (invited), 50 (2007), 3-4; 273 - 304.
T. Eiter, M. Fink, S. Woltran:
"Semantical Characterizations and Complexity of Equivalences in Answer Set Programming";
ACM Transactions on Computational Logic, 8 (2007), 3; 1 - 53.
T. Eiter, M. Fink, H. Tompits:
"A Knowledge-Based Approach for Selecting Information Sources";
Theory and Practice of Logic Programming, 7 (2007), 3; 249 - 300.
T. Eiter, G. Gottlob:
"Reasoning Under Minimal Upper Bounds in Propositional Logic";
Theoretical Computer Science, 369 (2006), 82 - 115.
T. Eiter, A. Polleres:
"Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications";
Theory and Practice of Logic Programming, 6 (2006), 1-2; 23 - 60.
T. Eiter, T. Lukasiewicz:
"Causes and Explanations in the Structural-Model Approach: Tractable Cases";
Artificial Intelligence, 170 (2006), 6-7; 542 - 580.
E. Erdem, V. Lifschitz, D. Ringe:
"Temporal phylogenetic networks and logic programming";
Theory and Practice of Logic Programming, 6 (2006), 5; 539 - 558.
N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello:
"The DLV System for knowledge representation and reasoning";
ACM Transactions on Computational Logic, Vol. 7 (2006), 3; 499 - 562.
More information
T. Lukasiewicz:
"Nonmonotonic Probabilistic Reasoning under Variable-Strength Inheritance with Overriding";
Synthese, 146 (2005), 1-2; 153 - 169.
T. Lukasiewicz:
"Weak Nonmonotonic Probabilistic Logics";
Artificial Intelligence, 168 (2005), 1-2; 119 - 161.
V. Biazzo, A. Gilio, T. Lukasiewicz, G. Sanfilippo:
"Probabilistic Logic under Coherence: Complexity and Algorithms";
Annals of Mathematics and Artificial Intelligence, Online First (2005), Online First.
J. Dix, T. Eiter:
"Answer Set Programming and Agents";
AgentLink News, 19 (2005), 14 - 17.
T. Eiter, D. Lembo:
"Preface";
Journal of Applied Logic, 3 (2005), 2; 251 - 252.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Reasoning about Evolving Nonmonotonic Knowledge Bases";
ACM Transactions on Computational Logic, 6 (2005), 2; 389 - 440.
M. Cadoli, T. Eiter, G. Gottlob:
"Complexity of Nested Circumscription and Nested Abnormality Theories";
ACM Transactions on Computational Logic, 6 (2005), 2; 232 - 272.
U. Egly, R. Pichler, S. Woltran:
"On Deciding Subsumption Problems";
Annals of Mathematics and Artificial Intelligence, 43 (2005), 1-4; 255 - 294.
T. Eiter, T. Lukasiewicz:
"Complexity Results for Explanations in the Structural-Model Approach";
Artificial Intelligence, 154 (2004), 1-2; 145 - 198.
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity";
ACM Transactions on Computational Logic, 5 (2004), 2; 206 - 263.
J. Delgrande, T. Schaub, H. Tompits, K. Wang:
"A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning";
Computational Intelligence, 20 (2004), 2; 308 - 334.
J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
"On Computing Solutions to Belief Change Scenarios";
Journal of Logic and Computation, 14 (2004), 6; 801 - 826.
G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, T. Eiter, N. Henze, M. Herzog, W. May, V. Patti, R. Schindlauer, H. Tompits, S. Schaffert:
"Reasoning Methods for Personalization on the Semantic Web";
Annals of Mathematics, Computing & Teleinformatics, 2 (2004), 1 - 24.
More information
W. Faber, S. Woltran:
"KR 2004 - Konferenzbericht";
ÖGAI Journal, 23 (2004), 24 - 27.
A. Reiterer, H. Kahmen, U. Egly, T. Eiter:
"Wissensbasierte Bildaufbereitung für ein videotheodolit-basiertes Multisensorsystem";
Allgemeine Vermessungs-Nachrichten (AVN), 111 (2004), 06; 202 - 208.
More information
J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
Fundamenta Informaticae, 57 (2003), 2-4; 345 - 370.
T. Eiter, G. Gottlob, K. Makino:
"New Results on Monotone Dualization and Generating Hypergraph Transversals";
SIAM JOURNAL ON COMPUTING, 32 (2003), 2; 514 - 537.
A. Polleres:
"The DLVK System for Planning with Incomplete Knowledge";
ÖGAI Journal, 22 (2003), 1; 25 - 29.
U. Egly, H. Tompits:
"On Different Proof-Search Strategies for Orthologic";
Studia Logica, 73 (2003), 1; 131 - 152.
J. Delgrande, T. Schaub, H. Tompits:
"A Framework for Compiling Preferences in Logic Programs";
Theory and Practice of Logic Programming, 3 (2003), 2; 129 - 187.
K. Chmelina, H. Kahmen, T. Eiter, U. Egly:
"Heuristische Echtzeit-Fehlererkennung bei Deformationsmessungen während des Tunnelvortriebs";
Zeitschrift für Geodäsie, Geoinformation und Landmanagement (zfv), 128 (2003), 5; 333 - 340.
More information
A. Reiterer, H. Kahmen, U. Egly, T. Eiter:
"3D- Messverfahren mit Videotheodoliten und automatisierte Zielpunkterfassung mit Hilfe von Interest Operatoren";
Allgemeine Vermessungs-Nachrichten (AVN), 110 (2003), 04; 150 - 156.
More information
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"A Logic Programming Approach to Knowledge-State Planning, II: The DLVK System";
Artificial Intelligence, 144 (2003), 1; 157 - 211.
More information
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"Answer Set Planning under Action Costs";
Journal of Artificial Intelligence Research, 19 (2003), 25 - 71.
More information
T. Eiter, W. Faber, N. Leone, G. Pfeifer:
"Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming";
Theory and Practice of Logic Programming, 3 (2003), 4+5; 463 - 498.
More information
T. Eiter, M. Fink, R. Schindlauer, H. Tompits:
"Answer Set Programming for Intelligent Web Services";
ÖGAI Journal, 22 (2003), 2; 17 - 22.
F. Buccafurri, W. Faber, N. Leone:
"Disjunctive Logic Programs with Inheritance";
Theory and Practice of Logic Programming, 2 (2002), 3; 293 - 321.
More information
A. Polleres:
"Planen in der AI";
Computer kommunikativ, 5 (2002), 30 - 31.
A. Polleres:
"JELIA 2002";
Computer kommunikativ, 5 (2002), 28 - 29.
S. Woltran:
"Die Federated Logic Conference (FLoC)";
Computer kommunikativ, 5 (2002), 27 - 28.
A. Polleres:
"PLANET International summer School on AI Planning 2002, Chalkidiki, Griechenland";
ÖGAI Journal, 4 (2002), 26 - 28.
More information
A. Polleres:
"JELIA 2002";
ÖGAI Journal, 4 (2002), 23 - 25.
More information
S. Woltran:
"Konferenzbericht FLOC-2002 ";
ÖGAI Journal, 21 (2002), 3; 23 - 25.
T. Eiter, T. Ibaraki, K. Makino:
"Recognition and Dualization of Disguised Bidual Horn Functions";
Information Processing Letters, 82 (2002), 6; 283 - 291.
T. Eiter, T. Lukasiewicz:
"Complexity Results for Structure-Based Causality";
Artificial Intelligence, 142 (2002), 1; 53 - 89.
T. Eiter, V. Mascardi:
"A Comparison of Environments for Developing Software Agents";
The European Journal on Artificial Intelligence (AI Communications), 15 (2002), 4; 169 - 197.
T. Eiter, K. Makino, T. Ibaraki:
"Decision Lists and Related Boolean Functions";
Theoretical Computer Science, 270 (2002), 1-2; 493 - 524.
S. Woltran:
"A Framework for Solving Advanced Reasoning Tasks - Summary of the Thesis";
ÖGAI Journal, 21 (2002), 4; 29 - 33.
More information
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Using Methods of Declarative Logic Programming for Intelligent Information Agents";
Theory and Practice of Logic Programming, 2 (2002), 6; 645 - 710.
More information
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"On Properties of Update Sequences Based on Causal Rejection";
Theory and Practice of Logic Programming, 2 (2002), 6; 711 - 767.
More information
T. Eiter, H. Veith:
"On the complexity of Data Disjunctions";
Theoretical Computer Science, 288 (2002), 101 - 128.
Contributions to Books
G. Brewka, T. Eiter, M. Fink:
"Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources";
in: "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond", M. Balduccini, T. Son (ed.); Springer-Verlag, Heidelberg, Lecture Notes in Computer Science vol. 6565, 2011, (invited), ISBN: 978-3-642-20831-7, 233 - 258.
More information
M. R. Fellows, S. Gaspers, F. A. Rosamond:
"Multivariate Complexity Theory";
in: "Computer Science: The Hardware, Software and Heart of It", E. Blum, A. Aho (ed.); Springer, New York, 2011, ISBN: 978-1-4614-1167-3, 269 - 293.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Dynamic Distributed Nonmontonic Multi-Context Systems";
in: "Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary", G. Brewka, V. Marek, M. Truszczynski (ed.); College Publications, London, United Kingdom, 2011, (invited), ISBN: 978-1-84890-042-4.
More information
T. Eiter, G. Gottlob, T. Schwentick:
"The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey";
in: "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday", A. Blass, N Dershowitz, W. Reisig (ed.); Springer LNCS, Heidelberg (LNCS 6300), 2010, (invited), ISSN: 0302-9743, 227 - 250.
T. Lukasiewicz, U. Straccia:
"Tightly coupled fuzzy description logic programs under the answer set semantics for the Semantic Web";
in: "Progressive Concepts for Semantic Web Evolution: Applications and Developments", issued by: Advances in Semantic Web Information Systems; Information Science Reference, 2010, (invited), ISBN: 9781605669922, 237 - 254.
A. Cali, G. Gottlob, T. Lukasiewicz:
"Datalog extensions for tractable query answering over ontologies";
in: "Semantic Web Information Management: A Model-Based Perspective", R. De Virgilio, F. Giunchiglia, L. Tanca (ed.); Springer, Heidelberg, 2010, (invited), ISBN: 978-3-642-04328-4, 249 - 279.
N. Lopes, T. Krennwallner, A. Polleres, W. Akhtar, St. Corlosquet:
"XSPARQL: Implementation and Test-cases";
in: "XSPARQL Submission", World Wide Web Consortium (W3C), Cambridge, MA, 2009, 1 pages.
More information
T. Krennwallner, N. Lopes, A. Polleres:
"XSPARQL: Semantics";
in: "XSPARQL Submission", World Wide Web Consortium (W3C), Cambridge, MA, 2009, 1 pages.
More information
A. Polleres, T. Krennwallner, N. Lopes, J. Kopecký, D. Decker:
"XSPARQL Language Specification";
in: "XSPARQL Submission", World Wide Web Consortium (W3C), Cambridge, MA, 2009, 1 pages.
More information
W. Drabent, T. Eiter, G. Ianni, T. Krennwallner, T. Lukasiewicz, J. Maluszynski:
"Hybrid Reasoning with Rules and Ontologies";
in: "Semantic Techniques for the Web: The REWERSE Perspective", F. Bry, J. Maluszynski (ed.); Springer, Heidelberg, 2009, (invited), ISBN: 978-3-642-04580-6, 1 - 49.
More information
P. da Costa, K.B. Laskey, T. Lukasiewicz:
"Uncertainty Representation and Reasoning in the Semantic Web";
in: "Semantic Web Engineering in the Knowledge Society", J. Cardoso, M. Lytras (ed.); Information Science Reference, 2008, ISBN: 978-1-60566-112-4, 315 - 340.
A. Cali, T. Lukasiewicz, L. Predoiu, H. Stuckenschmidt:
"Rule-Based Approaches for Representing Probabilistic Ontology Mappings";
in: "Uncertainty Reasoning for the Semantic Web I, Volume 5327 of Lecture Notes in Computer Science", P. da Costa, C. dŽAmato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, N. Nickles, M. Pool (ed.); issued by: Springer; Springer LNCS, Berlin / Heidelberg, 2008, ISBN: 978-3-540-89764-4, 66 - 87.
A. Cali, T. Lukasiewicz:
"An Approach to Probabilistic Data Integration for the Semantic Web";
in: "Uncertainty Reasoning for the Semantic Web I, Volume 5327 of Lecture Notes in Computer Science", P. da Costa, C. dŽAmato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, N. Nickles, M. Pool (ed.); issued by: Springer; Springer LNCS, Berlin / Heidelberg, 2008, ISBN: 978-3-540-89764-4, 52 - 65.
T. Eiter, W. Faber, G. Pfeifer, A. Polleres:
"Declarative Planning and Knowledge Representation in an Action Language";
in: "Intelligent Techniques for Planning", I. Vlahavas, D. Vrakas (ed.); Idea Group Publishing, 2005, ISBN: 1-59140-450-9, 1 - 34.
P. Besnard, T. Schaub, H. Tompits, S. Woltran:
"Representing Paraconsistent Reasoning via Quantified Propositional Logic";
in: "Inconsistency Tolerance", L. Bertossi et al. (ed.); Springer, LNCS 3300, 2005, ISBN: 3-540-24260-0, 84 - 118.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
" Declarative Update Policies for Nonmonotonic Knowledge Bases";
in: "Logics for Emerging Applications of Databases", J. Chomicki et al. (ed.); Springer, 2003, (invited), ISBN: 3-540-00705-9, 85 - 129.
T. Eiter, V. Mascardi, V. Subrahmanian:
"Error-Tolerant Agents";
in: "Computational Logic: From Logic Programming into the Future", A. Kakas, F. Sadri (ed.); Springer, 2002, ISBN: 3-540-43959-5, 586 - 625.
Contributions to Proceedings
P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer:
"Towards Semantics-Aware Merge Support in Optimistic Model Versioning";
in: "Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers", Springer LNCS, Berlin-Heidelberg, 2012, ISSN: 0302-9743, 246 - 256.
More information
G. Xiao, T. Eiter:
"Inline Evaluation of Hybrid Knowledge Bases - PhD Description";
in: "Web Reasoning and Rule Systems - 5th International Conference", S. Rudolph, C. Gutierrez (ed.); Springer LNCS, Galway, Ireland, 2011, 300 - 305.
More information
M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
"spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics";
in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 247 - 252.
More information
S. Heymans, C. Feier, T. Eiter:
"A Reasoner for Simple Conceptual Logic Programs";
in: "Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009)", Springer, 2009, ISBN: 978-3-642-05081-7, 55 - 70.
More information
J. De Bruijn, S. Heymans:
"Complexity of the Stable Model Semantics for Queries on Incomplete Databases";
in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", Springer, 2009, ISBN: 978-3-642-04237-9, 101 - 114.
More information
C. Feier, S. Heymans:
"Hybrid Reasoning with Forest Logic Programs";
in: "Proceedings of 6th Annual European Semantic Web Conference (ESWC 2009)", Springer LNCS, 2009, ISBN: 978-3-642-02120-6, 338 - 352.
More information
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 241 - 246.
M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
"spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics";
in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)", Bayerische Julius-Maximilians-Universität Würzburg,, 2007, 4 pages.
J. Delgrande, T. Schaub, H. Tompits:
"A Preference-Based Framework for Updating Logic Programs: Preliminary Report";
in: "Informal Proceedings Workshop on Preferences and their Applications in Logic Programming (PREFS 2006)", E. Pontelli, T. Son (ed.); FLOC-Workshop on Preferences and their Applications in Logic Programming (PREFS 2006), 2006, Paper ID 3, 15 pages.
C. Cumbo, W. Faber, G. Greco, N. Leone:
"Enhancing the Magic-Set Method for Disjunctive Datalog Programs";
in: "Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 2004, Proceedings", B. Demoen, V. Lifschitz (ed.); Springer, LNCS, 2004, ISBN: 3-540-22671-0, 371 - 385.
M. Citrigno, W. Faber, G. Greco, N. Leone:
"Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions DB";
in: "Proceedings of CILC'04 -- Italian Conference on Computational Logic", E. Panegai, G. Rossi (ed.); issued by: `Universita degli Studi di Parma; Eigenverlag, 2004, 148 - 162.
F. Calimeri, M. Citrigno, C. Cumbo, W. Faber, N. Leone, S. Perri, G. Pfeifer:
"New DLV Features for Data Integration";
in: "Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 2004, Proceedings", J. Alferes, J. Leite (ed.); Springer, LNAI, 2004, ISBN: 3-540-23242-7, 698 - 701.
U. Egly, B. Schiemann, J. Schneeberger:
"Technical Documentation and Semantic Web Based Methods";
in: "Proceedings of the Symposium on Professional Practice in AI, First IFIP International Conference on Artificial Intelligence Application and Innovations (AIAI 2004) as part of: IFIP World Computer Congress (WCC 2004)", E. Mercier-Laurent, J. Debenham (ed.); IFIP Press, 2004, ISBN: 2-907801-05-8, 235 - 244.
V. Sarsakov, T. Schaub, H. Tompits, S. Woltran:
"nlp: A Compiler for Nested Logic Programming";
in: "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning", V. Lifschitz, I. Niemelä (ed.); Springer, LNAI 2923, 2004, ISBN: 3-540-20721-x, 361 - 364.
J. Delgrande, T. Schaub, H. Tompits:
"Domain-Specific Preferences for Causal Reasoning and Planning";
in: "Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling", S. Zilberstein, J. Koehler, S. Koenig (ed.); AAAI Press, Menlo Park, CA, USA, 2004, ISBN: 1-57735-200-9, 63 - 72.
C. Baral, T. Eiter:
"A Polynomial-Time Algorithm for Constructing k-Maintainable Policies";
in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, Menlo Park, CA, USA, 2004, ISBN: 1-57735-201-7, 720 - 729.
T. Eiter, T. Lukasiewicz:
"Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories";
in: "Proceedings Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI-2003)", Morgan Kaufmann Publishers, San Francisco, CA, USA, 2003, ISBN: 0-127-05664-5, 192 - 199.
J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
in: "Proceedings of the 26th Annual German Conference on Artificial Intelligence (KI 2003)", Springer, 2003, ISBN: 3-540-20059-2, 646 - 660.
T. Eiter, M. Fink:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
in: "Logic Programming, 19th International Conference, ICLP 2003, Proceedings", C. Palamidessi (ed.); Springer, 2003, ISBN: 3-540-20642-6, 224 - 238.
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Efficient Evaluation of Logic Programs for Querying Data Integration Systems";
in: "Logic Programming, 19th International Conference, ICLP 2003, Proceedings", C. Palamidessi (ed.); Springer, 2003, ISBN: 3-540-20642-6, 163 - 177.
T. DellŽArmi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
"System Description: DLV with Aggregates";
in: "Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004", V. Lifschitz, I. Niemelä (ed.); Springer, LNAI 2923, 2004, ISBN: 3-540-20721-x, 326 - 330.
T. DellŽArmi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
"Aggregate Functions in Disjunctive Logic Programming: Semantics,Complexity,and Implementation in DLV";
in: "Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003", Elsevier Science Publishers, 2003, ISBN: 0-127-05661-0, 847 - 852.
More information
T. DellŽArmi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
"Aggregate Functions in DLV";
in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS.org, 2003, ISSN: 1613-0073, 274 - 288.
More information
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"Answer Set Planning under Action Costs";
in: "Logics in Artificial in Intelligence, LNAI 2424", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Springer, Cosenza, Italy, 2002, ISBN: 3-540-44190-5, 186 - 197.
More information
T. Eiter, G. Gottlob:
"Hypergraph Transversal Computation and Related Problems in Logic and AI";
in: "Logics in Artificial Intelligence, LNAI 2424", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Springer, Cosenza, Italy, 2002, ISBN: 3-540-44190-5, 549 - 564.
More information
T. Eiter, G. Gottlob, K. Makino:
"New Results on Monotone Dualization and Generating Hypergraph Transversals";
in: "Proceedings of the 34th annual ACM Symposium on Theory of computing", J. Reif (ed.); ACM Press, New York, NY, USA, 2002, ISBN: 1-58113-495-9, 14 - 22.
More information
Talks and Poster Presentations (with Proceedings-Entry)
M. Fink:
"Recent Advancements in Nonmonotonic Multi-Context Systems";
Keynote Lecture: International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, Austria (invited); 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", TU Wien, (2011), Paper ID 2, 2 pages.
More information
M. Widl:
"Towards a Uniform Framework to Support the Evolution of Software Models";
Talk: Doctoral Symposium at Models 2011 Conference, Wellington, New Zealand; 10-17-2011; in: "Proceedings of the Doctoral Symposium at MODELS 2011", (2011), 8 pages.
More information
A. Weinzierl:
"Advancing Multi-Context Systems by Inconsistency Management";
Talk: 5th International Symposium on Rules (RuleML 2011@IJCAI), Barcelona, Spain; 07-19-2011; in: "Proceedings of the Doctoral Consortium and Poster Session", C. Damasio, A. Preece, U. Straccia (ed.); (2011), 8 pages.
More information
M. Fink, L. Ghionna, A. Weinzierl:
"Relational Information Exchange and Aggregation in Multi-Context Systems";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, (2011), ISBN: 978-3-642-20895-9; 120 - 133.
More information
P. Schüller, A. Weinzierl:
"Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems";
Talk: International Workshop on Semantic Search over the Web, London, United Kingdom; 06-20-2011 - 06-24-2011; in: "Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings", C. Salinesi, O. Pastor (ed.); Springer, LNBIP/83 (2011), ISBN: 978-3-642-22056-2; 575 - 585.
More information
G. Brewka, T. Eiter, M. Fink, A. Weinzierl:
"Managed Multi-Context Systems";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 786 - 791.
More information
D. Le-Phuoc, M. Dao-Tran, J. Xavier Parreira, M. Hauswirth:
"A Native and Adaptive Approach for Unified Processing of Linked Streams and Linked Data";
Talk: International Semantic Web Conference (ISWC), Bonn, Germany; 10-23-2011 - 10-27-2011; in: "10th International Semantic Web Conference 2011", Springer, 7031 (2011), 370 - 388.
More information
J. Oetsch, J. Puehrer, H. Tompits:
"The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report";
Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", INFSYS Research Report, 1843-11-06 (2011), 141 - 151.
More information
C. Kloimüllner, J. Oetsch, J. Puehrer, H. Tompits:
"Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs";
Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", INFSYS Research Report, 1843-11-06 (2011), 152 - 164.
More information
E. Erdem, K. Inoue, J. Oetsch, J. Puehrer, H. Tompits, C. Yilmaz:
"Answer-Set Programming as a new Approach to Event-Sequence Testing";
Talk: Third International Conference on Advances in System Testing and Validation Lifecycle (VALID'11), Barcelona, Spain; 10-23-2011 - 10-29-2011; in: "Proceedings of The Second International Conference on Advances in System Testing and Validation Lifecycle", Xpert Publishing Services, (2011), ISBN: 978-1-61208-168-7; 25 - 34.
More information
S. Gaspers, St. Szeider:
"The Parameterized Complexity of Local Consistency";
Talk: International Conference on Principles and Practice of Constraint Programming (CP), Perugia, Italien; 09-12-2011 - 09-16-2011; in: "Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011)", Lecture Notes in Computer Science, Springer, 6876 (2011), 302 - 316.
More information
J. Fichte:
"The Good, the Bad, and the Odd: Cycles in Answer-Set Programs";
Talk: Student Session of the European Summer School in Logic, Language and Information (ESSLLI), Ljubljana, Slovenia; 08-01-2011 - 08-12-2011; in: "Proceedings of the 2011 ESSLLI Student Session (23rd European Summer School in Logic, Language, & Information)", (2011), 9 pages.
More information
S. Gaspers, M. Liedloff, M. Stein, K. Suchan:
"Complexity of Splits Reconstruction for Low-Degree Trees";
Talk: International Workshop on Graph-Theoretic Concepts in Computer Science (WG), Teplá, Czech Republic; 06-21-2011 - 06-24-2011; in: "Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2011)", Lecture Notes in Computer Science, Springer, 6986 (2011), 167 - 178.
More information
S. Ordyniak, D. Paulusma, St. Szeider:
"Satisfiability of Acyclic and Almost Acyclic CNF Formulas";
Talk: Theory and Application of Satisfiability Testing -- SAT, Ann Arbor, MI, USA; 06-19-2011 - 06-22-2011; in: "Theory and Applications of Satisfiability Testing - SAT 2011", Lecture Notes in Computer Science, 6695 (2011), 47 - 60.
More information
J. Fichte, St. Szeider:
"Backdoors to Tractable Answer-Set Programming";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), 863 - 868.
More information
S. Ordyniak, St. Szeider:
"Augmenting Tractable Fragments of Abstract Argumentation";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), 1033 - 1038.
More information
S. Gaspers, St. Szeider:
"Kernels for Global Constraints";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spanien; 07-16-2011 - 07-22-2011; in: "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)", (2011), 540 - 545.
More information
St. Szeider:
"Limits of Preprocessing";
Talk: National Conference on Artificial Intelligence (AAAI), San Francisco, USA; 08-07-2011 - 08-11-2011; in: "Proceedings of the Twenty-Fifth Conference on Artificial Intelligence (AAAI 2011)", (2011), ISBN: 978-1-57735-507-6; 93 - 98.
More information
J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl:
"VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering Techniques";
Talk: MELO 2011 - Model-Driven Engineering, Logic and Optimization: friends or foes?, Birmingham, UK; 06-06-2011; in: "Proceedings of the MELO 2011Workshop: Model-Driven Engineering, Logic and Optimization: friends or foes?", (2011), 16 pages.
More information
T. Janhunen, I. Niemelä, J. Oetsch, J. Puehrer, H. Tompits:
"Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 242 - 247.
More information
J. Oetsch, H. Tompits:
"Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 254 - 259.
More information
J. Oetsch, J. Puehrer, H. Tompits:
"Stepping through an Answer-Set Program";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 134 - 147.
More information
J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl:
"VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 382 - 387.
More information
D. Calvanese, D. Carbotta, M. Ortiz de la Fuente:
"A Practical Automata-Based Technique for Reasoning in Expressive Description Logics";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 798 - 804.
More information
D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
"Containment of Regular Path Queries under Description Logic Constraints";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 805 - 812.
More information
M. Ortiz de la Fuente, M. Simkus, S. Rudolph:
"Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 1039 - 1044.
More information
Y. Lierler, P. Schüller:
"Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report";
Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, H. Tompits, M. Umeda, A. Wolf (ed.); INFSYS Research Report, 1843-11-06 (2011), 208 - 219.
More information
P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer:
"Towards Semantics-Aware Merge Support in Optimistic Model Versioning";
Talk: Models & Evolution Workshop @ ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, New Zealand; 10-18-2011; in: "Proceedings of the Models and Evolution Workshop @ MoDELS'11", (2011), 10 pages.
More information
P. Schneider:
"DC Proposal: Towards a Framework for Efficient Query Answering and Integration of Geospatial Data";
Talk: International Semantic Web Conference (ISWC), Bonn, Germany; 10-23-2011 - 10-27-2011; in: "10th International Semantic Web Conference 2011", L. Aroyo, C. Welty, H. Alani, J. Taylor, A. Bernstein, L. Kagal, N. Noy, E. Blomqvist (ed.); Springer, 7032 (2011), 349 - 356.
More information
T. Eiter, T. Krennwallner, C. Redl:
"Nested HEX-Programs";
Talk: International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, Austria; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", H. Tompits (ed.); Computing Research Repository (CoRR), arXiv, arXiv:1108.5626v1 (2011), 6 pages.
More information
D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
"The Complexity of Conjunctive Query Abduction in DL-Lite";
Talk: International Workshop on Description Logics (DL), Barcelon, Spain; 07-13-2011 - 07-16-2011; in: "CEUR Workshop Proceedings", R. Rosati, S. Rudolph, M. Zakharyaschev (ed.); CEUR Workshop Proceedings, 745 (2011), ISSN: 1613-0073; Paper ID 49, 11 pages.
More information
T. Eiter, T. Krennwallner, C. Redl:
"Declarative Merging of and Reasoning about Decision Diagrams";
Talk: Workshop on Constraint Based Methods for Bioinformatics (WCB), Perugia, Italy; 09-12-2011; in: "Workshop on Constraint Based Methods for Bioinformatics 2011 (WCB 2011)", A. Dal Palù, A. Dovier, A. Formisano (ed.); Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia, Perugia, Italy (2011), Paper ID 1, 13 pages.
More information
T. Eiter, M. Fink, G. Ianni, P. Schüller:
"Towards a Policy Language for Managing Inconsistency in Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 05-16-2011; in: "Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications", A. Mileo, M. Fink (ed.); CEUR workshop proceedings, 738 (2011), ISSN: 1613-0073; Paper ID 5, 13 pages.
More information
T. Krennwallner:
"Promoting Modular Nonmonotonic Logic Programs";
Talk: International Conference on Logic Programming (ICLP), Lexington, KY, U.S.A.; 07-06-2011 - 07-10-2011; in: "Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)", J. Gallagher, M. Gelfond (ed.); Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 11 (2011), ISSN: 1868-8969; Paper ID 29, 6 pages.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Model Streaming for Distributed Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada; 05-16-2011; in: "2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications", A. Mileo, M. Fink (ed.); CEUR Workshop Proceedings, Vancouver, Canada (2011), ISSN: 1613-0073; Paper ID 4, 12 pages.
More information
T. Eiter, M. Fink, P. Schüller:
"Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, 6645 (2011), ISSN: 0302-9743; 107 - 119.
More information
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", J. Delgrande, W. Faber (ed.); Springer, (2011), 93 - 106.
More information
C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
"Symmetry Breaking for Distributed Multi-Context Systems";
Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning", J. Delgrande, W. Faber (ed.); Springer, (2011), 26 - 39.
More information
T. Krennwallner:
"Combining Nonmonotonic Knowledge Bases for Modular and Distributed Knowledge-Based Information Systems";
Talk: International Workshop on Business Models, Business Rules and Ontologies (BuRO), Bressanone/Brixen, Italy (invited); 09-21-2010; in: "1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010)", T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, F. Lévy (ed.); Ontorule Project, (2010), 41.
More information
T. Vicovac, A. Reiterer, U. Egly, T. Eiter, D. Rieke-Zapp:
"Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System";
Talk: World Computer Congress Brisbane 2010, Brisbane; 09-20-2010 - 09-23-2010; in: "Artificial Intelligence in Theory and Practice III; IFIP Advances in Information and Communication Technology", M. Bramer (ed.); Springer, 331 (2010), ISSN: 1868-4238; 215 - 224.
More information
T. Eiter, M. Mushthofa, W. Faber:
"Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities";
Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 07-11-2010 - 07-15-2010; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)", M. Fox, D. Poole (ed.); AAAI Press, (2010), ISBN: 978-1-57735-463-5; 303 - 308.
More information
A. Cali, G. Gottlob, M. Kifer, T. Lukasiewicz, A. Pieris:
"Ontological reasoning with F-Logic Lite and its extensions";
Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 07-11-2010 - 07-15-2010; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)", M. Fox, D. Poole (ed.); AAAI Press, (2010), ISBN: 978-1-57735-463-5; 1660 - 1665.
C. dŽAmato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz:
"Combining Semantic Web search with the power of inductive reasoning";
Talk: International Conference on Scalable Uncertainty Management (SUM), Toulouse, France; 09-27-2010 - 09-29-2010; in: "Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM 2010)", A. Deshpande, A. Hunter (ed.); Springer LNCS, 6379 (2010), ISBN: 978-3-642-15950-3; 137 - 150.
More information
C. dŽAmato, F. Esposito, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz:
"Inductive reasoning and Semantic Web search";
Talk: 25th ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland; 03-22-2010 - 03-26-2010; in: "Proceedings of the 25th ACM Symposium on Applied Computing (SAC 2010)", S. Shin, S. Ossowski, M. Schumacher, M. Palakal, C. Hung (ed.); ACM, (2010), ISBN: 978-1-60558-638-0; 1446 - 1447.
More information
B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz:
"Semantic Web search based on ontological conjunctive queries";
Talk: International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Sofia, Bulgaria; 02-14-2010 - 02-19-2010; in: "Proceedings of the 6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010)", H. Prade, S. Link (ed.); Springer LNCS, 5956 (2010), ISBN: 978-3-642-11828-9; 153 - 172.
More information
A. Cali, G. Gottlob, T. Lukasiewicz, B. Marnette, A. Pieris:
"Datalog+/-: A family of logical knowledge representation and query languages for new applications";
Keynote Lecture: Symposium on Logic in Computer Science (LICS), Edinburgh, United Kingdom (invited); 07-11-2010 - 07-14-2010; in: "Proceedings of the 25th Symposium on Logic in Computer Science (LICS 2010)", J.-P. Jouannaud (ed.); IEEE Computer Society, (2010), ISBN: 978-0-7695-4114-3; 228 - 242.
More information
St. Szeider:
"Not So Easy Problems For Tree Decomposable Graphs";
Talk: International Conference on Discrete Mathematics, Mysore, India; 06-06-2008 - 06-10-2008; in: "Selected and revised papers of ICDM 2008", Ramanujan Mathematical Society (RMS), Lecture Notes Series no. 13 (2010), 179 - 190.
More information
C. Feier, S. Heymans:
"An Optimization for Reasoning with Forest Logic Programs";
Talk: Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2010, Edinburgh; 07-20-2010; in: "Proc. of the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2010)", S. Woltran, M. Balduccini (ed.); (2010), 15 pages.
More information
M. R. Fellows, S. Gaspers, F. A. Rosamond:
"Parameterizing by the Number of Numbers";
Talk: International Symposium on Parameterized and Exact Computation (IPEC), Chennai, Indien; 12-13-2010 - 12-15-2010; in: "Parameterized and Exact Computation", Springer LNCS, 6478 (2010), ISSN: 0302-9743; 123 - 134.
More information
S. Basol, O. Erdem, M. Fink, G. Ianni:
"HEX Programs with Action Atoms";
Talk: International Conference on Logic Programming (ICLP), Edinburgh, Scotland; 07-16-2010 - 07-19-2010; in: "Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK", M. Hermenegildo, T. Schaub (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs vol. 7 (2010), ISBN: 978-3-939897-17-0; 24 - 33.
More information
M. Fink, D. Pearce:
"A Logical Semantics for Description Logic Programs";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "Logics in Artificial Intelligence - Proceedings12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010", T. Janhunen, I. Niemelä (ed.); Springer, Lecture Notes in Computer Science vol. 6341 (2010), ISBN: 978-3-642-15674-8; 156 - 168.
More information
T. Eiter, M. Fink, J. Moura:
"Paracoherent Answer Set Programming";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; in: "Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park (2010), ISBN: 978-1-57735-452-9; 486 - 496.
More information
S. Heymans, R. Korf, M. Erdmann, J. Puehrer, T. Eiter:
"F-Logic#: Loosely Coupling F-Logic Rules and Ontologies";
Talk: IEEE/WIC/ACM International Conference on Web Intelligence (WI'10), Toronto, Kanada; 08-31-2010 - 09-03-2010; in: "Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence (WI'10)", H. Coelho, R. Studer, M. Wooldridge (ed.); (2010), ISBN: 978-0-7695-3801-3; 248 - 255.
More information
A. Weinzierl:
"Comparing Inconsistency Resolutions in Multi-Context Systems";
Talk: Student Session of the European Summer School in Logic, Language and Information (ESSLLI), Copenhagen, Denmark; 08-09-2010 - 08-20-2010; in: "Student Session of the European Summer School for Logic, Language, and Information", M. Slavkovik (ed.); (2010), 8 pages.
More information
A. Weinzierl, M. Fink, T. Eiter:
"Meta-Reasoning in Multi-Context Systems";
Poster: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 303 - 304.
More information
T. Eiter, M. Fink, A. Weinzierl:
"Preference-Based Inconsistency Assessment in Multi-Context Systems";
Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 143 - 155.
More information
M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic S";
Talk: International Workshop on Description Logics (DL), Waterloo, Canada; 05-04-2010 - 05-07-2010; in: "Proceedings of the 23rd International Workshop on Description Logics (DL-2010)", V. Haarslev, D. Toman, G. Weddell (ed.); CEUR workshop proceedings, 573 (2010), ISSN: 1613-0073; 149 - 160.
More information
M. Ortiz de la Fuente, S. Rudolph, M. Simkus:
"Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; in: "Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park, (2010), ISBN: 978-1-57735-452-9; 269 - 279.
More information
G. Xiao, S. Heymans, T. Eiter:
"DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs";
Talk: International Workshop on Business Models, Business Rules and Ontologies (BuRO), Bressanone/Brixen, Italy; 09-21-2010; in: "1st International Workshop on Business Models, Business Rules and Ontologies (BuRO 2010)", T. Eiter, A. El Ghali, S. Fernández, S. Heymans, T. Krennwallner, F. Lévy (ed.); Ontorule Project, (2010), 14 pages.
More information
S. Heymans, T. Eiter, G. Xiao:
"Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics";
Talk: European Conference on Artificial Intelligence (ECAI), Lisbon, Portugal; 08-16-2010 - 08-20-2010; in: "19th European Conference on Artificial Intelligence (ECAI 2010)", H. Coelho, R. Studer, M. Wooldridge (ed.); IOS Press, 215 (2010), ISBN: 978-1-60750-605-8; 35 - 40.
More information
G. Xiao, Z. Lin, Y. Ma, G. Qi:
"Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; 340 - 349.
More information
S. Ordyniak, St. Szeider:
"Algorithms and Complexity Results for Exact Bayesian Structure Learning";
Poster: Conference on Uncertainty in Artificial Intelligence (UAI), Catalina Island, California, USA; 07-08-2010 - 07-11-2010; in: "Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI 2010)", P. Grünwald, P. Spirtes (ed.); AUAI Press, (2010), ISBN: 978-0-9749039-6-5; 401 - 408.
More information
W. Dvorak, St. Szeider, S. Woltran:
"Reasoning in Argumentation Frameworks of Bounded Clique-Width";
Talk: COMMA - International Conference on Computational Models of Argument, Desenzano del Garda, Italy; 09-08-2010 - 09-10-2010; in: "Proceedings of COMMA 2010", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 216 (2010), ISBN: 978-1-60750-618-8; 219 - 230.
More information
E. Kim, S. Ordyniak, St. Szeider:
"Algorithms and Complexity Results for Persuasive Argumentation";
Talk: COMMA - International Conference on Computational Models of Argument, Desenzano del Garda, Italy; 09-08-2010 - 09-10-2010; in: "Proceedings of Third International Conference on Computational Models of Argument (COMMA 2010)", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 216 (2010), ISBN: 978-1-60750-618-8; 311 - 322.
More information
G. Gutin, E. Kim, A. Soleimanfallah, St. Szeider, A. Yeo:
"Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming";
Talk: International Symposium on Parameterized and Exact Computation (IPEC), Chennai, India; 12-13-2010 - 12-15-2010; in: "Parameterized and Exact Computation, 5th International Symposium, IPEC 2010", V. Raman, S. Saurabh (ed.); Springer, Lncs 6478/2010 (2010), 158 - 169.
More information
S. Ordyniak, D. Paulusma, St. Szeider:
"Satisfiability of Acyclic and Almost Acyclic CNF Formulas";
Talk: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai, India; 12-15-2010 - 12-18-2010; in: "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)", K. Lodaya, M. Mahajan (ed.); Leibniz International Proceedings in Informatics (LIPIcs), (2010), ISSN: 1868-8969; 84 - 95.
More information
P. VanŽt Hof, M. Kaminski, D. Paulusma, St. Szeider, D. Thilikos:
"On Contracting Graphs to Fixed Pattern Graphs";
Talk: International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Spindlerův Mlýn, Czech Republic; 01-23-2010 - 01-29-2010; in: "36th International Conference on Current Trends in Theory and Practice of Computer Science", Springer, LNCS 5901 (2010), ISBN: 978-3-642-11265-2; 503 - 514.
N. Alon, G. Gutin, E. Kim, St. Szeider, A. Yeo:
"Solving MAX-r-SAT Above a Tight Lower Bound";
Talk: ACM-SIAM Symposium on Discrete Algorithms (SODA), Austin, Texas, USA; 01-17-2010 - 01-19-2010; in: "Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms", M. Charikar (ed.); ACM-SIAM, (2010), 511 - 517.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"First-Order Encodings of Modular Nonmonotonic Logic Programs";
Talk: Datalog 2.0 Workshop, Oxford, UK; 03-16-2010 - 03-19-2010; in: "Datalog Reloaded, 1st International Workshop on Datalog 2010", O. de Moor, G. Gottlob, T. Furche, A. Sellers (ed.); Springer, 6702 (2011), ISBN: 978-3-642-24205-2; 59 - 77.
More information
C. Redl, T. Eiter, T. Krennwallner:
"Declarative Belief Set Merging using Merging Plans";
Talk: Internaional Symposium on Practical Aspects of Declarative Languages (PADL), Austin, Texas, U.S.A.; 01-24-2011 - 01-25-2011; in: "13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011)", R. Rocha, J. Launchbury (ed.); Springer, 6539 (2011), ISBN: 978-3-642-18377-5; 99 - 114.
More information
J. Oetsch, J. Puehrer, H. Tompits:
"Catching the Ouroboros: On debugging non-ground answer-set programs";
Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-14-2009 - 07-17-2009; in: "26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom (2010), ISSN: 1471-0684; 513 - 529.
More information
J. Oetsch, J. Puehrer, M. Schwengerer, H. Tompits:
"The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs";
Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-16-2010 - 07-19-2010; in: "26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom (2010), ISSN: 1471-0684; 759 - 775.
More information
J. Oetsch, J. Puehrer, H. Tompits:
"Methods and Methodologies for Developing Answer-Set Programs - Project Description";
Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-16-2010 - 07-19-2010; in: "Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 7 / Dagstuhl, Germany (2010), ISBN: 978-3-939897-17-0; 154 - 161.
More information
J. Puehrer, S. Heymans, T. Eiter:
"Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs";
Talk: The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, Heraklion, Griechenland; 05-30-2010 - 06-03-2010; in: "7th European Semantic Web Conference (ESWC 2010)", A. Lora, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, T. Tudorache (ed.); Springer, 5554 (2010), ISBN: 978-3-642-13485-2; 183 - 197.
More information
I. Niemelä, T. Janhunen, J. Oetsch, J. Puehrer, H. Tompits:
"On Testing Answer-Set Programs";
Talk: 19th European Conference on Artificial Intelligence, Lisbon, Portugal; 08-16-2010 - 08-20-2010; in: "19th European Conference on Artificial Intelligence (ECAI 2010)", H. Coelho, R. Studer, M. Wooldridge (ed.); IOS Press, Volume 215 of Frontiers in Artificial Intelligence and Applications (2010) (2010), ISBN: 978-1-60750-605-8; 951 - 956.
More information
J. Oetsch, H. Tompits:
"Gentzen-type Refutation Systems for Three-Valued Logics";
Talk: 24th Workshop on (Constraint) Logic Programming (WLP 2010), Kairo; 09-14-2010 - 09-16-2010; in: "24th Workshop on (Constraint) Logic Programming WLP'2010", S. Abdennadher (ed.); Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, Kario, Ägypten (2010), 88 - 98.
More information
J. Oetsch, J. Puehrer, H. Tompits:
"Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs";
Talk: 24th Workshop on (Constraint) Logic Programming (WLP 2010), Kairo; 09-14-2010 - 09-16-2010; in: "24th Workshop on (Constraint) Logic Programming WLP'2010", S. Abdennadher (ed.); Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, Cairo, Egypt (2010), 77 - 87.
More information
T. Eiter, M. Fink, P. Schüller:
"Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems";
Talk: NonMon@30 - Thirty Years of Nonmonotonic Reasoning, Lexington, Kentucky; 10-22-2010 - 10-25-2010; in: "NonMon@30 - Thirty Years of Nonmonotonic Reasoning", (2010), 15 pages.
More information
M. Bögl, T. Eiter, M. Fink, P. Schüller:
"The MCS-IE System for Explaining Inconsistency in Multi-Context Systems";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, Finnland; 09-13-2010 - 09-15-2010; in: "Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Lecture Notes in Artificial Intelligence/Springer, 6341 (2010), ISSN: 0302-9743; 356 - 359.
More information
R. Pichler, St. Rümmele, St. Szeider, S. Woltran:
"Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 05-09-2010 - 05-13-2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 71, 10 pages.
More information
S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems";
Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), 352 - 355.
More information
S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Distributed Nonmonotonic Multi-Context Systems";
Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 09-13-2010 - 09-15-2010; in: "12th European Conference on Logics in Artificial Intelligence", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), 24 - 37.
More information
T. Vicovac, A. Reiterer, U. Egly, T. Eiter, D. Rieke-Zapp:
"Intelligent Deformation Interpretation";
Talk: Second International Workshop on Application of Artificial Intelligence and Innovations in Engineering Geodesy (AIEG 2010), Braunschweig; 06-16-2010; in: "Application of Artificial Intelligence and Innovations in Engineering Geodesy (AIEG 2010)", A. Reiterer, U. Egly, M. Heinert, B. Riedel (ed.); (2010), ISBN: 978-3-9501492-6-5; 10 - 20.
More information
N. Lopes, A. Polleres, A. Passant, D. Decker, S. Bischof, D. Berrueta, A. Campos, St. Corlosquet, O. Erling, J. Euzenat, K. Idehen, J. Kopecký, T. Krennwallner, D. Palmisano, J. Saarela, M. Zaremba:
"RDF and XML: Towards a Unified Query Layer";
Talk: W3C Workshop RDF Next Steps, Stanford, Palo Alto, CA, USA; 06-26-2010 - 06-27-2010; in: "W3C Workshop on RDF Next Steps", D. Wood, D. Decker, I. Herman (ed.); (2010), 5 pages.
More information
P. Schüller, T. Eiter, M. Fink:
"Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems";
Poster: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 315 - 316.
More information
S. Bairakdar, M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Distributed Nonmonotonic Multi-Context Systems";
Talk: International Workshop on Non-Monotonic Reasoning (NMR), Toronto, Canada; 05-14-2010 - 05-16-2010; in: "13th International Workshop on Non-Monotonic Reasoning", T. Meyer, E. Ternovska (ed.); Toronto (2010), 7 pages.
More information
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10)", AAAI Press, Menlo Park, California (2010), ISBN: 978-1-57735-451-2; 329 - 339.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Distributed Nonmonotonic Multi-Context Systems";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada; 05-09-2010 - 05-13-2010; in: "Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR2010)", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, Menlo Park (2010), 60 - 70.
More information
C. dŽAmato, N. Fanizzi, F. Esposito, T. Lukasiewicz:
"Inductive Query Answering and Concept Retrieval Exploiting Local Models";
Talk: International Conference on Intelligent Systems Design and Applications (ISDA), Pisa, Italy; 11-30-2009 - 12-02-2009; in: "Proceedings of the 9th International Conference on Intelligent Systems Design and Applications (ISDA 2009)", B. Lazzerini, L. Jain, A. Abraham, F. Marcelloni, F. Herrera, V. Loia (ed.); IEEE Computer Society, (2009), 1209 - 1214.
C. dŽAmato, N. Fanizzi, F. Esposito, T. Lukasiewicz:
"Approximate Classification of Semantically Annotated Web Resources Exploiting Pseudo-metrics Induced by Local Models";
Talk: 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Mailand, Italien; 09-15-2009 - 09-18-2009; in: "Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2009)", R. Baeza-Yates, B. Berendt, E. Bertino, E.P. Lim, G. Pasi (ed.); IEEE Computer Society, (2009), ISBN: 978-0-7695-3801-3; 689 - 692.
T. Lukasiewicz, A. Ragone:
"Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web";
Talk: IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), Milan, Italy; 09-15-2009 - 09-18-2009; in: "Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009)", R. Baeza-Yates, J. Lang, S. Mitra, S. Parsons, G. Pasi (ed.); IEEE, (2009), 395 - 402.
T. Lukasiewicz, A. Ragone:
"A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation";
Talk: International Workshop on Description Logics (DL), Oxford, UK; 07-27-2009 - 07-30-2009; in: "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)", B. Cuenca Grau, I. Horrocks, B. Motik, U. Sattler (ed.); CEUR workshop proceedings, 477 (2009), ISSN: 1613-0073; 47:1 - 47:12.
A. Cali, G. Gottlob, T. Lukasiewicz:
"Tractable Query Answering over Ontologies with Datalog+-";
Talk: International Workshop on Description Logics (DL), Oxford, UK; 07-27-2009 - 07-30-2009; in: "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)", B. Cuenca Grau, I. Horrocks, B. Motik, U. Sattler (ed.); CEUR workshop proceedings, 477 (2009), ISSN: 1613-0073; 46:1 - 46:12.
T. Lukasiewicz:
"Uncertainty in the Semantic Web";
Keynote Lecture: International Conference on Scalable Uncertainty Management (SUM), Washington DC, USA (invited); 09-28-2009 - 09-30-2009; in: "Proceedings of the 3rd International Conference on Scalable Uncertainty Management (SUM 2009)", L. Godo, A. Pugliese (ed.); Springer Lecture Notes in Computer Science, 5785 (2009), ISBN: 978-3-642-04387-1; 2 - 11.
T. Lukasiewicz:
"Uncertainty Reasoning for the Semantic Web";
Talk: International Conference on Web Reasoning and Rule Systems (RR), Chantilly, Virginia, USA (invited); 10-25-2009 - 10-29-2009; in: "Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009)", A. Polleres, T. Swift (ed.); Springer Lecture Notes in Computer Science, 5837 (2009), ISBN: 978-3-642-05081-7; 26 - 39.
A. Cali, G. Gottlob, T. Lukasiewicz:
"A General Datalog-Based Framework for Tractable Query Answering over Ontologies";
Talk: ACM Symposium on Principles of Database Systems (PODS), Providence, Rhode Island, USA; 06-29-2009 - 07-02-2009; in: "Proceedings of the 28th ACM Symposium on Principles of Database Systems (PODS 2009)", J. Paredaens, S. Jianwen (ed.); ACM Press, (2009), ISBN: 978-1-60558-553-6; 77 - 86.
A. Cali, G. Gottlob, T. Lukasiewicz:
"A General Datalog-Based Framework for Tractable Query Answering over Ontologies";
Talk: Italian Symposium on Databases (SEBD), Camogli, Italy; 06-21-2009 - 06-24-2009; in: "Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009)", V. De Antonellis, S. Castano, B. Catania, G. Guerrini (ed.); Seneca Edizioni, Torino, Italia (2009), ISBN: 978-88-6122-154-3; 29 - 36.
A. Cali, G. Gottlob, T. Lukasiewicz:
"Datalog±: A Unified Approach to Ontologies and Integrity Constraints";
Keynote Lecture: Italian Symposium on Databases (SEBD), Camogli, Italy (invited); 06-21-2009 - 06-24-2009; in: "Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009)", V. De Antonellis, S. Castano, B. Catania, G. Guerrini (ed.); Seneca Edizioni, Torino, Italia (2009), ISBN: 978-88-6122-154-3; 5 - 6.
A. Cali, G. Gottlob, T. Lukasiewicz:
"Datalog±: A Unified Approach to Ontologies and Integrity Constraints";
Keynote Lecture: International Conference on Database Theory (ICDT), Saint-Petersburg, Russia (invited); 03-23-2009 - 03-26-2009; in: "Proceedings of the 12th International Conference on Database Theory (ICDT 2009)", R. Fagin (ed.); ACM International Conference Proceeding Series, 361 (2009), 14 - 30.
C. dŽAmato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz:
"Combining Semantic Web Search with the Power of Inductive Reasoning";
Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Washington DC, USA; 10-26-2009; in: "Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009)", F. Bobillo, P. da Costa, C. dŽAmato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool, S. Smrz (ed.); CEUR-Proceedings, 527 (2009), ISSN: 1613-0073; 15 - 26.
M. Simkus:
"Fusion of Logic Programming and Description Logics";
Talk: International Conference on Logic Programming (ICLP), Pasadena, California, USA; 07-14-2009 - 07-17-2009; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); LNCS, Springer, 5649 (2009), ISBN: 978-3-642-02845-8; 551 - 552.
More information
G. Brewka, T. Eiter:
"From Data Integration Towards Knowledge Mediation";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Potsdam, Germany; 09-14-2009 - 09-18-2009; in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); LNCS, Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 610 - 612.
More information
G. Brewka, T. Eiter:
"Argumentation Context Systems: A Framework for Abstract Group Argumentation";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Potsdam, Germany; 09-14-2009 - 09-18-2009; in: "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); LNCS, Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 44 - 57.
More information
N. Creignou, H. Daude, U. Egly, R. Rossignol:
"(1,2)-QSAT: A Good Candidate for Understanding Phase Transition Mechanisms";
Talk: Theory and Application of Satisfiability Testing -- SAT, Swansea; 06-30-2009 - 07-03-2009; in: "SAT 2009", O. Kullmann (ed.); Springer Lecture Notes in Computer Science (LNCS), 5584 (2009), ISSN: 0302-9743; 363 - 376.
M. Fink, D. Pearce:
"Some Equivalence Concepts for Hybrid Theories";
Talk: Conference of the Spanish Organization for Artificial Intelligence (CAEPIA), Sevilla, ESP; 11-09-2009 - 11-13-2009; in: "Proceedings of the 13th Conference of the Spanish Organization for Artificial Intelligence (CAEPIA 2009)", Spanish Association for Artifical Intelligence, (2009), 327 - 336.
More information
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar or Diverse Solutions in Answer Set Programming";
Talk: International Conference on Logic Programming (ICLP), Pasadena, California, USA; 07-14-2009 - 07-17-2009; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); Springer, LNCS 5649 (2009), ISBN: 978-3-642-02845-8; 342 - 356.
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Potsdam, Deutschland; 09-14-2009; in: "Proceedings of the 1st International Workshop on Logic-Based Interpretation of Context: Modelling and Applications colocated with LPNMR 2009", J. Delgrande, A. Mileo (ed.); CEUR workshop proceedings, Vol-550 (2009), ISSN: 1613-0073; Paper ID 2, 4 pages.
More information
J. Puehrer, H. Tompits:
"Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection";
Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 09-14-2009 - 09-18-2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 264 - 276.
More information
J. Oetsch, M. Schwengerer, H. Tompits:
"Kato: A Plagiarism-Detection Tool for Answer-Set Programs";
Talk: 23rd Workshop on (Constraint) Logic Programming, Potsdam, Germany; 09-15-2009 - 09-16-2009; in: "23rd Workshop on (Constraint) Logic Programming", A. Wolf, U. Geske (ed.); Universitätsverlag Potsdam, (2009), ISBN: 978-3-86956-026-7; 75 - 79.
More information
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions";
Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 09-14-2009 - 09-18-2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 382 - 395.
More information
J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
"Merging Logic Programs under Answer Set Semantics";
Talk: International Conference on Logic Programming (ICLP), Pasadena, Californien; 07-14-2009 - 07-17-2009; in: "Logic Programming", P. Hill, D. Warren (ed.); Springer, LNCS 5649 (2009), ISBN: 3-642-02845-4; 160 - 174.
More information
T. Eiter, M. Simkus:
"Bidirectional Answer Set Programs with Function Symbols";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California, USA; 07-11-2009 - 07-17-2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 765 - 771.
More information
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Regular Path Queries in Expressive Description Logics with Nominals";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 07-11-2009 - 07-17-2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 714 - 720.
More information
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in Description Logics with Transitive Roles";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California; 07-11-2009 - 07-17-2009; in: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, (2009), 759 - 764.
More information
W. Akhtar, J. Kopecký, T. Krennwallner, A. Polleres:
"XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage";
Talk: 5th European Semantic Web Conference (ESWC 2008), Tenerife, Canary Islands, Spain; 06-01-2008 - 06-05-2008; in: "5th European Semantic Web Conference (ESWC 2008)", S. Bechhofer, M. Hauswirth, J. Hoffmann, M. Koubarakis (ed.); Springer, 5021 (2008), ISSN: 0302-9743; 432 - 447.
More information
G. Ianni, T. Krennwallner, A. Martello, A. Polleres:
"Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regime";
Talk: 8th International Semantic Web Conference (ISWC 2009), Washington D.C., U.S.A.; 10-25-2009 - 10-29-2009; in: "8th International Semantic Web Conference (ISWC 2009)", A. Bernstein, D. Karger, T. Heath, L. Feigenbaum, D. Maynard, E. Motta, K. Thirunarayan (ed.); Springer, 5823 (2009), ISBN: 978-3-642-04929-3; 310 - 327.
More information
T. Vicovac, A. Reiterer, U. Egly, T. Eiter, D. Rieke-Zapp:
"First Developement steps for an Automated Knowledge-Based Deformation Interpretation System";
Talk: 9th Conference on Optical 3-D Measurement Techniques, Wien; 07-01-2009 - 07-03-2009; in: "Optical 3-D Measurement Techniques IX", A. Grün, H. Kahmen (ed.); Volume I (2009), ISBN: 978-3-9501492-5-8; 61 - 90.
More information
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in Description Logics: The Knots Approach";
Keynote Lecture: International Workshop on Logic, Language, Information and Computation (WoLLIC), Tokyo, Japan (invited); 06-21-2009 - 06-24-2009; in: "Proceedings of the 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). Lecture Notes in Computer Science 5514", H. Ono, M. Kanazawa, R. de Queiroz (ed.); Springer Lecture Notes in Computer Science, Heidelberg (2009), ISBN: 978-3-642-02260-9; 26 - 36.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs";
Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany; 09-14-2009 - 09-18-2009; in: "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 87 - 100.
More information
T. Eiter, G. Ianni, T. Krennwallner:
"Answer Set Programming: A Primer";
Talk: 5th International Summer School Reasoning Web 2009, Brixen-Bressanone, Italy (invited); 08-30-2009 - 09-04-2009; in: "5th International Summer School Reasoning Web 2009", S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt (ed.); Springer, 5689 (2009), ISBN: 978-3-642-03753-5; 40 - 110.
More information
T. Eiter, G. Brewka, M. Dao-Tran, M. Fink, G. Ianni, T. Krennwallner:
"Combining Nonmonotonic Knowledge Bases with External Sources";
Talk: 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy (invited); 09-16-2009 - 09-18-2009; in: "7th International Symposium on Frontiers of Combining Systems (FroCos 2009)", S. Ghilardi, R. Sebastiani (ed.); Springer, 5749 (2009), ISBN: 978-3-642-04221-8; 18 - 42.
More information
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Modular Nonmonotonic Logic Programming Revisited";
Talk: 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, U.S.A.; 07-14-2009 - 07-17-2009; in: "25th International Conference on Logic Programming (ICLP 2009)", P. Hill, D. Warren (ed.); Springer, 5649 (2009), ISBN: 978-3-642-02845-8; 145 - 159.
More information
T. Eiter, M. Fink, T. Krennwallner:
"Decomposition of Declarative Knowledge Bases with External Functions";
Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 07-11-2009 - 07-17-2009; in: "Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)", C. Boutilier (ed.); AAAI Press, Menlo Park, California, U.S.A. (2009), 752 - 758.
More information
M. Dao-Tran, T. Eiter, T. Krennwallner:
"Realizing Default Logic over Description Logic Knowledge Bases";
Talk: 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy; 07-01-2009 - 07-03-2009; in: "European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009)", C. Sossai, G. Chemello (ed.); Springer, 5590 (2009), ISBN: 978-3-642-02905-9; 602 - 613.
More information
G. Ianni, T. Krennwallner, A. Martello, A. Polleres:
"A Rule System for Querying Persistent RDFS Data";
Talk: 6th European Semantic Web Conference (ESWC 2009), Heraklion, Griechenland; 05-31-2009 - 06-04-2009; in: "6th European Semantic Web Conference (ESWC 2009)", L. Arroyo, P. Traverso, F. Ciravegna, P. Cimiano, T. Heath, E. Hyvönen, R. Mizoguchi, E. Oren, M. Sabou, E. Simperl (ed.); Springer, 5554 (2009), ISSN: 0302-9743; 857 - 862.
More information
N. Creignou, H. Daude, U. Egly, R. Rossignol:
"New Results on the Phase Transition for Random Quantified Boolean Formulas";
Talk: Theory and Application of Satisfiability Testing -- SAT, Guangzhou; 05-12-2008 - 05-15-2008; in: "Theory and Application of Satisfiability Testing --- SAT 2008", Lecture Notes in Computer Science, 4996 (2008), 34 - 47.
T. Eiter, K. Makino:
"New Results for Horn Cores and Envelopes of Horn Disjunctions";
Talk: 18th European Conference on Artificial Intelligence, Patras, Greece; 07-21-2008 - 07-25-2008; in: "18th European Conference on Artificial Intelligence", M. Ghallab, C. Spyropoulos, N. Fakotakis, N. Avouris (ed.); IOS Press, Volume 178 of Frontiers in Artificial Intelligence and Applications (2008), ISBN: 978-1-58603-891-5; 60 - 64.
T. Eiter:
"SMS and ASP: Hype or TST?";
Keynote Lecture: International Conference on Logic Programming (ICLP), Udine, Italy (invited); 12-09-2008 - 12-13-2008; in: "24th International Conference on Logic Programming (ICLP 2008)", M. Garcia de la Banda, E. Pontelli (ed.); Springer, LNCS 5366 (2008), ISBN: 978-3-540-89981-5; 77 - 82.
A. Cali, T. Lukasiewicz, L. Predoiu, H. Stuckenschmidt:
"Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings";
Talk: 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08), Pisa, Italien; 02-11-2008 - 02-15-2008; in: "Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2008)", S. Hartmann, G. Kern-Isberner (ed.); Springer LNCS, 4932 (2008), ISBN: 978-3-540-77683-3; 178 - 198.
A. Cali, T. Lukasiewicz, L. Predoiu, H. Stuckenschmidt:
"Representing Ontology Mappings with Probabilistic Description Logic Programs";
Talk: Italian Symposium on Databases (SEBD), Mondello, Italy; 06-22-2008 - 06-25-2008; in: "Proceedings of the 16th Italian Symposium on Advanced Database Systems (SEBD 2008)", (2008), 438 - 445.
N. Fanizzi, C. dŽAmato, F. Esposito, T. Lukasiewicz:
"Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations";
Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Karlsruhe, Germany; 10-26-2008; in: "Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008)", F. Bobillo, P. da Costa, C. dŽAmato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz et al. (ed.); CEUR Workshop Proceedings, 423 (2008), ISSN: 1613-0073; Paper ID 7, 10 pages.
T. Lukasiewicz, A. Ragone:
"Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web (SMRR)";
Talk: International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web (SMRR), Karlsruhe, Germany; 10-27-2008; in: "Proceedings of the 2nd International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web (SMRR 2008)", R. Lara Hernandez, T. Di Noia, I. Toma (ed.); CEUR Workshop Proceedings, 416 (2008), ISSN: 1613-0073; Paper ID 5, 15 pages.
C. dŽAmato, N. Fanizzi, T. Lukasiewicz:
"Tractable Reasoning with Bayesian Description Logics";
Talk: International Conference on Scalable Uncertainty Management (SUM), Naples, Italien; 10-01-2008 - 10-03-2008; in: "Proceedings of the 2nd International Conference on Scalable Uncertainty Management (SUM 2008)", S. Greco, T. Lukasiewicz (ed.); Lecture Notes in Computer Science, Springer, 5291 (2008), ISBN: 978-3-540-87992-3; 146 - 159.
J. De Bruijn, T. Eiter, H. Tompits:
"Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic";
Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 09-16-2008 - 09-19-2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 485 - 495.
More information
W. Faber, H. Tompits, S. Woltran:
"Notions of Strong Equivalence for Logic Programs with Ordered Disjunction";
Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 09-16-2008 - 09-19-2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 433 - 443.
More information
J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
"Belief Revision of Logic Programs under Answer Set Semantics";
Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 09-16-2008 - 09-19-2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 411 - 421.
More information
J. Oetsch, H. Tompits:
"A Generalised Program-Correspondence Framework: Preliminary Report";
Talk: Workshop on Logic Programming (WLP), Dresden, Germany; 09-30-2008 - 10-01-2008; in: "22nd Workshop on (Constraint) Logic Programming", S. Schwarz (ed.); Technical Report, University Halle-Wittenberg, Institute of Computer Science, Martin-Luther-University Halle-Wittenberg D-06099 Halle, Germany (2008), 72 - 82.
More information
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Reasoning Using Knots";
Keynote Lecture: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar (invited); 11-22-2008 - 11-27-2008; in: "15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR08)", I. Cervesato, H. Veith, A. Voronkov (ed.); Lecture Notes in Computer Science, Springer, Volume 5330 (2008), ISBN: 978-3-540-89438-4; 377 - 390.
M. Ortiz de la Fuente:
"An Automata-based algorithm for description logics around SRIQ";
Talk: Latin American Workshop on Non-Monotonic Reasoning, Puebla, Mexico; 10-22-2008 - 10-24-2008; in: "Fourth Latin American Workshop on Non-Monotonic Reasoning", M. Osorio, I. Olmos (ed.); CEUR Workshop Proceedings, 408 (2008), ISSN: 1613-0073; Paper ID 1, 15 pages.
U. Egly, S. Gaggl, S. Woltran:
"Answer-Set Programming Encodings for Argumentation Frameworks";
Talk: International Conference on Logic Programming (ICLP), Udine; 12-09-2008 - 12-13-2008; in: "ICLP-Workshop Proceedings; Proceedings of the 1st International Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2008", W. Faber, J. Lee (ed.); (2008), 1 - 15.
More information
U. Egly, S. Gaggl, S. Woltran:
"ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming";
Talk: International Conference on Logic Programming (ICLP), Udine; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer, 5366 (2008), ISBN: 978-3-540-89981-5; 734 - 738.
More information
M. Ortiz de la Fuente:
"Complexity of Query Answering over Expressive Knowledge Bases";
Talk: MICAI 2008: 7th Mexican International Conference on Artificial Intelligence, Mexico; 10-27-2008 - 10-31-2008; in: "Proceedings of MICAI-2008, Doctoral Consortium", M. Montes y Gomez, M. Gonzalez Mendoza (ed.); (2008), 22 - 25.
J. Oetsch, H. Tompits:
"Program Correspondence under the Answer-Set Semantics: The Non-Ground Case";
Talk: International Conference on Logic Programming (ICLP), Udine, Italien; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer LNCS, 5366 (2008), ISSN: 0302-9743; 591 - 605.
More information
J. Puehrer, H. Tompits, S. Woltran:
"Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence";
Talk: International Conference on Logic Programming (ICLP), Udine, Italien; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer LNCS, 5366 (2008), ISSN: 0302-9743; 561 - 575.
More information
M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses";
Talk: National Conference on Artificial Intelligence (AAAI), Chicago, USA; 07-13-2008 - 07-17-2008; in: "23rd AAAI Conference on Artificial Intelligence", D. Fox, C.P. Gomes (ed.); AAAI Press, (2008), ISBN: 978-1-57735-368-3; 504 - 510.
T. Eiter, M. Fink, T. Krennwallner:
"Decomposing HEX-Programs: Preliminary Results";
Poster: Junior Scientist Conference 2008, Wien; 11-16-2008 - 11-18-2008; in: "Proceedings of the Junior Scientist Conference 2008", H. Kaiser, R. Kirner (ed.); (2008), ISBN: 978-3-200-01612-5; 29 - 30.
More information
A. Reiterer, M. Lehmann, M. Miljanovic, H. Ali, G. Paar, U. Egly, T. Eiter, H. Kahmen:
"Ein bildgestütztes 3D Deformationsmesssystem (An Image-Based 3D Deformation Measurement System)";
Poster: Pangeo 2008, Wien; 09-22-2008 - 09-25-2008; in: "Journal of Alpine Geology, Pangeo 2008", Mitt. Ges. Geol. Bergbaustud. Österr., 49 (2008), ISSN: 1563-0846; 87.
More information
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs";
Talk: Logic in Artificial Intelligence: Special Session in Honor of the 65th Birthday of Victor W. Marek, Fort Lauderdale, Florida, U.S.A. (invited); 01-02-2008 - 01-04-2008; in: "Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM)", M. Kaminski, M. Truszczynski (ed.); (2008), 9 pages.
More information
M. Fink:
"Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Talk: International Conference on Logic Programming (ICLP), Udine, Italy; 12-09-2008 - 12-13-2008; in: "Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings", M. Garcia de la Banda, E. Pontelli (ed.); Springer LNCS, 5366 (2008), ISBN: 978-3-540-89981-5; 99 - 113.
M. Gebser, T. Schaub, H. Tompits, S. Woltran:
"Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets";
Talk: 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08), Pisa, Italien; 02-11-2008 - 02-15-2008; in: "Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08)", S. Hartmann, G. Kern-Isberner (ed.); Springer LNCS, 4932 (2008), ISBN: 978-3-540-77683-3; 24 - 41.
More information
M. Gebser, J. Puehrer, T. Schaub, H. Tompits:
"A Meta-Programming Technique for Debugging Answer-Set Programs";
Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 07-13-2008 - 07-17-2008; in: "AAAI-08/IAAI-08 Proceedings", D. Fox, C.P. Gomes (ed.); (2008), ISBN: 978-1-57735-368-3; 448 - 453.
More information
T. Eiter, G. Ianni, T. Krennwallner, A. Polleres:
"Rules and Ontologies for the Semantic Web";
Talk: Fourth International Summer School Reasoning Web 2008, Venice, Italy (invited); 09-07-2008 - 09-11-2008; in: "Reasoning Web", C. Baroglio, P. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, S. Schaffert (ed.); Springer, 5224 (2008), ISBN: 978-3-540-85656-6; 1 - 53.
More information
U. Keller, S. Heymans:
"The SAT-Tableau Calculus";
Talk: 21st International Workshop on Description Logics (DL 2008), Dresden, Germany; 05-13-2008 - 05-16-2008; in: "21st International Workshop on Description Logics (DL 2008)", CEUR Workshop Proceedings, 353 (2008), ISSN: 1613-0073; Paper ID 9, 13 pages.
U. Keller, S. Heymans:
"Deciding Fuzzy Description Logics by Type Elimination";
Talk: 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Karlsruhe, Germany; 10-26-2008; in: "4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008)", (2008), 15 pages.
More information
J. Janssen, S. Heymans, D. Vermeir, M. De Cock:
"Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories";
Talk: International Conference on Logic Programming (ICLP), Udine, Italy; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)", Springer, 5366 (2008), ISBN: 978-3-540-89981-5; 362 - 376.
More information
C. Feier, S. Heymans:
"A Sound and Complete Algorithm for Simple Conceptual Logic Programs";
Talk: 3rd International Workshop on Applications of Logic Programming on the (Semantic) Web and Web Services (ALPSWS 2008), Udine, Italy; 12-12-2008; in: "Proceedings of 3rd International Workshop on Applications of Logic Programming on the (Semantic) Web and Web Services (ALPSWS 2008)", CEUR Workshop Proceedings, (2008), ISSN: 1613-0073; 15 - 28.
More information
U. Keller, S. Heymans:
"Fuzzy Description Logic Reasoning using a Fixpoint Algorithm";
Talk: Symposium on Logical Foundations of Computer Science (LFCS), Deerfield Beach, Florida, U.S.A.; 01-03-2009 - 01-06-2009; in: "Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS 2009)", Springer, 5407 (2009), ISBN: 978-3-540-92686-3; 265 - 279.
More information
S. Heymans, I. Toma:
"Ranking Services Using Fuzzy HEX Programs";
Talk: Second International Conference on Web Reasoning and Rule Systems, Karlsruhe, Germany; 10-31-2008 - 11-01-2008; in: "The Second International Conference on Web Reasoning and Rule Systems", Lecture Notes in Computer Science, Springer, LNCS 5341 (2008), ISBN: 978-3-540-88736-2; 181 - 196.
More information
M. Ortiz de la Fuente:
"Extending Carin to the Description Logics of the SH Family";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Dresden, Deutschland (invited); 09-28-2008 - 10-01-2008; in: "Logics in Artificial Intelligence (JELIA 08)", S. Hölldobler, C. Lutz, H. Wansing (ed.); Lecture Notes in Artificial Intelligence, 5293 (2008), ISBN: 978-3-540-87802-5; 324 - 337.
More information
T. Eiter, G. Gottlob, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic Horn-SHIQ";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Dresden, Germany; 09-28-2008 - 10-01-2008; in: "Logics in Artificial Intelligence (JELIA 08)", S. Hölldobler, C. Lutz, H. Wansing (ed.); Lecture Notes in Artificial Intelligence, 5293 (2008), ISBN: 978-3-540-87802-5; 166 - 179.
M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Conjunctive Query Answering in SH using Knots";
Talk: International Workshop on Description Logics (DL), Dresden, Germany; 05-13-2008 - 05-16-2008; in: "Proceedings of the 21st International Workshop on Description Logics (DL2008)", F. Baader, C. Lutz, B. Motik (ed.); CEUR Workshop proceedings, 353 (2008), ISSN: 1613-0073; 11 pages.
T. Eiter, M. Fink, J. Senko:
"Error Classification in Action Descriptions: A Heuristic Approach.";
Talk: National Conference on Artificial Intelligence (AAAI), Chicago, Illinois, USA; 07-13-2008 - 07-17-2008; in: "Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008", D. Fox, C.P. Gomes (ed.); AAAI Press, (2008), ISBN: 978-1-57735-368-3; 905 - 910.
A. Reiterer, M. Lehmann, M. Miljanovic, H. Ali, G. Paar, U. Egly, T. Eiter, H. Kahmen:
"Deformation Monitoring using a new kind of Optical 3D Measurement System: Components and Perspectives";
Talk: 13th FIG International Symposium on Deformation Measurements and Analysis; 4th IAG Symposium on Geodesy for Geotechnical and Structural Engineering, Lissabon, Portugal; 05-12-2008 - 05-15-2008; in: "Measuring the Change", (2008), 10 pages.
More information
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection";
accepted as talk for: Proceedings of the 16th International Conference on Computing (CIC 2007), Mexico City; 11-04-2007 - 11-09-2007; in: "Proceedings of the 16th International Conference on Computing (CIC 2007)", (2007).
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
Talk: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007), Würzburg, Germany; 10-04-2007 - 10-06-2007; in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)", Seite 254-257 (2007), 4 pages.
J. Delgrande, T. Schaub, H. Tompits:
"A Preference-Based Framework for Updating Logic Programs";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 05-15-2007 - 05-17-2007; in: "Proceeding of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '07)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer Lecture Notes in Computer Science, 4483 (2007), ISBN: 978-3-540-72199-4; 71 - 83.
A. Farinelli, A. Finzi, T. Lukasiewicz:
"Team Programming in Golog under Partial Observability";
Poster: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 01-06-2007 - 01-12-2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)", M. Veloso (ed.); AAAI Press/IJCAI, (2007), 2097 - 2102.
T. Lukasiewicz, U. Straccia:
"Tightly Integrated Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web";
Talk: International Conference on Web Reasoning and Rule Systems (RR), Innsbruck, Austria; 06-07-2007 - 06-08-2007; in: "Proceedings of the 1st International Conference on Web Reasoning and Rule Systems (RR 2007)", M. Marchiori, J. Z. Pan, C. de Sainte Marie (ed.); Springer Lecture Notes in Computer Science, 4524 (2007), ISBN: 978-3-540-72981-5; 289 - 298.
T. Lukasiewicz:
"A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web";
Talk: 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Austria; 06-03-2007 - 06-07-2007; in: "Proceedings of the 4th European Semantic Web Conference (ESWC 2007)", E. Franconi, M. Kifer, W. May (ed.); Springer Lecture Notes in Computer Science, 4519 (2007), ISBN: 978-3-540-72666-1; 384 - 398.
A. Cali, T. Lukasiewicz:
"Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web";
Poster: International Conference on Logic Programming (ICLP), Porto, Portugal; 09-08-2007 - 09-13-2007; in: "Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007)", V. Dahl, I. Niemelä (ed.); Springer Lecture Notes in Computer Science, 4670 (2007), ISBN: 978-3-540-74608-9; 428 - 429.
T. Lukasiewicz, U. Straccia:
"Top-k Retrieval in Description Logic Programs under Vagueness for the Semantic Web";
Talk: International Conference on Scalable Uncertainty Management (SUM), Washington DC, USA; 10-10-2007 - 10-12-2007; in: "Proceedings of the 1st International Conference on Scalable Uncertainty Management (SUM 2007)", H. Prade, V. Subrahmanian (ed.); Springer Lecture Notes in Computer Science, 4772 (2007), ISBN: 978-3-540-75407-7; 16 - 30.
T. Lukasiewicz:
"Tractable Probabilistic Description Logic Programs";
Talk: International Conference on Scalable Uncertainty Management (SUM), Washington DC, USA; 10-10-2007 - 10-12-2007; in: "Proceedings of the 1st International Conference on Scalable Uncertainty Management (SUM 2007)", H. Prade, V. Subrahmanian (ed.); Springer Lecture Notes in Artificial Intelligence, 4772 (2007), ISBN: 978-3-540-75407-7; 143 - 156.
T. Lukasiewicz, U. Straccia:
"Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness";
Talk: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Hammamet, Tunisia; 10-31-2007 - 11-02-2007; in: "Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007)", K. Mellouli (ed.); Springer Lecture Notes in Computer Science, 4724 (2007), ISBN: 978-3540752554; 187 - 198.
A. Cali, T. Lukasiewicz, L. Prodoiu, H. Stuckenschmidt:
"A Framework for Representing Ontology Mappings under Probabilities and Inconsistency";
Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Busan, Korea; 11-12-2007; in: "Proceedings of the ISWC-2007 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007)", F. Bobillo, P. Costa, C. dŽAmato, N. Fanizzi, F. Fung, T. Lukasiewicz, T. Martin et al. (ed.); CEUR Workshop Proceedings, (2007).
T. Eiter:
"Answer Set Programming for the Semantic Web (Tutorial)";
Talk: International Conference on Logic Programming (ICLP), Porto, Portugal (invited); 09-08-2007 - 09-13-2007; in: "Proceedings 23th International Conference on Logic Programming (ICLP 2007)", I. Niemelä, V. Dahl (ed.); Springer Lecture Notes in Computer Science, 4670 (2007), ISBN: 978-3-540-74608-9; 23 - 26.
T. DellŽArmi, L. Gallucci, N. Leone, F. Ricca, R. Schindlauer:
"ONTODLV: an ASP-based System for Enterprise Ontologies";
Talk: International Workshop on Answer Set Programming (ASP), Porto, Portugal; 09-08-2007 - 09-13-2007; in: "Proceedingsof the 4th Workshop on Answer Set Programming: Advances in Theory and Implementation (ASP 2007)", S. Costantini, R. Warson (ed.); University of Porto, Faculty of Sciences, (2007), 99 - 113.
M. Brain, W. Faber, M. Maratea, A. Polleres, T. Schaub, R. Schindlauer:
"What should an ASP Solver output?";
Talk: International Workshop on Software Engineering for Answer Set Programming (SEA), Tempe, Arizona, USA; 05-14-2007 - 05-16-2007; in: "First International Workshop on Software Engineering for Answer Set Programming 2007 (SEA'07)", M. De Vos, T. Schaub (ed.); (2007), 26 - 37.
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs.";
Talk: International Workshop on Description Logics (DL), Bressanone, Italy; 06-08-2007 - 06-10-2007; in: "Proceedings of the 2007 International Workshop on Description Logics (DL2007)", D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A. Turhan, S. Tessaris (ed.); CEUR Workshop Proceedings, 250 (2007), 259 - 266.
More information
A. Polleres, R. Schindlauer:
"DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX";
Talk: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Porto, Portugal; 09-08-2007 - 09-13-2007; in: "Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS2007)", S. Heymans, D. Pearce, A. Polleres, E. Ruckhaus, G. Gupta (ed.); CEUR Workshop Proceedings, 287 (2007), 3 - 12.
A. Polleres, F. Scharffe, R. Schindlauer:
"SPARQL++ for Mapping between RDF Vocabularies";
Talk: On The Move (OTM) Federated Conferences and Workshops, Vilamoura, Algarve, Portugal; 11-25-2007 - 11-30-2007; in: "On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS", R. Meersman, Z. Tari (ed.); Springer Lecture Notes in Computer Science, 4803 (2007), ISBN: 978-3-540-76846-3; 878 - 896.
G. Brewka, T. Eiter:
"Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems";
Talk: National Conference on Artificial Intelligence (AAAI), Vancouver, British Columbia, Canada; 07-22-2007 - 07-26-2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; 385 - 390.
M. Simkus, T. Eiter:
"FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols";
Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Yerevan, Armenia; 10-15-2007 - 10-19-2007; in: "Proceedings 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2007)", N Dershowitz, A. Voronkov (ed.); Springer Lecture Notes in Computer Science, 4790 (2007), ISBN: 978-3-540-75558-6; 514 - 530.
D. Van Nieuwenborgh, T. Eiter, D. Vermeir:
"Conditional Planning with External Functions";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 05-15-2007 - 05-17-2007; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer Lecture Notes in Computer Science, 4483 (2007), ISBN: 978-3-540-72199-4; 214 - 227.
J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
"Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 01-06-2007 - 01-12-2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)", M. Veloso (ed.); AAAI Press/IJCAI, (2007), ISBN: 978-1-57735-298-3; 304 - 309.
T. Eiter, E. Erdem, W. Faber:
"On Reversing Actions: Algorithms and Complexity";
Poster: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 01-06-2007 - 01-12-2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)", M. Veloso (ed.); AAAI Press/IJCAI, (2007), ISBN: 978-1-57735-298-3; 336 - 341.
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach";
Talk: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada; 07-22-2007 - 07-26-2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; 391 - 396.
F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, F. Wei:
"Foundations of Rule-Based Query";
Talk: Third International Summer School 2007, Dresden, Germany; 09-03-2007 - 09-07-2007; in: "Reasoning Web", Lecture Notes in Computer Science, 4636 (2007), ISBN: 978-3-540-74613-3; 1 - 153.
W. Faber, H. Tompits, S. Woltran:
"Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions";
Talk: VLDB 2007, Wien; 09-23-2007 - 09-24-2007; in: "3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007)", (2007), 8 pages.
M. Brain, M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
"That is illogical Captain! The Debugging Support Tool spock for Answer-Set Programs -- System Description";
Talk: First International Workshop Software Engineering for Answer Set Programming (SEA 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceeding of the LPNMR' 07 Workshop on Software Engineering for Answer Set Programming", (2007), 71 - 85.
A. Reiterer, T. Eiter:
"A New Methode for the Evaluation of Point Detectors";
Poster: International Conference on Optical 3-D Measurement Techniques VIII, Zürich; 07-09-2007 - 07-12-2007; in: "Optical 3-D Measurement Techniques VIII", A. Grün, H. Kahmen (ed.); Volume II (2007), ISBN: 3-906467-67-8; 242 - 247.
More information
D. Pearce, H. Tompits, S. Woltran:
"Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report";
Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", CEUR-Proceedings, 265 (2007), ISSN: 1613-0073; 49 - 60.
M. Gebser, T. Schaub, H. Tompits, S. Woltran:
"Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report";
Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", CEUR-Proceedings, 265 (2007), ISSN: 1613-0073; 37 - 48.
J. Oetsch, H. Tompits, S. Woltran:
"Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", D. Pearce, A. Polleres, S. Woltran, A. Valverde (ed.); (2007), 25 - 36.
S. Woltran:
"A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming";
Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", CEUR-Proceedings, 265 (2007), ISSN: 1613-0073; 13 - 24.
T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran:
"Modularity Aspects of Disjunctive Stable Models";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceeding of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '07)", LNCS/Springer, 4483 (2007), ISBN: 978-3-540-72199-4; 175 - 187.
More information
M. Brain, M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
"Debugging ASP Programs by Means of ASP";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceeding of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '07)", LNCS/Springer, 4483 (2007), ISBN: 978-3-540-72199-4; 31 - 43.
More information
J. Oetsch, H. Tompits, S. Woltran:
"Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
Talk: AAAI ' 07, Vancouver, Canada; 07-22-2007 - 07-26-2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; Paper ID 05/AAAI07-072, 7 pages.
More information
A. Reiterer, T. Eiter:
"Ein neues Verfahren zur Evaluierung von Punkterfassungsalgorithmen (IOPs)";
Talk: Oldenburger 3D-Tage 2007, Oldenburg; 01-31-2007 - 02-01-2007; in: "Photogrammetrie, Laserscanning, Optische 3D-Messtechniken", T. Luhmann, C. Müller (ed.); Wichmann Verlag, (2007), ISBN: 978-3-87907-447-1; 156 - 163.
More information
M. Ortiz de la Fuente:
"A Fully Internalized Sequent Calculus for Hybrid Categorial Logics";
Talk: Student Session of the European Summer School in Logic, Language and Information (ESSLLI), Malaga, Spain; 07-31-2006 - 08-11-2006; in: "Proceedings of the Eleventh ESSLLI Student Session", J. Huitink, S. Katrenko (ed.); (2006), 136 - 147.
M. Fink, R. Pichler, H. Tompits, S. Woltran:
"Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer, LNAI 4483 (2007), ISBN: 978-3-540-72199-4; 123 - 135.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Complexity Results for Checking Equivalence of Stratified Logic Programs";
Poster: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India; 01-06-2007 - 01-12-2007; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)", M. Veloso (ed.); AAAI Press, (2007), ISBN: 978-1-57735-298-3; 330 - 335.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"A RuleML Syntax for Answer-Set Programming";
Poster: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 08-16-2006; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006.", A. Polleres, D. Decker, G. Gupta, J. De Bruijn (ed.); CEUR Workshop Proceedings, 196 (2006), 107 - 108.
T. Lukasiewicz, J. Schellhase:
"Preferences, Links, and Probabilities for Ranking Objects in Ontologies";
Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Athens, Georgia, USA; 11-05-2006; in: "Proceedings of the ISWC-2006 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006)", P. da Costa, K.B. Laskey, K.J. Laskey, F. Fung, M. Pool (ed.); CEUR Workshop Proceedings, 218 (2006), 65 - 66.
A. Cali, T. Lukasiewicz:
"An Approach to Probabilistic Data Integration for the Semantic Web";
Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Athens, Georgia, USA; 11-05-2006; in: "Proceedings of the ISWC-2006 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006)", P. da Costa, K.B. Laskey, K.J. Laskey, F. Fung, M. Pool (ed.); CEUR Workshop Proceedings, 218 (2006), 67 - 68.
T. Lukasiewicz:
"Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web";
Talk: International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML), Athens, Georgia, USA; 11-10-2006 - 11-11-2006; in: "Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006)", T. Eiter, E. Franconi, R. Hodgson, S. Stephens (ed.); IEEE Computer Society, (2006), ISBN: 0-7695-2652-7; 89 - 96.
A. Finzi, T. Lukasiewicz:
"Adaptive Multi-Agent Programming in GTGolog";
Poster: European Conference on Artificial Intelligence, Riva del Garda, Italy; 08-28-2006 - 09-01-2006; in: "Proceedings of the 17th biennial European Conference on Artificial Intelligence (ECAI 2006)", G. Brewka, S. Coradeschi, A. Perini, P. Traverso (ed.); IOS Press, (2006), ISBN: 1-58603-642-4; 753 - 754.
A. Finzi, T. Lukasiewicz:
"Game-Theoretic Agent Programming in Golog under Partial Observability";
Talk: Annual German Conference on Artificial Intelligence (KI), Bremen, Germany; 06-14-2006 - 06-17-2006; in: "Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI 2006), Bremen, Germany, June 2006.", C. Freksa, M. Kohlhase, K. Schill (ed.); Lecture Notes in Computer Science, Springer., 4314 (2006), ISBN: 3-540-69911-2; 113 - 127.
A. Finzi, T. Lukasiewicz:
"Adaptive Multi-Agent Programming in GTGolog";
Talk: Annual German Conference on Artificial Intelligence (KI), Bremen, Germany; 06-14-2006 - 06-17-2006; in: "Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI 2006), Bremen, Germany, June 2006.", C. Freksa, M. Kohlhase, K. Schill (ed.); Lecture Notes in Computer Science. Springer., 4314 (2006), ISBN: 3-540-69911-2; 389 - 403.
T. Lukasiewicz, J. Schellhase:
"Variable-Strength Conditional Preferences for Matchmaking in Description Logics";
Talk: Principles of Knowledge Representation and Reasoning (KR), Lake District, UK; 06-02-2006 - 06-05-2006; in: "Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District, UK, June 2006.", P. Doherty, J. Mylopoulos, C. Welty (ed.); AAAI Press, (2006), ISBN: 978-1-57735-271-6; 164 - 174.
T. Lukasiewicz, J. Schellhase:
"Variable-Strength Conditional Preferences for Ranking Objects in Ontologies";
Talk: 3rd European Semantic Web Conference (ESWC 2006), Budva, Montenegro; 06-11-2006 - 06-14-2006; in: "Proceedings of the 3rd European Semantic Web Conference (ESWC 2006), Budva, Montenegro, June 2006", Y. Sure, J. Domingue (ed.); Lecture Notes in Computer Science. Springer., 4011 (2006), ISBN: 3-540-34544-2; 288 - 302.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"dlvhex: A Prover for Semantic-Web Reasoning under Answer-Set Semantics";
Poster: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), Hong Kong, China; 12-18-2006 - 12-22-2006; in: "Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06)", T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, Y. Cheung (ed.); IEEE Computer Society Press, (2006), ISBN: 0-7695-2747-7; 1073 - 1074.
J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
"On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules";
Keynote Lecture: International Conference on Knowledge Science, Engineering and Management (KSEM), Guilin City, China (invited); 08-05-2006 - 08-08-2006; in: "Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM 2006)", J. Lang, F. Lin, J. Wang (ed.); Lecture Notes in Computer Science, Springer, 4092 (2006), ISBN: 3-540-37033-1; 1 - 22.
F. Cheng, T. Eiter, R. Robinson, A. Sattar, K. Wang:
"LPForget: A System of Forgetting in Answer Set Programming";
Talk: Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia; 12-04-2006 - 12-08-2006; in: "AI 2006: Advances in Artificial Intelligence. Proceedings 19th Australian Joint Conference on Artificial Intelligence. Lecture Notes in Computer Science.", Lecture Notes in Computer Science. Springer., 4304 (2006), ISBN: 3-540-49787-0; 1101 - 1105.
T. Eiter, K. Wang:
"Forgetting and Conflict Resolving in Disjunctive Logic Programming";
Talk: International Workshop on Non-Monotonic Reasoning (NMR), Lake District, UK; 05-30-2006 - 06-01-2006; in: "Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track", J. Dix, A. Hunter (ed.); Institut fuer Informatik, TU Clausthal, Germany., IfI-06-04 (2006), ISSN: 1860-8477; 85 - 92.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data Complexity of Answering Unions of Conjunctive Queries in SHIQ";
Talk: International Workshop on Description Logics (DL), Windermere, Lake District, UK; 05-30-2006 - 06-01-2006; in: "Proceedings of the 2006 International Workshop on Description Logics (DL'06). Windermere, Lake District, UK, May 30-June 1, 2006", B. Parsi, U. Sattler, D. Toman (ed.); CEUR Workshop Proceedings, 189 (2006), 62 - 73.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics";
Poster: National Conference on Artificial Intelligence (AAAI), Boston, USA; 07-16-2006 - 07-20-2006; in: "Proceedings 21th National Conference on Artificial Intelligence (AAAI '06), July 16-23, 2006, Boston, USA ISBN 978-1-57735-281-5", AAAI Press, (2006), ISBN: 978-1-57735-281-5; 275 - 280.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"Towards Efficient Evaluation of HEX Programs";
Talk: 11th International Workshop on Nonmonotonic Reasoning, Lakeside, UK; 05-30-2006 - 06-01-2006; in: "Proceedings of the 11th Workshop on Nonmonotonic Reasoning", J. Dix, A. Hunter (ed.); Clausthal University of Technology, lfl-06-04 (2006), ISSN: 1860-8477; 40 - 46.
T. Eiter, G. Ianni, A. Polleres, R. Schindlauer, H. Tompits:
"Reasoning with Rules and Ontologies";
Talk: Second International Summer School Reasoning Web 2006, Lissabon, Portugal; 09-04-2006 - 09-08-2006; in: "Lecture Notes in Computer Science. Reasoning Web", P. Barahona, F. Bry, E. Franconi, N. Henze, U. Sattler (ed.); Lecture Notes in Computer Science. Springer, 4126 (2006), ISBN: 978-3-540-38409-0; 93 - 127.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang:
"Forgetting in Managing Rules and Ontologies";
Talk: The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), Hong Kong, China; 12-18-2006 - 12-22-2006; in: "Proceedings The 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06)", T. Nishida, Z. Shi, U. Visser, X. Wu, J. Liu, B. Wah, W. Cheung, Y. Cheung (ed.); IEEE Computer Society Press, (2006), ISBN: 0-7695-2747-7; 411 - 419.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, K. Wang:
"Forgetting in Managing Rules and Ontologies";
Talk: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 08-16-2006; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006)", A. Polleres, D. Decker, G. Gupta, J. De Bruijn (ed.); CEUR Workshop Proceedings, 196 (2006), 1 - 16.
N. Creignou, H. Daude, U. Egly:
"Phase Transition for Random Quantified XOR-formulas";
Talk: Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, Guangzhou, China (invited); 09-24-2006 - 09-27-2006; in: "Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling", (2006), Paper ID 5, 12 pages.
U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Nonprenex Form: Overview and Experimental Results";
Talk: Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, Guangzhou, China (invited); 09-24-2006 - 09-27-2006; in: "Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling", (2006), Paper ID 7, 11 pages.
More information
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming";
Talk: 15th International Conference on Computing (CIC 2006), Mexico City, Mexico; 11-21-2006 - 11-24-2006; in: "Proceedings of CIC-06", IEEE Computer Society, (2006), ISBN: 978-0-7695-2708-6; 3 - 11.
More information
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming";
Talk: ICLP'06 Workshop: Lash'06, Seattle, Washington; 08-16-2006; in: "Proceedings", (2006).
More information
U. Egly, S. Woltran:
"Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas";
Talk: COMMA - International Conference on Computational Models of Argument, Liverpool, UK; 09-11-2006 - 09-12-2006; in: "Proceedings of the 1st International Conference on Computational Models of Argument (COMMA 2006)", P. Dunne, T. Bench-Capon (ed.); IOS Press, (2006), ISBN: 1-58603-652-1; 133 - 144.
T. Eiter, P. Traxler, S. Woltran:
"An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs";
Talk: 10th European Conference, JELIA 2006, Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006)", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNCS 4160 (2006), ISBN: 3-540-39625-x; 477 - 480.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics";
Talk: Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), at FLOC/ICLP 2006, Seattle, USA; 08-16-2006; in: "Informal Proceedings Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006)", A. Polleres, D. Decker, G. Gupta, J. De Bruijn (ed.); CEUR Workshop Proceedings, 196 (2006), 33 - 39.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework";
Talk: WLP 2006, Wien; 02-22-2006 - 02-24-2006; in: "Proceedings 20th Workshop on Logic Programming and Constraint Systems (WLP '06)", M. Fink, H. Tompits, S. Woltran (ed.); (2006), 206 - 210.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning";
Talk: European Conference on Semantic Web (ESWC 2006), Budva, Montenegro; 06-11-2006 - 06-14-2006; in: "The Semantic Web: Research and Applications. Proceedings 3rd European Conference on Semantic Web (ESWC 2006)", Y. Sure, J. Domingue (ed.); Lecture Notes in Computer Science. Springer, 4011 (2006), ISBN: 3-540-34544-2; 273 - 287.
T. Eiter, K. Wang:
"Forgetting and Conflict Resolving in Disjunctive Logic Programming";
Talk: National Conference on Artificial Intelligence (AAAI), Boston, USA; 07-16-2006 - 07-23-2006; in: "Proceedings 21th National Conference on Artificial Intelligence (AAAI '06), July 16-23, 2006, Boston", AAAI Press, (2006), ISBN: 978-1-57735-281-5; 238 - 243.
T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran:
"Replacements in Non-Ground Answer-Set Programming";
Talk: Principles of Knowledge Representation and Reasoning (KR), Lake District, UK; 06-02-2006 - 06-05-2006; in: "Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District of the United Kingdom, June 2--5", P. Doherty, J. Mylopoulos, C. Welty (ed.); AAAI Press, (2006), ISBN: 978-1-57735-271-6; 340 - 351.
T. Eiter, M. Fink, H. Tompits, P. Traxler, S. Woltran:
"Replacements in Non-Ground Answer-Set Programming";
Talk: Workshop on Logic Programming (WLP), Vienna, Austira; 02-22-2006 - 02-24-2006; in: "Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24", M. Fink, H. Tompits, S. Woltran (ed.); TU Wien, Institut fuer Informationssysteme, INFSYS Research Report, 1843-06-02 (2006), Paper ID 24, 9 pages.
E. Erdem, A. Gabaldon:
"Representing action domains with numeric-valued fluents";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13--15, 2006", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNAI 4160 (2006), ISBN: 978-3-540-39625-3; 151 - 163.
T. Eiter, M. Fink, J. Senko:
"A Tool for Answering Queries on Action Descriptions";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13--15, 2006", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNAI 4160 (2006), ISBN: 978-3-540-39625-3; 473 - 476.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings 10th European Conference on Logics in Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13 -- 15, 2006", M. Fisher, W. van der Hoek, B. Konev, A. Lisitsa (ed.); Springer, LNAI 4160 (2006), ISBN: 978-3-540-39625-3; 124 - 137.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Talk: Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, Italy; 08-28-2006 - 08-29-2006; in: "Informal Proceedings Multidisciplinary Workshop on Advances in Preference Handling, ECAI 2006, Riva del Garda, August 28 -- 29, 2006", U. Junker, W. Kiessling (ed.); (2006), 15 - 22.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Resolving Conflicts in Action Descriptions";
Talk: European Conference on Artificial Intelligence, Riva del Garda, Italy; 08-29-2006 - 09-01-2006; in: "Proceedings of the 17th Eureopean Conference on Artificial Intelligence, ECAI'2006, Riva del Garda, Italy, August 29 -- September 1, 2006", G. Brewka, S. Coradeschi, A. Perini, P. Traverso (ed.); IOS Press, (2006), ISBN: 1-58603-642-4; 367 - 371.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Resolving Conflicts in Action Descriptions";
Talk: International Workshop on Non-Monotonic Reasoning (NMR), Lake District, UK; 05-30-2006 - 06-01-2006; in: "Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track", J. Dix, A. Hunter (ed.); TU Clausthal, Institut fuer Informatik, TR IfI-06-04, Germany (2006), ISSN: 1860-8477; 353 - 360.
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"A Tool for Advanced Correspondence Checking in Answer-Set Programming";
Talk: 11th International Workshop on Nonmonotonic Reasoning, Lake District, UK; 05-30-2006 - 06-01-2006; in: "Proceedings is for the Eleventh International Workshop on Nonmonotonic Reasoning", (2006).
More information
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results";
Talk: 20th Workshop on Logic Programming, Wien; 02-22-2006 - 02-24-2006; in: "Online Proceedings - WLP 2006", (2006).
More information
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set Semantics";
Talk: 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings of the JELIA2006", Springer, LNCS - Logics in Artificial Intelligence/4160 (2006), ISBN: 978-3-540-39625-3; 502 - 505.
More information
U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Nonprenex Form";
Talk: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy; 08-29-2006 - 09-01-2006; in: "Proceedings of the ECAI 2006", IOS Press, (2006), ISBN: 1-58603-642-4; 477 - 481.
More information
A. Reiterer, T. Eiter:
"A Distance-Based Method for the Evaluation of Interest Point Detection Algorithms";
Talk: ICIP 2006, Atlanta, Georgia, USA; 10-08-2006 - 10-11-2006; in: "IEEE International Conference on Image Processing - ICIP 2006", IEEE-Signal Processing Society (ed.); IEEE, Catalog No.: 06CH37815C (2006), ISBN: 1-4244-0481-9; Paper ID 2747, 4 pages.
More information
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"DLV-HEX: Dealing with Semantic Web under Answer-Set Programming";
Poster: International Semantic Web Conference (ISWC), Galway, Ireland; 11-08-2005; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)", R. Mizoguchi (ed.); (2005), PID 73.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics";
Poster: International Semantic Web Conference (ISWC), Galway, Ireland; 11-08-2005; in: "Poster & Demonstration Proceedings of the 4th International Semantic Web Conference (ISWC 2005)", R. Mizoguchi (ed.); (2005), PID 67.
A. Finzi, T. Lukasiewicz:
"Game-Theoretic Agent Programming in Golog under Partial Observability";
Talk: Workshop on Game Theoretic and Decision Theoretic Agents (GTDT), Edinburgh, Scotland; 07-31-2005 - 07-31-2005; in: "Working Notes of IJCAI-05 Workshop on Game Theoretic and Decision Theoretic Agents (GTDT 2005)", P. Gmytrasiewicz, S. Parsons (ed.); (2005).
T. Lukasiewicz:
"Stratified Probabilistic Description Logic Programs";
Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Galway, Ireland; 11-07-2005 - 11-07-2005; in: "Proceedings of the ISWC-2005 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2005)", P. da Costa, K.B. Laskey, K.J. Laskey (ed.); (2005), 87 - 97.
T. Lukasiewicz:
"Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG";
Talk: International Symposium on Imprecise Probabilities and Their Applications (ISIPTA), Pittsburgh, Pennsylvania, USA; 07-20-2005 - 07-23-2005; in: "Proceedings of the 4th International Symposium on Imprecise Probabilities and Their Applications (ISIPTA 2005)", CMU, (2005), 230 - 239.
A. Finzi, T. Lukasiewicz:
"Game-Theoretic Golog under Partial Observability";
Talk: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Utrecht, The Netherlands; 07-25-2005 - 07-29-2005; in: "Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005)", F. Dignum, V. Dignum, S. Koenig, S. Kraus et al. (ed.); ACM Press, (2005), ISBN: 1-59593-094-9; 1301 - 1302.
T. Lukasiewicz:
"Probabilistic Description Logic Programs";
Talk: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Barcelona, Spain; 07-06-2005 - 07-08-2005; in: "Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005)", L. Godo (ed.); Springer, LNAI 3571 (2005), ISBN: 3-540-27326-3; 737 - 749.
D. Brooks, E. Erdem, J. Minett, D. Ringe:
"Character-Based Cladistics and Answer Set Programming";
Talk: Internaional Symposium on Practical Aspects of Declarative Languages (PADL), Long Beach, California, USA; 01-10-2005 - 01-11-2005; in: "Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages (PADL 2005)", M. Hermenegildo, D. Cabeza (ed.); Springer, LNCS 3350 (2005), ISBN: 3-540-24362-3; 37 - 51.
E. Erdem, A. Gabaldon:
"Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents";
Talk: Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC), Edinburgh, Scotland; 08-01-2005 - 08-01-2005; in: "Working Notes of IJCAI-05 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'05)", L. Morgenstern, M. Pagnucco (ed.); (2005), 28 - 33.
J. Delgrande, T. Schaub, H. Tompits:
"A General Framework for Expressing Preferences in Causal Reasoning and Planning";
Talk: International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE), Corfu, Greece; 05-22-2005 - 05-24-2005; in: "Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2005)", S. McIlraith, P. Peppas, M. Thielscher (ed.); (2005), ISSN: 1430-211x; 47 - 54.
A. Finzi, T. Lukasiewicz:
"Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 09-05-2005 - 09-08-2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral, G. Greco, N. Leone et al. (ed.); Springer, LNCS 3662 (2005), ISBN: 3-540-28538-5; 185 - 197.
E. Erdem, A. Gabaldon:
"Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents";
Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 07-09-2005 - 07-13-2005; in: ""Proceedings 20th National Conference on Artificial Intelligence (AAAI '05)", M. Veloso, S. Kambhampati (ed.); AAAI Press, (2005), ISBN: 1-57735-236-x; 627 - 632.
E. Erdem, E. Tillier:
"Genome Rearrangement and Planning";
Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 07-09-2005 - 07-13-2005; in: "Proceedings 20th National Conference on Artificial Intelligence (AAAI '05)", M. Veloso, S. Kambhampati (ed.); AAAI Press, (2005), ISBN: 1-57735-236-x; 1139 - 1144.
G. Ianni, C. Panetta, F. Ricca:
"Specification of Assessment-Test Criteria through ASP Specifications";
Talk: International Workshop on Answer Set Programming (ASP), Bath, UK; 09-27-2005 - 09-29-2005; in: "Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop", M. De Vos, A. Provetti (ed.); CEUR Workshop Proceedings, 142 (2005), 293 - 302.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set Programming";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland; 07-30-2005 - 08-05-2005; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", Professional Book Center, Denver, USA (2005), ISBN: 0-938075-93-4; 90 - 96.
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits:
"Nonmonotonic Description Logic Programs: Implementation and Experiments";
Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 03-14-2005 - 03-18-2005; in: "Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning", F. Baader, A. Voronkov (ed.); Springer, LNAI 3452 (2005), ISBN: 3-540-25236-3; 511 - 527.
R. Schindlauer:
"Nonmonotonic Logic Programs for the Semantic Web";
Talk: International Conference on Logic Programming (ICLP), Sitges, Spain; 10-02-2005 - 10-05-2005; in: "Proceedings of the 21st International Conference on Logic Programming", M. Gabbrielli, G. Gupta (ed.); Springer, LNCS 3668 (2005), ISBN: 3-540-29208-x; 446 - 447.
N. Leone, T. Eiter, W. Faber, M. Fink et al.:
"Data Integration: a Challenging ASP Application";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 09-05-2005 - 09-08-2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral (ed.); Springer, LNCS 3662 (2005), ISBN: 3-540-28538-5; 379 - 383.
N. Leone, T. Eiter, W. Faber, M. Fink et al.:
"Boosting Information Integration: The INFOMIX System";
Talk: Italian Symposium on Databases (SEBD), Brixen, Italy; 06-19-2005 - 06-22-2005; in: "Proceedings of the 13th Italian Symposium on Databases (SEBD 2005)", A. Cali et al. (ed.); Aracne Editrice s.r.l, Roma, (2005), ISBN: 88-548-0122-4; 55 - 66.
T. Eiter:
"Data Integration and Answer Set Programming";
Keynote Lecture: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy (invited); 09-05-2005 - 09-08-2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral et al. (ed.); Springer, LNAI 3662 (2005), ISBN: 3-540-28538-5; 13 - 25.
T. Eiter, W. Faber, P. Traxler:
"Testing Strong Equivalence of Datalog Programs: Implementation and Examples";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 09-05-2005 - 09-08-2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral et al. (ed.); Springer, LNCS 3662 (2005), ISBN: 3-540-28538-5; 437 - 441.
T. Eiter, M. Fink, J. Senko:
"KMonitor -- A Tool for Monitoring Plan Execution in Action Theories";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Diamante, Italy; 09-05-2005 - 09-08-2005; in: "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", C. Baral et al. (ed.); Springer, LNCS 3662 (2005), ISBN: 3-540-28538-5; 416 - 421.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating Action Domain Descriptions";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland; 07-30-2005 - 08-05-2005; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", L. Pack Kaelbling, A. Saffiotti (ed.); Professional Book Center, (2005), ISBN: 0-938075-93-4; 418 - 423.
C. Baral, T. Eiter, J. Zhao:
"Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic Domains";
Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 07-09-2005 - 07-13-2005; in: "Proceedings 20th National Conference on Artificial Intelligence (AAAI '05)", M. Veloso, S. Kambhampati (ed.); AAAI Press, (2005), ISBN: 1-57735-236-x; 578 - 583.
N. Leone, T. Eiter, W. Faber, M. Fink et al.:
"The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data";
Talk: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Bltimore, Maryland, USA; 06-13-2005 - 06-15-2005; in: "Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (SIGMOD/PODS 2005 Conference)", ACM, (2005), ISBN: 1-59593-060-4; 915 - 917.
U. Egly, G. Novak, D. Weber:
"Decision Making for MiroSOT Soccer Playing Robots";
Talk: 1st CLAWAR/EURON/IARP Workshop on Robots in Entertainment, Leisure and Hobby, Wien; 12-02-2005 - 12-04-2005; in: "Decision Making for MiroSOT Soccer Playing Robots", (2005), 69 - 72.
H. Tompits, S. Woltran:
"Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming";
Talk: International Workshop on Answer Set Programming (ASP), Bath, UK; 07-27-2005 - 07-29-2005; in: "Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop", M. De Vos, A. Provetti (ed.); CEUR Workshop Proceedings, 142 (2005), 115 - 129.
T. Eiter, H. Tompits, S. Woltran:
"On Solution Correspondences in Answer-Set Programming";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scottland; 07-30-2005 - 08-05-2005; in: "Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)", (2005), ISBN: 0-938075-93-4; 97 - 102.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case";
Talk: National Conference on Artificial Intelligence (AAAI), Pittsburgh, Pennsylvania, USA; 07-09-2005 - 07-13-2005; in: "Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference,", AAAI Press / The MIT Press 2005, (2005), ISBN: 1-57735-236-x; 695 - 700.
H. Tompits, S. Woltran:
"Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming";
Talk: International Conference on Logic Programming (ICLP), Sitges, Spain; 10-02-2005 - 10-05-2005; in: "Proceedings of the 21st International Conference on Logic Programming", M. Gabbrielli, G. Gupta (ed.); Springer, LNCS 3668 (2005), ISBN: 3-540-29208-x; 189 - 203.
A. Reiterer, H. Kahmen, T. Eiter, U. Egly, G. Paar:
"A Smart Videometric System";
Poster: International Conference on Optical 3-D Measurement Techniques VII, Vienna, Austria; 10-03-2005 - 10-05-2005; in: "Proceedings Optical 3-D Measurement Techniques VII, Vol. II", A. Grün, H. Kahmen (ed.); (2005), ISBN: 3-9501492-2-8; 370 - 375.
More information
A. Reiterer, U. Egly, T. Eiter, H. Kahmen:
"A Knowledge-Based Decision System for an Image-Based Measurement";
Talk: The Eighth International Conference on the Application of Artificial Intelligence to Civil, Structural and Environmental Engineering, Rom; 08-30-2005 - 09-02-2005; in: "Proceedings of the Eighth International Conference on the Application of Artificial Intelligence to Civil, Structural and Environmental Engineering", B. Topping (ed.); (2005), ISBN: 1-905088-03-5; 35 - 36.
More information
R. Baumgartner, T. Eiter, G. Gottlob, M. Herzog, C. Koch:
"Information Extraction for the Semantic Web";
Talk: First International Summer School Reasoning Web 2005, Msida, Malta; 07-25-2005 - 07-29-2005; in: "Reasoning Web", Springer, LNCS 3564 (2005), ISBN: 3-540-27828-1; 275 - 289.
More information
W. Faber, N. Leone, G. Pfeifer:
"Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity";
Talk: 9th European Conference on Logics in AI (JELIA 2004), Lisbon, Portugal; 09-27-2004 - 09-30-2004; in: "Logics in Artificial Intelligence", J. Alferes, J. Leite (ed.); Springer Verlag, LNAI 3229 (2004), ISBN: 3-540-23242-7; 200 - 212.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Declarative Knowledge Updates through Agents";
Talk: AISB Symposion on Adaptive Agents and Multi-Agent Systems, York, UK; 03-21-2001 - 03-24-2001; in: "Proceedings of the AISBŽ01 Symposion on Adaptive Agents and Multi-Agent Systems", (2001), ISBN: 1-90295-617-0; 79 - 84.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Specifying Update Policies for Nonmonotonic Knowledge Bases";
Talk: Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR), Potsdam, Germany; 04-04-2001 - 04-06-2001; in: "Proceedings of the 5th Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR 2001)", G. Brewka, C. Witteween, T. Schaub (ed.); (2001), 54 - 63.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Reasoning about Evolving Nonmonotonic Knowledge Bases";
Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Havana, Cuba; 12-03-2001 - 12-07-2001; in: "Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001)", R. Nieuwenhuis, A. Voronkov (ed.); Springer, LNAI 2250 (2001), ISBN: 3-540-42957-3; 407 - 421.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"An Update Front-End for Extended Logic Programs";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Vienna, Austria; 09-17-2001 - 09-19-2001; in: "Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001)", T. Eiter, W. Faber, M. Truszczynski (ed.); Springer, LNAI 2173 (2001), ISBN: 3-540-42593-4; 397 - 401.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"A Framework for Declarative Update Specifications in Logic Programs";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Seattle, Washington, USA; 08-04-2001 - 08-10-2001; in: "Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001)", B. Nebel (ed.); Morgan Kaufmann, (2001), ISBN: 1-55860-777-3; 649 - 654.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Considerations on Updates of Logic Programs";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Malaga, Spain; 09-29-2000 - 10-02-2000; in: "Proceedings of the 7th European Workshop on Logics in Artificial Intelligence (JELIA)", M. Ojeda-Aciego, I.P. de Guzman, G. Brewka, L.M. Pereira (ed.); Springer, LNAI 1919 (2000), ISBN: 3-540-41131-3; 2 - 20.
U. Egly, M. Fink, A. Polleres, H. Tompits:
"A Web-Based Tutoring Tool for Calculating Default Logic Extensions";
Talk: World Conference on the WWW and Internet (WEBNET), Honolulu, Hawaii; 10-24-1999 - 10-30-1999; in: "Proceedings of the World Conference on the WWW and Internet (WEBNET 99)", P. de Bra, J. Leggett (ed.); AACE, 1 (1999), ISBN: 1-880094-36-3; 1251 - 1252.
E. Erdem, M.D.F. Wong:
"Rectilinear Steiner Tree Construction Using Answer Set Programming";
Talk: International Conference on Logic Programming (ICLP), Saint-Malo, France; 09-06-2004 - 09-10-2004; in: "Proceedings of the 20th International Conference on Logic Programming", Springer, LNCS 3132 (2004), ISBN: 3-540-22671-0; 386 - 399.
T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Well-founded Semantics for Description Logic Programs in the Semantic Web";
Talk: Rules and Rule Markup Languages for the Semantic Web, Hiroshima, Japan; 11-08-2004; in: "Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004", G. Antoniou, H. Boley (ed.); Springer, LNCS 3323 (2004), ISBN: 3-540-23842-5; 81 - 97.
More information
T. Linke, H. Tompits, S. Woltran:
"On Acyclic and Head-Cycle Free Nested Logic Programs";
Talk: International Conference on Logic Programming (ICLP), Saint-Malo, France; 09-06-2004 - 09-10-2004; in: "Proceedings of the 20th International Conference on Logic Programming", B. Demoen, V. Lifschitz (ed.); Springer, LNCS 3132 (2004), ISBN: 3-540-22671-0; 225 - 239.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Simplifying Logic Programs under Uniform and Strong Equivalence";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Fort Lauderdale, FL, USA; 01-06-2004 - 01-08-2004; in: "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning", V. Lifschitz, I. Niemelä (ed.); Springer, LNAI 2923 (2004), ISBN: 3-540-20721-x; 87 - 99.
More information
U. Egly, M. Seidl, H. Tompits, S. Woltran, M. Zolda:
"Comparing Different Prenexing Strategies for Quantified Boolean Formulas";
Talk: International Conference on the Theory and Applications of Satisfiability Testing, Santa Margherita Ligure, Italy; 05-05-2003 - 05-08-2003; in: "Theory and Application of Satisfiability. Selected Revised Papers.", E. Giunchiglia, A. Tacchella (ed.); Springer, LNCS 2919 (2004), ISBN: 3-540-20851-8; 214 - 228.
S. Woltran:
"Characterizations for Relativized Notions of Equivalence in Answer Set Programming";
Talk: European Conference on Logics in Artificial Intelligence (JELIA), Lisbon, Portugal; 09-27-2004 - 09-30-2004; in: "Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004)", J. Alferes, J. Leite (ed.); Springer, LNAI 3229 (2004), ISBN: 3-540-23242-7; 161 - 173.
A. Reiterer, U. Egly, T. Eiter, H. Kahmen:
"A Knowledge-Based Videometric Measurement System";
Talk: 18th IFIP World Computer Congress WCC Toulouse 2004 / A Stream within AIAI-2004 on WCC-2004, Toulouse; 08-22-2004 - 08-27-2004; in: "The Symposium on Professional Practive in AI ", E. Mercier-Laurent, J. Debenham (ed.); 1 (2004), ISBN: 2-907801-05-8; 313 - 322.
More information
T. Eiter, E. Erdem, W. Faber:
"Plan Reversals for Recovery in Execution Monitoring";
Talk: International Workshop on Non-Monotonic Reasoning (NMR), Whistler, BC, Canada; 06-06-2004 - 06-08-2004; in: "Proceedings of the 10th International Workshop on Non-Monotonic Reasoning", J. Delgrande, T. Schaub (ed.); (2004), ISBN: 92-990021-0-x; 147 - 154.
T. Linke, H. Tompits, S. Woltran:
"On Acyclic and Head-Cycle Free Nested Logic Programs";
Talk: International Workshop on Non-Monotonic Reasoning (NMR), Whistler, BC, Canada; 06-06-2004 - 06-08-2004; in: "Proceedings of the 10th International Workshop on Non-Monotonic Reasoning", J. Delgrande, T. Schaub (ed.); (2004), ISBN: 92-990021-0-x; 267 - 275.
T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Combining Answer Set Programming with Description Logics for the Semantic Web";
Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, (2004), ISBN: 1-57735-201-7; 141 - 151.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"On Eliminating Disjunctions in Stable Logic Programming";
Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, (2004), ISBN: 1-57735-201-7; 447 - 457.
More information
J. Delgrande, T. Schaub, H. Tompits:
"Domain-Specific Preferences for Causal Reasoning and Planning";
Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth International Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, (2004), ISBN: 1-57735-201-7; 673 - 682.
C. Baral, T. Eiter:
"Polynomial-time Algorithm for Constructing k-Maintainable Policies";
Talk: International Conference on Automated Planning and Scheduling (ICAPS), Whistler, BC, Canada; 06-03-2004 - 06-07-2004; in: "Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling", S. Zilberstein, J. Koehler, S. Koenig (ed.); AAAI Press, (2004), ISBN: 1-57735-200-9; 111 - 120.
T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
"Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, Menlo Park, CA, USA (2004), ISBN: 1-57735-199-1; 377 - 387.
More information
T. Eiter, K. Makino:
"Abduction and the Dualization Problem";
Talk: 6th International Conference on Discovery Science, Sapporo, Japan (invited); 10-17-2003 - 10-19-2003; in: "Proceedings 6th International Conference on Discovery Science (DS 2003)", Springer, Lecture Notes in Computer Science 2843 (2003), ISBN: 3-540-20293-5; 1 - 20.
T. Eiter, K. Makino:
"Generating all Abductive Explanations for Queries on Propositional Horn Theories";
Talk: 12th Annual Conference of the EACSL, Vienna, Austria; 08-25-2003 - 08-30-2003; in: "Proceedings 12th Annual Conference of the EACSL (CSL 2003)", Springer, Lecture Notes in Computer Science 2803 (2003), ISBN: 3-540-40801-0; 197 - 211.
T. Eiter, A. Polleres:
"Towards Automated Integration of Guess and Check Programs in Answer Set Programming";
Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Fort Lauderdale, FL, USA; 01-04-2004 - 01-06-2004; in: "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning", V. Lifschitz, I. Niemelä (ed.); Springer, LNCS 2923 (2004), ISBN: 3-540-20721-x; 100 - 113.
D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, S. Woltran:
"On Implementing Nested Logic Programms: Overview and Comparisons";
Talk: 17th Workshop on Logic Programming and Constraint Systems (WLP-02), Dresen, Germany; 12-11-2002 - 12-13-2002; in: "Proceedings of the 17th Workshop on Logic Programming and Constraint Systems", B. Fronhoefer, S. Hölldobler (ed.); (2003), ISSN: 1430-211x; 81 - 95.
U. Egly, M. Seidl, H. Tompits, S. Woltran, M. Zolda:
"Comparing different prenexing strategies for quantified boolean formulas";
Talk: International Conference on the Theory and Applications of Satisfiability Testing, S. Margherita Ligure - Portofino ( Italy); 05-05-2003 - 05-08-2003; in: " Proceedings of the 6th International Conference on the Theory and Applications of Satisfiability Testing (SAT-03)", J. Franco et al. (ed.); Springer, (2003), ISBN: 3-540-20851-8; 370 - 378.
P. Besnard, T. Schaub, H. Tompits, S. Woltran:
"Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories";
Talk: III World Congress on Paraconsistency, Toulouse, France; 07-28-2003 - 07-31-2003; in: " Proceedings of the III World Congress on Paraconsistency", (2003), 73 - 84.
P. Besnard, T. Schaub, H. Tompits, S. Woltran:
"Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories";
Talk: ECSQARU 2003, Aalborg, Denmark; 07-02-2003 - 07-05-2003; in: "Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference", T. Nielsen, N. Zhang (ed.); Springer, Lecture Notes in Computer Science 2711 (2003), ISBN: 3-540-40494-5; 528 - 539.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation";
Talk: 2nd Intl. Answer Set Programming Workshop, Messina, Italy; 09-26-2003 - 09-28-2003; in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS, 78 (2003), ISSN: 1613-0073; 151 - 165.
More information
T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
"Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
Talk: 2nd Intl. Answer Set Programming Workshop, Messina, Italy; 09-26-2003 - 09-28-2003; in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS, 78 (2003), ISSN: 1613-0073; 69 - 83.
More information
T. Eiter, A. Polleres:
"Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation";
Talk: APPIA-GULP-PRODE 2003 - 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien; 09-03-2003 - 09-05-2003; in: "APPIA-GULP-PRODE 2003 - 2003 Joint Conference on Declarative Programming", F. Buccafurri (ed.); (2003), 410 - 421.
More information
C. Cumbo, W. Faber, G. Greco:
"Improving Query Optimization for Disjunctive Datalog";
Talk: APPIA-GULP-PRODE 2003 - 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italy; 09-03-2003 - 09-05-2003; in: "APPIA-GULP-PRODE 2003 - 2003 Joint Conference on Declarative Programming", F. Buccafurri (ed.); (2003), 252 - 262.
More information
A. Reiterer, H. Kahmen, U. Egly, T. Eiter:
"Knowledge-Based Image Preprocessing for a Theodolit Measurement System";
Talk: 6th Conference on Optical 3-D Measurement Techniques, Zürich; 09-22-2003 - 09-25-2003; in: "Optical 3-D Measurement Techniques VI", A. Grün, H. Kahmen (ed.); Vol. II (2003), ISBN: 3-906467-43-0; 183 - 190.
More information
J. Delgrande, T. Schaub, H. Tompits, K. Wang:
"Towards a Classification of Preference Handling Approaches in Nonmonotonic Reasoning";
Talk: AAAI-02 Workshop, Edmonton, Alberta, Canada; 07-28-2002 - 07-29-2002; in: "Preferences in AI and CP: Symbolic Approaches ", U. Junker (ed.); Technical Report WS-02-13 (2002), ISBN: 1-57735-166-5; 16 - 24.
More information
U. Egly, R. Pichler, S. Woltran:
"On Deciding Subsumption Problems";
Talk: Fifth Internternational Symposium on the Theory and Applications of Satisfiability Testing (SAT-02), Cincinnati, Ohio, USA; 05-06-2002 - 05-09-2002; in: "Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT-02)", J. Franco et al. (ed.); (2002), 89 - 97.
More information
D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, S. Woltran:
"A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report";
Talk: 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France; 04-19-2002 - 04-21-2002; in: "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002)", S. Benferhat, E. Giunchiglia (ed.); (2002), 57 - 66.
More information
T. Eiter, T. Lukasiewicz:
"Causes and Explanations in the Structural-Model Approach: Tractable Cases";
Talk: Conference on Uncertainty in Artificial Intelligence (UAI), Edmonton, Alberta, Canada; 08-01-2002 - 08-04-2002; in: "Proceedings Eighteenth Conference on Uncertainty in Artificial Intelligence (UAI-2002)", A. Darwiche, N. Friedman (ed.); Morgan Kaufmann, (2002), 146 - 153.
T. Eiter, K. Makino:
"On Computing all Abductive Explanations";
Talk: National Conference on Artificial Intelligence (AAAI), Edmonton, Alberta, Canada; 07-28-2002 - 08-01-2002; in: "Proceedings Eighteenth National Conference on Artificial Intelligence (AAAI '02)", AAAI Press, Menlo Park, CA (2002), ISBN: 0-262-51129-0; 62 - 67.
T. Eiter, T. Lukasiewicz:
"Complexity Results for Explanations in the Structural-Model Approach";
Talk: Principles of Knowledge Representation and Reasoning (KR), Toulouse, France; 04-22-2002 - 04-25-2002; in: "Proceedings Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR-02)", D. Fensel et al. (ed.); Morgan Kaufmann, (2002), ISBN: 1-55860-847-8; 49 - 60.
T. Eiter, G. Gottlob, T. Schwentick:
"Second-Order Logic over Strings: Regular and Non-Regular Fragments";
Talk: International Conference on Developments in Language Theory (DLT), Vienna, Austria; 07-16-2001 - 07-21-2001; in: "Proceedings Fifth International Conference on Developments in Language Theory (DLT 2001). Revised Papers", W. Kuich et al. (ed.); Springer, (2002), ISBN: 3-540-43453-4; 37 - 56.
U. Egly, H. Tompits, S. Woltran:
"On Quantifier Shifting for Quantified Boolean Formulas";
Talk: Fifth Internternational Symposium on the Theory and Applications of Satisfiability Testing (SAT-02), Cincinnati, Ohio, USA; 05-06-2002 - 05-09-2002; in: "Proceedings Quantified Boolean Formulas Workshop", T. Walsh, E. Giunchiglia (ed.); (2002), 48 - 61.
More information
P. Besnard, T. Schaub, H. Tompits, S. Woltran:
"Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems";
Talk: Paraconsistent Computational Logic (PCL 2002), Copenhagen, Denmark; 07-27-2002; in: "Proceedings of the ICLP 2002 Workshop Paraconsistent Computational Logic", H. Decker, J. Villadson, T. Waragai (ed.); Volume 95 of Datalogiske Skrifter, Roskilde, Denmark (2002), 1 - 15.
More information
U. Egly:
"Embedding Lax Logic into Intuitionistic Logic";
Talk: International Conference on Automated Deduction (CADE), Copenhagen, Denmark; 07-27-2002 - 07-30-2002; in: "Proceedings of the 18th International Conference on Automated Deduction", a. voronkov (ed.); Springer Verlag, (2002), ISBN: 3-540-43931-5; 78 - 93.
More information
P. Besnard, T. Schaub, H. Tompits, S. Woltran:
"Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems";
Talk: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy; 09-23-2002 - 09-26-2002; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Springer Verlag, (2002), ISBN: 3-540-44190-5; 320 - 331.
More information
D. Pearce, V. Sarsakov, T. Schaub, H. Tompits, S. Woltran:
"A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report";
Talk: International Conference on Logic Programming (ICLP), Copenhagen, Denmark; 07-29-2002 - 08-01-2002; in: "Proceedings of the 18th International Conference on Logic Programming", P. Stuckey (ed.); Springer Verlag, (2002), ISBN: 3-540-43930-7; 405 - 420.
More information
T. Eiter, V. Klotz, H. Tompits, S. Woltran:
"Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks";
Talk: Analytic Tableaux and Related Methods (TABLEAUX), Copenhagen, Denmark; 07-30-2002 - 08-01-2002; in: "Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods", U. Egly, C. Fermüller (ed.); Springer Verlag, (2002), ISBN: 3-540-43929-3; 100 - 114.
More information
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"A Generic Approach for Knowledge-Based Information-Site Selection";
Talk: International Conference on Principles of Knowledge Representation and Reasoning (KR), Toulouse, France; 04-22-2002 - 04-27-2002; in: "Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002)", D. Fensel, F. Giunchiglia, D. McGuinness, M.-A. Williams (ed.); Morgan Kaufmann, Toulouse, France (2002), ISBN: 1-55860-847-8; 459 - 469.
More information
F. Calimeri, W. Faber, N. Leone, G. Pfeifer:
"Pruning Operators for Answer Set Programming Systems";
Talk: 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France; 04-19-2002 - 04-21-2002; in: "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'200)", S. Benferhat, E. Giunchiglia (ed.); (2002), 200 - 209.
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"The DLVK Planning System: Progress Report";
Poster: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy; 09-23-2002 - 09-26-2002; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Lecture Notes in Artificial Intelligence (LNAI)/Springer, 2424 (2002), ISBN: 3-540-44190-5; 541 - 544.
N. Leone, G. Pfeifer, W. Faber, F. Calimeri, T. DellŽArmi, T. Eiter, G. Gottlob, G. Ianni, G. Ielpa, C. Koch, S. Perri, A. Polleres:
"The DLV System";
Poster: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy (invited); 09-23-2002 - 09-26-2002; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Lecture Notes in Artificial Intelligence, Springer, 2424 (2002), ISBN: 3-540-44190-5; 537 - 540.
More information
Talks and Poster Presentations (without Proceedings-Entry)
U. Egly:
"DPLL Procedures for Non-clausal SAT and QSAT Problems";
Talk: Workshop on Computational Logics and Applications, Wien (invited); 07-07-2011 - 07-08-2011.
M. Fink:
"HEX Programs with Action Atoms";
Talk: DIADEM 1.0 Workshop, Vienna, Austria (invited); 10-01-2011 - 10-04-2011.
More information
M. Fink:
"Nonmonotonic Multi-Context Systems: Recent Advancements";
Talk: Sabanci University Istanbul, Istanbul, Turkey (invited); 04-05-2011.
More information
T. Eiter:
"Paracoherent Answer Set Programming";
Talk: Workshop on Logic and Computer Science, Vienna; 03-24-2011 - 03-25-2011.
T. Eiter:
"Nonmonotonic Multi-Context Systems in Dynamic Environments";
Talk: International Workshop on Logic-Based Interpretation of Context: Modelling and Applications, Vancouver, Canada (invited); 05-16-2011.
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 07-16-2011 - 07-22-2011.
More information
T. Eiter, M. Fink, G. Ianni, T. Krennwallner, P. Schüller:
"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition";
Poster: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain (invited); 07-16-2011 - 07-22-2011.
More information
T. Krennwallner:
"Promoting Modular Nonmonotonic Logic Programs";
Talk: Net2 WP3 Mini-Workshop, Galway, Ireland (invited); 08-22-2011.
More information
S. Heymans:
"Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
M. Dao-Tran, T. Eiter, M. Fink, T. Krennwallner:
"Distributed Nonmonotonic Multi-Context Systems";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
More information
T. Eiter:
"Combining Nonmonotonic Knowledge Bases with External Sources";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
T. Eiter, M. Fink, P. Schüller, A. Weinzierl:
"Finding Explanations of Inconsistency in Multi-Context Systems";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
M. Simkus:
"Reasoning in Logic Programs with Function Symbols and Negation under the Stable Model Semantics";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
M. Fink, D. Pearce:
"A Logical Semantics for Description Logic Programs";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
T. Eiter, M. Fink, J. Moura:
"Paracoherent Answer Set Programming";
Talk: Workshop on Hybrid Knowledge Representation and Reasoning (HKRR), Wien (invited); 03-11-2010 - 03-14-2010.
G. Brewka, T. Eiter, M. Fink:
"Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources";
Talk: Symposium on Constructive Mathematics in Computer Science, Lexington, KY, USA (invited); 10-25-2010 - 10-26-2010.
More information
A. Weinzierl, M. Fink, T. Eiter:
"Meta-Reasoning in Multi-Context Systems";
Talk: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010.
More information
P. Schüller, T. Eiter, M. Fink:
"Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems";
Talk: Junior Scientist Conference 2010, Vienna; 04-07-2010 - 04-09-2010.
More information
P. Schüller:
"Methods and Algorithms for Managing Inconsistency in Multi-Context Systems";
Poster: Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Toronto, Canada; 05-09-2010 - 05-13-2010.
More information
M. Ortiz de la Fuente:
"Query Answering over expressive DL Ontologies";
Talk: Seminar of the Artificial Intelligence Department, Technical University of Madrid (DIA - UPM), Technical University of Madrid, Madrid, Spain (invited); 06-01-2009.
More information
M. Ortiz de la Fuente:
"Querying Expressive Knowledge Bases";
Talk: Seminar of the Artificial Intelligence Research Group, University Rey Juan Carlos (GIA - URJC), University Rey Juan Carlos. Madrid, Spain (invited); 01-14-2009.
More information
M. Ortiz de la Fuente:
"Querying Description Logic Knowledge Bases: automata-theoretic techniques";
Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 06-29-2009 - 07-02-2009.
More information
M. Ortiz de la Fuente, M. Simkus, T. Eiter:
"Reasoning with knots";
Talk: Tutorial sessions, Faculty of Computer Sicience, BUAP, Puebla, Mexiko (invited); 07-09-2009.
More information
M. Simkus:
"Bidirectional Answer Set Programs with Function Symbols";
Talk: Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy (invited); 12-11-2009.
More information
M. Ortiz de la Fuente:
"Query Answering in Horn-SHIQ";
Talk: Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy (invited); 12-14-2009.
More information
M. Ortiz de la Fuente:
"The combined complexity of query answering in expressive DLs";
Talk: Seminar of the KRDB Research Centre at the Faculty of Computer Science of the Free University of Bozen-Bolzano, Bolzano, Italy (invited); 11-11-2008.
More information
A. Reiterer, A. Bauer, U. Egly:
"Deformation Monitoring by Image Assisted Total Stations - State of the Art and Future Developments";
Talk: Technologieforum Leica Geosystems, Heerbrugg, Schweiz (invited); 05-21-2008.
More information
J. Oetsch, H. Tompits, S. Woltran:
"Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
Poster: AAAI ' 07, Vancouver, Canada; 07-22-2007 - 07-26-2007.
T. Lukasiewicz, U. Straccia:
"Tutorial on Managing Uncertainty and Vagueness in Semantic Web Languages";
Talk: National Conference on Artificial Intelligence (AAAI), Vancouver, British Columbia, Canada; 07-22-2007 - 07-26-2007.
T. Lukasiewicz, U. Straccia:
"Tutorial on Managing Uncertainty and Vagueness in Semantic Web Languages";
Talk: 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Austria; 06-03-2007 - 06-07-2007.
A. Polleres, R. Schindlauer:
"SPAR2QL: From SPARQL to Rules";
Poster: 5th International Semantic Web Conference (ISWC 2005), Athens, GA, USA; 11-05-2006 - 11-09-2006.
R. Schindlauer:
"dlvhex - A Tool for Semantic Web Reasoning under the Answer-Set Semantics";
Talk: Second International Summer School Reasoning Web 2006, Lissabon, Portugal; 09-04-2006 - 09-08-2006.
S. Woltran:
"Replacements in Non-Ground Answer-Set Programming";
Talk: Seminarvortrag, Comenius-Universitaet Bratislava (invited); 10-12-2006.
S. Woltran:
"Replacements in Non-Ground Answer-Set Programming";
Talk: Seminarvortrag, Helsinki University of Technology, Laboratory for Theoretical Computer Science (invited); 09-20-2006.
S. Woltran:
"Complexity Results for Checking Equivalence of Stratified Logic Programs";
Talk: Seminarvortrag, Universitaet Potsdam, Institut fuer Informatik (invited); 07-13-2006.
E. Erdem:
"Character-Based Cladistics and Answer Set Programming";
Talk: Seminarvortrag, University of Texas, Austin, USA (invited); 01-14-2005.
R. Schindlauer:
"Nonmonotonic Logic Programs for the Semantic Web";
Poster: International Conference on Logic Programming (ICLP), Sitges, Spain; 10-02-2005 - 10-05-2005.
S. Woltran:
"On Solution Correspondences in Answer Set Programming: A General Framework (and Characterizations for the Ground Case)";
Talk: Dagstuhl Seminar Nr. 05171, Nonmonotonic Reasoning, Answer Set Programming and Constraints, Dagstuhl, Deutschland (invited); 04-24-2005 - 04-29-2005.
S. Woltran:
"Solution Correspondences in Answer-Set Programming: An Overview";
Talk: Seminarvortrag, Universita' della Calabria, Italien (invited); 06-10-2005.
S. Woltran:
"Node Presentation: TU Wien";
Talk: International Workshop on Answer Set Programming (ASP), Bath, UK (invited); 07-27-2005.
S. Woltran:
"Solution Correspondences in Answer-Set Programming: An Overview";
Talk: Seminarvortrag, Universidad Rey Juan Carlos, Mostoles, Spanien (invited); 10-06-2005.
S. Woltran:
"Survey of Equivalences in ASP";
Talk: Seminarvortrag, Universitaet Potsdam (invited); 11-23-2005.
M. Fink:
"Declarative Logic-Programming Components for Information Agents";
Poster: IEEE International Conference on Automated Software Engineering (ASE), Linz, Austria (invited); 09-24-2004.
T. Eiter:
"INFOMIX: Data Integration meets Nonmonotonic Deductive Databases";
Talk: Kolloquium, Universität Klagenfurt, Österreich (invited); 11-26-2004.
T. Eiter:
"Towards Combining Answer Set Semantics with Description Logics for the Semantic Web";
Talk: Kolloquium, Universität Klagenfurt, Österreich (invited); 11-26-2004.
T. Eiter:
"Nonmontonic Description Logic Programs";
Talk: Seminarvortrag, Computer Science Dept., Univ. of Manchaster, UK (invited); 12-09-2004.
T. Eiter:
"INFOMIX: Progress and Demo Scenario";
Talk: Seminarvortrag, Comenius Univ. Bratislava, Slowakei (invited); 11-05-2004.
T. Eiter:
"INFOMIX: Data Integration meets Nonmonotonic Deductive Databases";
Talk: Seminarvortrag, Computer Science Dep., Univ of Manchester, UK (invited); 12-08-2004.
T. Eiter:
"INFOMIX: Data Integration meets Nonmonotonic Deductive Databases";
Talk: ARISE Workshop on Exchange and Integration of Data, Toronto, Canada; 10-07-2004.
T. Eiter:
"Strong and Uniform Equivalence of Logic Programs under Answer Set Semantics - the Datalog Case";
Talk: Seminarvortrag, Comenius Univ. Bratislava, Slowakei (invited); 05-14-2004.
T. Eiter:
"Towards Combining Answer Set Semantics with Description Logics for the Semantic Web";
Talk: Seminarvortrag, Freie Universität Bozen, Bozen, Italien (invited); 04-08-2004.
T. Eiter:
"Planning by Answer Set Programming - The DLV/K System";
Talk: Seminarvortrag, National Institute of Informations, Tokio, Japan (invited); 03-09-2004.
T. Eiter:
"Abduction and the Dualization Problem";
Talk: International Symposium on Discrete Algorithms and Optimization, Kyoto University, Kyoto, Japan (invited); 03-04-2004.
T. Eiter:
"The INFOMIX System for Information Integration";
Talk: Seminarvortrag, Comenius Univ. Bratislava, Slowakei (invited); 01-30-2004.
U. Egly:
"Argumentation Frameworks and QBFs";
Talk: International Workshop on QSAT and SAT, Guangzhou, P.R. China (invited); 09-26-2004.
H. Tompits:
"On Eliminating Disjunctions in Stable Logic Programming";
Talk: Seminarvortrag, Universitaet Potsdam (invited); 08-18-2004.
H. Tompits, S. Woltran:
"On Simplifying and Rewriting Logic Programs: Characterisations and Complexity";
Talk: Seminarvortrag, Bratislava, Slowakei (invited); 01-30-2004.
S. Woltran:
"Elimination of Disjunction in Stable Logic Programming";
Talk: Seminarvortrag, Bratislava, Slowakei (invited); 05-17-2004.
S. Woltran:
"Relativized Notions of Equivalence in ASP";
Talk: Seminarvortrag, Universitaet Potsdam, Institut fuer Informatik (invited); 08-18-2004.
S. Woltran:
"Complexity of Equivalence between Propositional Logic Programs";
Talk: Seminarvortrag, Bratislava, Slowakei (invited); 11-05-2004.
T. Eiter:
"The INFOMIX Information Integration System";
Talk: CologNet Workshop on Data Integration, Wien; 08-23-2003.
T. Eiter:
"Planning by Answer Set Programming -- The DLV/K System";
Talk: Seminarvortrag, Universität Potsdam (invited); 06-06-2003.
T. Eiter:
"Planning by Answer Set Programming -- The DLV/K System";
Talk: Seminarvortrag, Universität Leipzig (invited); 06-04-2003.
T. Eiter:
"The IMPACT Systems for Heterogeneous Agents";
Talk: Seminarvortrag, Comenius University Bratislava (invited); 05-30-2003.
T. Eiter:
"Optimizing consistent query answering from data integration systems";
Talk: Dagstuhl Seminar Nr. 03241, Inconsistency Tolerance, Schloss Dagstuhl (invited); 06-10-2003.
W. Faber:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
Talk: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India; 12-09-2003 - 12-13-2003.
W. Faber:
"Efficient Evaluation of Logic Programs for Querying Data Integration Systems";
Talk: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India; 12-09-2003 - 12-13-2003.
S. Woltran:
"Paraconsistent Reasoning via QBFs";
Talk: Dagstuhl Seminar Nr. 03241, Inconsistency Tolerance, Dagstuhl, Germany (invited); 06-09-2003 - 06-13-2003.
H. Tompits:
"Quantifizierte Boole'sche Formeln für Anwendungen in der Wissensrepräsentation";
Talk: Seminarvortrag, Universität Leipzig (invited); 05-13-2003.
U. Egly:
"Beyond DP: Alternative Calculi for QBF Solving";
Talk: QBF-symposium, Paris, France (invited); 11-21-2003.
W. Faber:
"Disjunctive Logic Programming - Problem-Solving Techniques, Systems, and Applications";
Talk: APPIA-GULP-PRODE 2003 - 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italy (invited); 09-03-2003 - 09-05-2003.
W. Faber:
"Knowledge-based Planning and ASP";
Talk: Dagstuhl Seminar Nr. 02381, Nonmonotonic Reasoning, Answer Set Programming and Constraints, Dagstuhl, Germany (invited); 09-15-2002 - 09-20-2002.
W. Faber:
"Logic-based Planning";
Talk: Seminarvortrag, University of Calabria, Italy (invited); 05-31-2002.
W. Faber:
"ASP-based Planning";
Talk: Seminarvortrag, University of Reggio Calabria, Italy (invited); 05-27-2002.
W. Faber:
"Answer Set Programming";
Talk: Seminarvortrag, University of Messina, Italy (invited); 05-27-2002.
A. Polleres:
"Answer Set Planning with DLVK: Planning with Action Cost";
Poster: PLANET'02 International Summer School on AI Planning 2002, Chalkidiki, Greece; 09-16-2002 - 09-22-2002.
More information
H. Tompits:
"On Encodings of Nested Logic Programs";
Talk: Seminarvortrag, Simon Fraser University, Burnaby, B.C., Canada (invited); 09-17-2002.
H. Tompits:
"On Encodings of Nested Logic Programs";
Talk: Seminarvortrag, Universität Leipzig, Institut für Informatik (invited); 12-11-2002.
S. Woltran:
"Deciding Strong Equivalence between Logic Programs";
Talk: Seminarvortrag, Universität Potsdam, Institut für Informatik (invited); 12-10-2002.
More information
S. Woltran:
"On Implementing Nested Logic Programs";
Talk: Dagstuhl Seminar Nr. 02381, Nonmonotonic Reasoning, Answer Set Programming and Constraints, Dagstuhl, Germany (invited); 09-15-2002 - 09-20-2002.
More information
T. Eiter, M. Fink:
"Answer Set Programming for Information Agents";
Talk: Dagstuhl Seminar on Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481), Schloss Dagstuhl, Wadern, Germany; 11-24-2002 - 11-29-2002.
More information
Doctor's Theses (authored and supervised)
M. Simkus:
"Nonmonotonic Logic Programs with Function Symbols";
Reviewer: T. Eiter, G. Gottlob; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 06-02-2010.
More information
M. Ortiz de la Fuente:
"Query Answering in Expressive Description Logics; Techniques and Complexity Results";
Reviewer: T. Eiter, D. Calvanese; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 05-25-2010.
More information
M. Seidl:
"A Solver for Quantified Boolean Formulas in Negation Normal Form";
Reviewer: U. Egly, S. Woltran; Institut für Informationssysteme, 2007; oral examination: 03-20-2007.
V. Kordic:
"Arbeitszenarien und Optimierung von Abläufen und Steuerung von selbstorganisierenden Bionic Assembly System in CIM Umgebung";
Reviewer: B. Katalinic, U. Egly; Institut für Fertigungstechnik, 2004.
I. Smaili:
"Real-Time Monitoring for the Time-Triggered Architecture";
Reviewer: P. Puschner, U. Egly; Institut für Technische Informatik, 2004.
More information
S. Bittner:
"An Agent-Based Model of Reality in a Cadastre";
Reviewer: A. Frank, T. Eiter; Institut für Geoinformation und Landesvermessung, 2001.
A. Reiterer:
"A Knowledge-Based Decision System for an On-Line Videotheodolite-Based Multisensor System";
Reviewer: H. Kahmen, T. Eiter; Institut für Geodäsie und Geophysik, 2004.
More information
B. Ömer:
"Structured Quantum Programming";
Reviewer: K. Svozil, U. Egly; Institut für Theoretische Physik, 2003.
A. Polleres:
"Advances in Answer Set Planning";
Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2003.
More information
S. Woltran:
"Quantified Boolean Formulas - From Theory to Practice";
Reviewer: U. Egly; Institut fuer Informationssysteme, 2003.
W. Faber:
"Enhancing Efficiency and Expressiveness in Answer Set Programming Systems";
Reviewer: T. Eiter, N. Leone; Institut für Informationssysteme, Abteilung für Wissensbasierte Systeme, 2002.
More information
M. Fink:
"Declarative Logic-Programming Components for Information Agents";
Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.
G. Sabbatini:
"Declarative Logic Programming for Representing Evolving Nonmonotonic Knowledge Bases";
Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.
K. Chmelina:
"Wissensbasierte Analyse geodätischer Verschiebungsmessungen";
Reviewer: H. Kahmen, T. Eiter; Institut für Geodäsie und Geophysik, 2002.
More information
Diploma and Master Theses (authored and supervised)
P. Schneider:
"Evaluation of Description Logic Programs using an RDBMS";
Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2011; final examination: 01-12-2011.
More information
T. Wijaya:
"Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs";
Supervisor: T. Eiter, T. Krennwallner, M. Dao-Tran; Institut für Informationssysteme, 2011; final examination: 08-22-2011.
More information
S. Bairakdar:
"Local Optimization for Multi-Context Systems with Constraint Pushing";
Supervisor: T. Eiter, M. Fink, T. Krennwallner; Institut für Informationssysteme, 2011; final examination: 04-13-2011.
More information
J. Moura:
"Towards A Characterization Of Semi-Stable Models In The Logic Of Here-And-There";
Supervisor: T. Eiter, M. Fink; Institut für Informationssysteme, 2009.
M. Dao-Tran:
"Default Reasoning on Top of Ontologies with dl-Programs";
Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2008.
K. Rybenko:
"Collaborative Process Management in Construction by Means of Rules and Ontologies";
Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2009.
S. Bischof:
"Implementation and Optimization of Queries in XSPARQL";
Supervisor: T. Eiter, T. Krennwallner, A. Polleres; Institut für Informationssysteme, 2010.
C. Drescher:
"Symmetry Breaking for Answer Set Programming";
Supervisor: T. Eiter, M. Fink, T. Krennwallner, T. Walsh; Institut für Informationssysteme, 2010.
More information
C. Redl:
"Merging of Biomedical Decision Diagrams";
Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2010.
More information
C. Redl:
"Development of a Belief Merging Framework for dlvhex";
Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2010.
More information
S. Gaggl:
"Solving Argumentation Frameworks using Answer Set Programming";
Supervisor: U. Egly, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 02-2009.
More information
T. Krennwallner:
"Integration of Conjunctive Queries over Description Logics into HEX-Programs";
Supervisor: T. Eiter, R. Schindlauer; Institut für Informationssysteme, 2007; final examination: 10-16-2007.
More information
M. Eibegger:
"Ein interaktives E-Learning System fuer die Grundlagen der mathematischen Logik";
Supervisor: U. Egly; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2007; final examination: 2007.
G. Ziegler:
"Three-Dimensional Drawing of Lattice-Like Structures";
Supervisor: U. Egly; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2007; final examination: 12-19-2007.
P. Seidelmann:
"Investigations on Intuitionistic Logic and Modal Logic";
Supervisor: U. Egly; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2007; final examination: 12-19-2007.
R. Santillan Rodriguez:
"New Upper Bounds for the SAT/UNSAT Threshold for Shapes";
Supervisor: U. Egly; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2007; final examination: 2007.
A. Heindl:
"On Replacements in Answer-Set Programming based On Partial Evaluation";
Supervisor: H. Tompits, S. Woltran; Institut für Informationssysteme, 2007; final examination: 02-28-2007.
M. Ortiz de la Fuente:
"Answering Conjunctive Queries in Expressive Description Logics";
Supervisor: T. Eiter, D. Calvanese; Institut fuer Informationssysteme, Abteilung Wissensbasierte Systeme 184/3, 2006; final examination: 06-23-2006.
M. Simkus:
"Deciding Description Logics around SHIQ by Translation into Decidable Disjunctive Logic Programs";
Supervisor: T. Eiter; Institut fuer Informationssysteme, Abteilung Wissensbasierte Systeme 184/3, 2006; final examination: 06-23-2006.
P. Traxler:
"Techniques for Simplifying Disjunctive Datalog Programs with Negation";
Supervisor: T. Eiter, S. Woltran; Institut fuer Informationssystem, 184/3, 2006; final examination: 2006.
E. Neumeier:
"Collisions in Cryptographic Hash Algorithms";
Supervisor: U. Egly; Institut für Informationssysteme, 2005.
D. Weber:
"Decision Making in the Robot Soccer Domain";
Supervisor: U. Egly; Institut für Informationssysteme, 2005.
H. Tappeiner:
"NANO: Entwicklung eines kleinen sechsbeinigen Roboters nach biologischem Vorbild";
Supervisor: U. Egly; Institut für Informationssysteme, 2004.
N. Pfaffinger:
"Smute: A Programming Language for Processing Recursively Structured Data";
Supervisor: H. Tompits; Institut fuer Informationssysteme, 2004.
M. Zolda:
"Comparing Different Prenexing Strategies for Quantified Boolean Formulas";
Supervisor: U. Egly, S. Woltran; Institut fuer Informationssysteme, 2004.
B. Schiemann:
"Inhaltsausgezeichnete Erstellung und Publikation technischer Dokumentation";
Supervisor: U. Egly; Institut für Informationssysteme, 2003.
T. Mayr:
"Das Enigma System: Aufbau und Kryptoanalyse";
Supervisor: U. Egly; Institut für Informationssysteme, 2003.
S. Gröbner:
"Strict Implication";
Supervisor: H. Tompits; Institut für Informationssysteme, 2003.
R. Schindlauer:
"Representation of SQL Queries for Declarative Query Analysis";
Supervisor: T. Eiter; Institut für Informationssysteme, 2002.
Scientific Reports
T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar/Diverse Solutions in Answer Set Programming";
Report for CoRR - Computing Research Repository; Report No. arXiv:1108.3260v1, 2011; 58 pages.
C. Drescher, T. Eiter, M. Fink, T. Krennwallner, T. Walsh:
"Symmetry Breaking for Distributed Multi-Context Systems";
Report for CoRR - Computing Research Repository; Report No. arXiv:1104.3931v1, 2011; 13 pages.
More information
M. Fink, A. El Ghali, A. Chniti, R. Korf, A. Schwichtenberg, F. Lévy, J. Puehrer, T. Eiter:
"D2.6 Consistency Maintenance. Final Report";
Report for ONTORULE project; Report No. D2.6, 2011; 121 pages.
More information
C. Feier, T. Eiter, M. Kifer, A. Mosca, M. Rezk, R. Rosati, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
"D3.4 Converged and Optimized Combinations of Rules and Ontologies";
Report for ONTORULE project; Report No. D3.4, 2011; 163 pages.
More information
C. Feier, H. Aït-Kaci, J. Angele, J. De Bruijn, H. Citeau, T. Eiter, A. El Ghali, A. Kerhet, E. Kiss, R. Korf, T. Krekeler, T. Krennwallner, S. Heymans, A. Mosca, M. Rezk, G. Xiao et al.:
"D3.3 Complexity and Optimization of Combinations of Rules and Ontologies";
Report No. D3.3, 2010; 159 pages.
More information
C. Feier:
"Worst-Case Optimal Reasoning with Forest Logic Programs";
Report for Institut für Informationssysteme ArbeitsBereich Wissenbasierte Systeme; Report No. INFSYS RR-1843-11-07, 2011; 40 pages.
More information
S. Bischof, D. Decker, T. Krennwallner, N. Lopes, A. Polleres:
"Mapping between RDF and XML with XSPARQL";
Report for Digital Enterprise Research Institute, National University of Ireland, Galway; Report No. DERI-TR-2011-04-04, 2011; 44 pages.
More information
M. Ortiz de la Fuente, S. Rudolph, M. Simkus:
"Query Answering is undecidable in DLs with regular expressions, inverses, nominals, and counting";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-10-03, 2010; 18 pages.
M. Bienvenu, T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query Answering in the Description Logic S";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-10-01; Report No. INFSYS RR 1843-10-01, 2010; 18 pages.
M. Fink:
"A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Report for CoRR - Computing Research Repository; Report No. arXiv:1006.3021v1, 2010; 32 pages.
More information
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer:
"Well-Founded Semantics for Description Logic Programs in the Semantic Web";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-09-01, 2009; 42 pages.
More information
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Query answering in description logics with transitive roles";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-02, 2009; 32 pages.
More information
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Conjunctive Query Answering in the Description Logic SH using Knots";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-03, 2009; 37 pages.
More information
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-09-04, 2009; 46 pages.
More information
M. Fink:
"On Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-09-05, 2009; 36 pages.
More information
J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
"Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-12, 2008; 45 pages.
B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz:
"From Web Search to Semantic Web Search";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-11, 2008; 27 pages.
T. Eiter, C. Lutz, M. Ortiz de la Fuente, M. Simkus:
"Complexity of Conjunctive Query Answering in Description Logics with Transitive Roles";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-09, 2008; 17 pages.
T. Lukasiewicz, A. Ragone:
""Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-08, 2008; 20 pages.
A. Finzi, T. Lukasiewicz:
"Adaptive Game-Theoretic Agent Programming in Golog";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-07, 2008; 40 pages.
G. Ianni, A. Martello, C. Panetta, G. Terracina:
"Efficiently querying RDF(S) ontologies with Answer Set Programming";
Report for Institut für Informationssysteme, TU Wien; Report No. INFSYS RR-1843-08-06, 2008; 32 pages.
D. Calvanese, T. Eiter, M. Ortiz de la Fuente:
"Answering regular path queries in expressive description logics: An automata-theoretic approach (Preliminary Version)";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-05, 2008; 34 pages.
A. Farinelli, A. Finzi, T. Lukasiewicz:
"Team Programming in Golog under Partial Observability";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-04, 2008; 21 pages.
C. Feier, S. Heymans:
"A Sound and Complete Algorithm for Simple Conceptual Logic Programs";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-10, 2008; 24 pages.
U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Negation Normal Form";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-03, 2008; 44 pages.
M. Simkus, T. Eiter:
"FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols";
Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-01, 2008; 62 pages.
U. Egly, S. Gaggl, S. Woltran:
"Answer-Set Programming Encodings for Argumentation Frameworks";
Report No. DBAI-TR-2008-62, 2008; 25 pages.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Updating Action Domain Descriptions";
Report for TU Wien, Institut fuer Informationssysteme; Report No. INFSYS RR-1843-08-13, 2008; 48 pages.
T. Eiter, G. Ianni, T. Krennwallner, R. Schindlauer:
"Exploiting Conjunctive Queries in Description Logic Programs";
Report for Institut für Informationssysteme, TU Wien; Report No. INFSYS RR-1843-08-02, 2008; 38 pages.
More information
T. Eiter, K. Wang:
"Semantic Forgetting in Answer Set Programming";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-07-08, 2007; 45 pages.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data Complexoty of Query Answering In Expressive Description Logics via Tableaux";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-07-07, 2007; 48 pages.
T. Lukasiewicz, U. Straccia:
"Uncertainty and Vagueness in Description Logic Programs for the Semantic Web";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-07-02, 2007; 21 pages.
A. Cali, T. Lukasiewicz:
"Tightly Integrated Probabilistic Description Logic Programs.";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-07-05, 2007; 20 pages.
T. Lukasiewicz, U. Straccia:
"Tightly Integrated Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR 1843-07-03, 2007; 19 pages.
T. Lukasiewicz, J. Schellhase:
"Variable-Strength Conditional Preferences for Ranking Objects in Ontologies";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-07-06, 2007; 32 pages.
T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Combining Answer Set Programming with Description Logics for the Semantic Web";
Report for TU Wien, Institut für Informationssysteme; Report No. INFSYS RR-1843-07-04, 2007; 66 pages.
D. Pearce, H. Tompits, S. Woltran:
"Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity";
Report for Universidad Rey Juan Carlos, Grupo de Inteligencia Artificial, 2007; Report No. GIA-TR-2007-12-01, 2007; 46 pages.
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Repair Localization for Query Answering from Inconsistent Databases";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-07-01; 2007; 55 pages.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter:
"Data Complexity of Query Answering in Expressive Description Logics with Nominals";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-03; Report No. INFSYS RR-1843-06-03, 2006; 44 pages.
T. Lukasiewicz:
"A novel combination of answer set programming with description logics for the Semantic Web";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-08; Report No. INFSYS RR-1843-06-08, 2006; 19 pages.
T. Lukasiewicz, U. Straccia:
"An Overview of Uncertainty and Vagueness in Description Logics for the Semantic Web";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-07; Report No. INFSYS RR-1843-06-07, 2006; 34 pages.
T. Lukasiewicz:
"Probabilistic Description Logics for the Semantic Web";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-05; Report No. INFSYS RR-1843-06-05, 2006; 32 pages.
T. Lukasiewicz:
"Probabilistic Description Logic Programs";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-04; Report No. INFSYS RR-1843-06-04, 2006; 22 pages.
T. Eiter, K. Makino, G. Gottlob:
"Computational Aspects of Monotone Dualization: A Brief Survey";
Report for INFSYS RR-1843-06-01, Institut fuer Informationssysteme, Technische Universitaet Wien; Report No. INFSYS RR-1843-06-01, 2006.
T. Eiter, E. Erdem, M. Fink, J. Senko:
"Comparing Action Descriptions Based on Semantic Preferences";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-06-06; 2006; 22 pages.
A. Smetannikov, E. Soloviev, T. Eiter, W. Faber, M. Fink:
"Data Cleaning Tasks for the INFOMIX Demo Scenario";
Report for European Commission, IST 2001-33570 (INFOMIX), S7.2; 2005; 8 pages.
A. Smetannikov, E. Soloviev, T. Eiter, W. Faber:
"Optimizing Wrapper Access and Query Plan Generation for the INFOMIX System";
Report for European Commission, IST 2001-33570 (INFOMIX), S7.3; 2005; 43 pages.
T. Eiter, M. Fink, H. Tompits:
"Test and Comparison Results";
Report for European Commission, IST 2001-33570 (INFOMIX), D8.5; 2005; 42 pages.
T. Eiter, M. Fink, H. Tompits:
"Self-assessment Report for Years 3+4";
Report for European Commission, IST 2001-33570 (INFOMIX), D8.4; 2005; 24 pages.
T. Lukasiewicz, J. Schellhase:
"Variable-Strength Conditional Preferences for Matchmaking in Description Logics";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-11; 2005.
W. Faber, N. Leone, F. Ricca:
"Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-09; 2005; 14 pages.
F. Ricca, W. Faber, N. Leone:
"A Backjumping Technique for Disjunctive Logic Programming";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-08; 2005; 32 pages.
F. Calimeri, G. Ianni:
"Template Programs for Disjunctive Logic Programming: An Operational Semantics";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-07; 2005; 27 pages.
A. Finzi, T. Lukasiewicz:
"Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-04; 2005; 15 pages.
T. Lukasiewicz:
"Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-03; 2005; 23 pages.
A. Finzi, T. Lukasiewicz:
"Game-Theoretic Golog under Partial Observability";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-02; 2005; 17 pages.
M. Ortiz de la Fuente, D. Calvanese, T. Eiter, E. Franconi:
"Data Complexity of Answering Conjunctive Queries over SHIQ Knowledge Bases";
Report for Free University of Bolzano, Faculty of Informatics, Bolzano, Italy; 2005; 22 pages.
T. Eiter, G. Gottlob:
"Reasoning Under Minimal Upper Bounds in Propositional Logic";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-06; 2005; 42 pages.
T. Eiter, M. Fink, G. Greco, D. Lembo:
"Optimization Methods for Logic-Based Query Answering from Inconsistent Data IntegrationSystems";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-05; 2005; 51 pages.
T. Eiter, M. Fink, S. Woltran:
"Semantical Characterizations and Complexity of Equivalences in Answer Set Programming";
Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-01; 2005; 58 pages.
More information
T. Eiter, M. Fink, H. Tompits:
"Self-assessment report for year 1";
Report for European Commission, IST 2001-33570 (INFOMIX), D8.2; 2003.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Using Methods of Declarative Logic Programming for Intelligent InformationAgents";
2000.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"On Updates of Logic Programs: Semantics and Properties";
2000.
T. Eiter, W. Faber, M. Fink, S. Woltran, L. Zalewska:
"Methods for data acquisition and transformation";
Report for European Commission, IST 2001-33570 (INFOMIX), D6.2; 2003.
T. Eiter, M. Fink:
"Self-assessment criteria";
Report for European Commission, IST 2001-33570 (INFOMIX), D8.1; 2002.
T. Eiter, W. Faber, H. Tompits:
"Self-assessment report for year 2";
Report for European Commission, IST 2001-33570 (INFOMIX), D8.3; 2004.
T. Eiter, W. Faber, M. Fink, G. Greco, D. Lembo, H. Tompits:
"Methods and Techniques for Query Optimization";
Report for European Commission, IST 2001-33570 (INFOMIX), D5.3; 2004.
C. Baral, T. Eiter, M. Bjäreland, M. Nakamura:
"Maintenance Goals of Agents in a Dynamic Environment: Formulation and Policy Construction";
2004.
T. Eiter, E. Erdem, W. Faber:
"Undoing the Effects of Action Sequences";
2004.
T. Eiter, E. Erdem, W. Faber:
"Diagnosing Plan Execution Discrepancies in a Logic-Based Action Framework";
2004.
A. Finzi, T. Lukasiewicz:
"Game-Theoretic Agent Programming in Golog";
2004.
T. Eiter, A. Polleres:
"Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications";
2004.
J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang:
"Monitoring Agents using Declarative Planning";
2003.
T. Eiter, K. Makino:
"Generating all Abductive Explanations for Queries on Propositional Horn Theories";
2003.
T. Eiter, M. Fink:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
2003.
T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits:
"Combining Answer Set Programming with Description Logics for the Semantic Web";
2003.
More information
T. Eiter, M. Fink, H. Tompits:
"A Knowledge-Based Approach for Selecting Information Sources";
2003.
T. Eiter, W. Faber, G. Pfeifer, M. Fink, S. Woltran:
"Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set Programming";
2003.
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"On Eliminating Disjunctions in Stable Logic Programming";
2003.
U. Egly, R. Pichler, S. Woltran:
"On Deciding Subsumption Problems";
2003.
J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
"On Computing Solutions to Belief Change Scenarios";
2003.
T. DellŽArmi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
"Semantics and Computation of Aggregate Functions in Disjunctive Logic Programming";
2003.
T. Eiter, W. Faber, M. Fink, D. Kurushin:
"Review of Techniques and Systems for Acquisition and Tranformation of Heterogenous Data";
Report for European Commission, IST 2001-33570 (INFOMIX), D1-3.; 2002.
N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, C. Koch, C. Mateis, S. Perri, F. Scarcello:
"The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14)";
Report for Institut f. Informationssysteme, TU Wien; 2002.
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"Answer Set Planning under Action Costs (INFSYS RR-1843-02-13)";
Report for Institut f. Informationssysteme, TU Wien; 2002.
M. Cadoli, T. Eiter, G. Gottlob:
"Complexity of Nested Circumscription and Nested Abnormality Theories";
Report for Institut f. Informationssysteme, TU Wien; 2002.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Declarative Update Policies for Nonmonotonic Knowledge Bases (INFSYS RR-1843-02-07)";
Report for Institut f. Informationssysteme, TU Wien; 2002.
T. Eiter, G. Gottlob, K. Makino:
"New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05)";
Report for Institut f. Informationssysteme, TU Wien; 2002.
T. Eiter, T. Lukasiewicz:
"Causes and Explanations in the Structural-Model Approach: Tractable Cases (INFSYS RR-1843-02-03)";
Report for Institut f. Informationssysteme; 2002.
T. Eiter, K. Makino:
"On Computing all Abductive Explanations (INFSYS RR-1843-02-04)";
Report for Institut f. Informationssysteme, TU Wien; 2002.
T. Eiter, W. Faber, N. Leone, G. Pfeifer:
"Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming";
2002.
D. Pearce, T. Schaub, V. Sarsakov, H. Tompits, S. Woltran:
"Polynomial Translations of Nested Logic Programs into Disjunctive Logic Programs";
2002.
T. Eiter, M. Fink, G. Sabbatini, H. Tompits:
"Reasoning about Evolving Nonmonotonic Knowledge Bases";
2002.
T. Eiter, M. Fink, H. Tompits:
"A Knowledge-Based Approach to Information Site Selection";
2002.
This publication list has been generated automatically from the publication data of the Faculty of Informatics. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology! |