University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Thomas Lukasiewicz: Publications

This page is no longer updated; please refer to the new page.

Edited Works

Thomas Lukasiewicz and Attila Sali (guest editors)
Special Issue on "Foundations of Information and Knowledge Systems"
Annals of Mathematics and Artificial Intelligence, to appear.
Diego Calvanese and Thomas Lukasiewicz (guest editors)
Special Issue on "Web Reasoning and Rule Systems"
Semantic Web, to appear.
Fernando Bobillo, Paulo Cesar G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool (editors)
Uncertainty Reasoning for the Semantic Web II
Volume 7123 of Lecture Notes in Computer Science, Springer, 2013.
Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, and Michael Pool (editors)
Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2012), Boston, USA, November 2012.
Volume 900 of CEUR Workshop Proceedings, CEUR-WS.org, 2012.
Tommaso Di Noia, Pasquale Lops, Thomas Lukasiewicz, and Giovanni Semeraro (editors)
Proceedings of the International Workshop on Semantic Technologies meet Recommender Systems & Big Data (SeRSy 2012), Boston, USA, November 2012.
Volume 919 of CEUR Workshop Proceedings, CEUR-WS.org, 2012.
Sergio Greco and Thomas Lukasiewicz (guest editors)
Special Issue on "Scalable Uncertainty Management"
Annals of Mathematics and Artificial Intelligence, 64(2/3), March 2012.
Thomas Lukasiewicz and Attila Sali (editors)
Proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012), Kiel, Germany, March 2012.
Volume 7153 of Lecture Notes in Computer Science, Springer, 2012.
Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, and Michael Pool (editors)
Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), Bonn, Germany, October 2011.
Volume 778 of CEUR Workshop Proceedings, CEUR-WS.org, 2011.
Marco de Gemmis, Ernesto William De Luca, Tommaso Di Noia, Aldo Gangemi, Michael Hausenblas, Pasquale Lops, Thomas Lukasiewicz, Till Plumbaum, and Giovanni Semeraro (editors)
Proceedings of the 2nd Workshop on Semantic Personalized Information Management: Retrieval and Recommendation (SPIM 2011), Bonn, Germany, October 2011.
Volume 781 of CEUR Workshop Proceedings, CEUR-WS.org, 2011.
Pascal Hitzler and Thomas Lukasiewicz (editors)
Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), Bressanone/Brixen, Italy, September 2010
Volume 6333 of Lecture Notes in Computer Science, Springer, 2010.
Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, and Michael Pool (editors)
Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), Shanghai, China, November 2010
Volume 654 of CEUR Workshop Proceedings, CEUR-WS.org, 2010.
Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan (editors)
Proceedings of the 1st International Workshop on Uncertainty in Description Logics (UniDL 2010), Edinburgh, UK, July 2010
Volume 613 of CEUR Workshop Proceedings, CEUR-WS.org, 2010.
Fernando Bobillo, Paulo C. G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, Michael Pool, and Pavel Smrž (editors)
Proceedings of the 5th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009), Washington DC, USA, October 2009
Volume 527 of CEUR Workshop Proceedings, CEUR-WS.org, 2009.
Sergio Greco and Thomas Lukasiewicz (editors)
Proceedings of the 2nd International Conference on Scalable Uncertainty Management (SUM 2008), Naples, Italy, October 2008
Volume 5291 of Lecture Notes in Computer Science, Springer, 2008.
Paulo Cesar G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool (editors)
Uncertainty Reasoning for the Semantic Web I
Volume 5327 of Lecture Notes in Computer Science, Springer, 2008.
Fernando Bobillo, Paulo C. G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, Michael Pool, and Pavel Smrž (editors)
Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008), Karlsruhe, Germany, October 2008
Volume 423 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.
Thomas Lukasiewicz (guest editor)
Special Issue on "Logical Approaches to Imprecise Probabilities"
International Journal of Approximate Reasoning, 49(1), September 2008.
Fernando Bobillo, Paulo C. G. da Costa, Claudia d'Amato, Nicola Fanizzi, Francis Fung, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, Yun Peng, Michael Pool, Pavel Smrž, and Peter Vojtáš (editors)
Proceedings of the Third ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007), Busan, Korea, November 2007
Volume 327 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.
Andrés Cano, Fabio G. Cozman, and Thomas Lukasiewicz (guest editors)
Special Issue on "Imprecise Probabilities"
International Journal of Approximate Reasoning, 44(3), March 2007.
Gabriele Kern-Isberner, Thomas Lukasiewicz, and Emil Weydert (guest editors)
Special Issue on "Issues in Uncertainty in AI"
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Vol. 11, Suppl., Nov.  2003.
Lluis Godo and Thomas Lukasiewicz (subarea editors)
Uncertainty Frameworks in NMR
In S. Benferhat and E. Giunchiglia, editors, Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), Toulouse, France, April 2002.
Gabriele Kern-Isberner, Thomas Lukasiewicz, and Emil Weydert (editors)
Proceedings of the KI-2001 Workshop "Uncertainty in Artificial Intelligence", Vienna, Austria, September 2001
Informatik Berichte 287 - 8/2001, Fachbereich Informatik, FernUniversität Hagen, September 2001.

Refereed Journal Papers

Georg Gottlob, Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari
Query Answering under Probabilistic Uncertainty in Datalog+/- Ontologies
Annals of Mathematics and Artificial Intelligence, 2013 (in press).
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz
A General Datalog-Based Framework for Tractable Query Answering over Ontologies
Journal of Web Semantics, 14, 57-83, July 2012.
Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, and Thomas Lukasiewicz
Ontology-Based Semantic Search on the Web and its Combination with the Power of Inductive Reasoning
Annals of Mathematics and Artificial Intelligence, 65(2/3), 83-121, July 2012.
Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, and Thomas Lukasiewicz
Semantic Web Search Based on Ontological Conjunctive Queries
Journal of Web Semantics, 9, 453-473, December 2011.
Thomas Lukasiewicz, Livia Predoiu, and Heiner Stuckenschmidt
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
Annals of Mathematics and Artificial Intelligence, 63(3/4), 385-425, December 2011.
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, and Andreas Pieris
A Logical Toolbox for Ontological Reasoning
SIGMOD Record, 40(3), 5-14, September 2011.
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, and Roman Schindlauer
Well-Founded Semantics for Description Logic Programs in the Semantic Web
ACM Transactions on Computational Logic (TOCL), 12(2), Article 11, January 2011.
Bettina Fazzinga and Thomas Lukasiewicz
Semantic Search on the Web
Semantic Web, 1(1/2), 89-96, December 2010.
Thomas Lukasiewicz
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
IEEE Transactions on Knowledge and Data Engineering (TKDE), 22(11), 1577-1592, November 2010.
Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, and Heiner Stuckenschmidt
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics, 12, 95-130, June 2009.
Thomas Lukasiewicz and Umberto Straccia
Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
International Journal of Approximate Reasoning, 50(6), 837-853, June 2009.
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, and Riccardo Rosati
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
ACM Transactions on Computational Logic (TOCL), 10(1), Article 5, January 2009.
Thomas Lukasiewicz and Umberto Straccia
Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
Journal of Web Semantics, 6(4), 291-308, November 2008.
Thomas Lukasiewicz
Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
International Journal of Approximate Reasoning, 49(1), 18-34, September 2008.
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits
Combining Answer Set Programming with Description Logics for the Semantic Web
Artificial Intelligence, 172(12/13), 1495-1539, August 2008.
Thomas Lukasiewicz and Umberto 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(3), 68-89, July-September 2008.
Thomas Lukasiewicz
Expressive Probabilistic Description Logics
Artificial Intelligence, 172(6/7), 852-883, April 2008.
Thomas Lukasiewicz
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae, 82(3), 289-310, 2008.
Jörg Schellhase and Thomas Lukasiewicz
Using Search Strategies and a Description Logic Paradigm with Conditional Preferences for Literature Search
International Journal of Metadata, Semantics and Ontologies, 3(1), 68-83, 2008.
Thomas Lukasiewicz and Jörg Schellhase
Variable-Strength Conditional Preferences for Ranking Objects in Ontologies
Journal of Web Semantics, 5(3), 180-194, September 2007.
Thomas Lukasiewicz
Probabilistic Description Logic Programs
International Journal of Approximate Reasoning, 45(2), 288-307, July 2007.
Thomas Lukasiewicz
Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Complexity, Algorithms, and Implementation
International Journal of Approximate Reasoning, 44(3), 301-321, March 2007.
Thomas Eiter and Thomas Lukasiewicz
Causes and Explanations in the Structural-Model Approach: Tractable Cases
Artificial Intelligence, 170(6/7), 542-580, May 2006.
Thomas Lukasiewicz
Weak Nonmonotonic Probabilistic Logics
Artificial Intelligence, 168(1/2), 119-161, October 2005.
Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, and Giuseppe Sanfilippo
Probabilistic Logic under Coherence: Complexity and Algorithms
Annals of Mathematics and Artificial Intelligence, 45(1/2), 35-81, October 2005.
Thomas Lukasiewicz
Nonmonotonic Probabilistic Reasoning under Variable-Strength Inheritance with Overriding
Synthese, 146(1/2), 153-169, August 2005.
Gabriele Kern-Isberner and Thomas Lukasiewicz
Combining Probabilistic Logic Programming with the Power of Maximum Entropy
Artificial Intelligence, 157(1/2), 139-202, August 2004.
Thomas Eiter and Thomas Lukasiewicz
Complexity Results for Explanations in the Structural-Model Approach
Artificial Intelligence, 154(1/2), 145-198, April 2004.
Veronica Biazzo, Rosalba Giugno, Thomas Lukasiewicz, and V.S. Subrahmanian
Temporal Probabilistic Object Bases
IEEE Transactions on Knowledge and Data Engineering (TKDE), 15(4), 921-939, July/August 2003.
Thomas Eiter and Thomas Lukasiewicz
Complexity Results for Structure-Based Causality
Artificial Intelligence, 142(1), 53-89, November 2002.
Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, and Giuseppe Sanfilippo
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning in System P
Journal of Applied Non-Classical Logics, 12(2), 189-213, 2002.
Thomas Lukasiewicz
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence, 34(1-3), 35-88, March 2002.
Thomas Eiter, Thomas Lukasiewicz, and Michael Walter
A Data Model and Algebra for Probabilistic Complex Values
Annals of Mathematics and Artificial Intelligence, 33(2-4), 205-252, December 2001.
Thomas Eiter, James J. Lu, Thomas Lukasiewicz, and V.S. Subrahmanian
Probabilistic Object Bases
ACM Transactions on Database Systems (TODS), 26(3), 264-312, September 2001.
Thomas Lukasiewicz
Probabilistic Logic Programming with Conditional Constraints
ACM Transactions on Computational Logic (TOCL), 2(3), 289-339, July 2001.
Thomas Eiter and Thomas Lukasiewicz
Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases
Artificial Intelligence, 124(2), 169-241, December 2000.
Thomas Lukasiewicz
Local Probabilistic Deduction from Taxonomic and Probabilistic Knowledge-Bases over Conjunctive Events
International Journal of Approximate Reasoning, 21(1), 23-61, May 1999.
Thomas Lukasiewicz
Probabilistic Deduction with Conditional Constraints over Basic Events
Journal of Artificial Intelligence Research (JAIR), 10, 199-241, April 1999.

Refereed and Invited Papers in Books

Thomas Lukasiewicz and Gerardo I. Simari
Tractable Probabilistic Description Logic Programs
Invited paper in Z. Ma and L. Yan, editors, Advances in Probabilistic Databases for Uncertain Information Management, pp. 131-159. Volume 304 of Studies in Fuzziness and Soft Computing. Springer, 2013.
Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, and Thomas Lukasiewicz
Semantic Web Search and Inductive Reasoning
In F. Bobillo, P. C. G. da Costa, C. d'Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, M. Nickles, and M. Pool, editors, Uncertainty Reasoning for the Semantic Web II, pp. 237-261. Volume 7123 of Lecture Notes in Computer Science. Springer, 2013.
Claudia d'Amato, Nicola Fanizzi, Floriana Esposito, and Thomas Lukasiewicz
Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations
In F. Bobillo, P. C. G. da Costa, C. d'Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, M. Nickles, and M. Pool, editors, Uncertainty Reasoning for the Semantic Web II, pp. 300-314. Volume 7123 of Lecture Notes in Computer Science. Springer, 2013.
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, and Andreas Pieris
Datalog+/-: A Family of Languages for Ontology Querying
In O. de Moor, G. Gottlob, T. Furche, and A. Sellers, editors, Datalog Reloaded - First International Workshop (Datalog 2010), pp. 351-368. Volume 6702 of Lecture Notes in Computer Science. Springer, 2011.
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, and Andreas Pieris
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
Invited paper in J.-P. Jouannaud, editor, Proceedings of the 2010 IEEE Conference on Logic in Computer Science (LICS 2010), pp. 228-242. IEEE Computer Society, 2010.
Thomas Lukasiewicz and Umberto Straccia
Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Invited paper in M. Lytras and A. Sheth, editors, Progressive Concepts for Semantic Web Evolution: Applications and Developments, Advances in Semantic Web Information Systems, pp. 237-256. Information Science Reference, 2010.
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz
Datalog Extensions for Tractable Query Answering over Ontologies
Invited paper in R. De Virgilio, F. Giunchiglia, and L. Tanca, editors, Semantic Web Information Management: A Model-Based Perspective, pp. 249-279. Springer, 2010.
Thomas Lukasiewicz
Uncertainty Reasoning for the Semantic Web
Tutorial paper in A. Polleres and T. Swift, editors, Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009), pp. 26-39, Chantilly, Virginia, USA, October 2009. Volume 5837 of Lecture Notes in Computer Science, Springer, 2009.
Thomas Lukasiewicz
Uncertainty in the Semantic Web
Invited paper in L. Godo and A. Pugliese, editors, Proceedings of the 3rd International Conference on Scalable Uncertainty Management (SUM 2009), pp. 2-11, Washington DC, USA, September 2009. Volume 5785 of Lecture Notes in Computer Science, Springer, 2009.
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz
Datalog±: A Unified Approach to Ontologies and Integrity Constraints
Invited paper in V. De Antonellis, S. Castano, B. Catania, and G. Guerrini, editors, Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009), pp. 5-6, Camogli (Genova), Italy, June 2009.
Włodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, and Jan Małuszyński
Hybrid Reasoning with Rules and Ontologies
In F. Bry and J. Małuszyński, editors, Semantic Techniques for the Web: The REWERSE Perspective, pp. 1-49. Volume 5500 of Lecture Notes in Computer Science, Springer, 2009.
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz
Datalog±: A Unified Approach to Ontologies and Integrity Constraints
Invited paper in R. Fagin, editor, Proceedings of the 12th International Conference on Database Theory (ICDT 2009), pp. 14-30, Saint-Petersburg, Russia, March 2009. Volume 361 of ACM International Conference Proceeding Series, ACM Press, 2009.
Andrea Calì and Thomas Lukasiewicz
An Approach to Probabilistic Data Integration for the Semantic Web
In P. C. G. da Costa, C. d'Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, M. Nickles, and M. Pool, editors, Uncertainty Reasoning for the Semantic Web I, pp. 52-65. Volume 5327 of Lecture Notes in Computer Science, Springer, 2008.
Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, and Heiner Stuckenschmidt
Rule-Based Approaches for Representing Probabilistic Ontology Mappings
In P. C. G. da Costa, C. d'Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, M. Nickles, and M. Pool, editors, Uncertainty Reasoning for the Semantic Web I, pp. 66-87. Volume 5327 of Lecture Notes in Computer Science, Springer, 2008.
Paulo C. G. da Costa, Kathryn B. Laskey, and Thomas Lukasiewicz
Uncertainty Representation and Reasoning in the Semantic Web
In J. Cardoso and M. D. Lytras, editors, Semantic Web Engineering in the Knowledge Society, pp. 315-340. Information Science Reference, October 2008.

Refereed Conference Papers

Georg Gottlob, André Hernich, Clemens Kupke, and Thomas Lukasiewicz
Well-Founded Semantics for Extended Datalog and Ontological Reasoning
In W. Fan, editor, Proceedings of the 32nd ACM Symposium on Principles of Database Systems (PODS 2013), New York, New York, USA, June 2013. ACM Press, 2013.
Tommaso Di Noia and Thomas Lukasiewicz
Introducing Ontological CP-Nets
In F. Bobillo, R. Carvalho, P. C. G. da Costa, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, T. Martin, M. Nickles, and M. Pool, editors, Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2012), pp. 90-93, Boston, USA, November 2012. Volume 900 of CEUR Workshop Proceedings, CEUR-WS.org, 2012.
Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari
Consistent Answers in Probabilistic Datalog+/- Ontologies
In M. Krötzsch and U. Straccia, editors, Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), pp. 156-171, Vienna, Austria, September 2012. Volume 7497 of Lecture Notes in Computer Science, Springer, 2012.
Thomas Lukasiewicz, Maria Vanina Martinez, Giorgio Orsi, and Gerardo I. Simari
Heuristic Ranking in Tightly Coupled Probabilistic Description Logics
In N. de Freitas and K. Murphy, editors, Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI 2012), pp. 554-563, Catalina Island, USA, August 2012. AUAI Press, 2012.
Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari
Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-
In P. Barcelo and R. Pichler, editors, Proceedings of Datalog 2.0, pp. 123-134, Vienna, Austria, September 2012. Volume 7494 of Lecture Notes in Computer Science, Springer, 2012.
Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari
Inconsistency Handling in Datalog+/- Ontologies
In L. De Raedt, C. Bessière, D. Dubois, P. Doherty, P. Frasconi, F. Heintz, P. J. F. Lucas, editors, Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), pp. 558-563, Montpellier, France, August 2012. Volume 242 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2012.
Georg Gottlob, André Hernich, Clemens Kupke, and Thomas Lukasiewicz
Equality-Friendly Well-Founded Semantics and Applications to Description Logics
In Y. Kazakov, D. Lembo, and F. Wolter, editors, Proceedings of the 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 2012. Volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, 2012.
Georg Gottlob, André Hernich, Clemens Kupke, and Thomas Lukasiewicz
Equality-Friendly Well-Founded Semantics and Applications to Description Logics
In J. Hoffmann and B. Selman, editors, Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012), pp. 757-764, Toronto, Ontario, Canada, July 2012. AAAI Press, 2012.
Georg Gottlob, Thomas Lukasiewicz, and Gerardo I. Simari
Answering Threshold Queries in Probabilistic Datalog+/- Ontologies
In S. Benferhat and J. Grant, editors, Proceedings of the 5th International Conference on Scalable Uncertainty Management (SUM 2011), pp. 401-414, Dayton, Ohio, October 2011. Volume 6929 of Lecture Notes in Computer Science, Springer, 2011.
Georg Gottlob, Thomas Lukasiewicz, and Gerardo I. Simari
Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies
In S. Rudolph and C. Gutierrez, editors, Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR 2011), pp. 77-92, Galway, Ireland, August 2011. Volume 6902 of Lecture Notes in Computer Science, Springer, 2011.
Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, and Thomas Lukasiewicz
Combining Semantic Web Search with the Power of Inductive Reasoning
In A. Deshpande and A. Hunter, editors, Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM 2010), pp. 137-150, Toulouse, France, September 2010. Volume 6379 of Lecture Notes in Computer Science, Springer, 2010.
Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, and Andreas Pieris
Ontological Reasoning with F-Logic Lite and its Extensions
In M. Fox and D. Poole, editors, Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010), pp. 1660-1665, Atlanta, Georgia, USA, July 2010. AAAI Press, 2010.
Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, and Thomas Lukasiewicz
Semantic Web Search Based on Ontological Conjunctive Queries
In S. Link and H. Prade, editors, Proceedings of the 6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010), pp. 153-172, Sofia, Bulgaria, February 2010. Volume 5956 of Lecture Notes in Computer Science, Springer, 2010.
Claudia d'Amato, Floriana Esposito, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, and Thomas Lukasiewicz
Inductive Reasoning and Semantic Web Search
In S. Y. Shin, S. Ossowski, M. Schumacher, M. J. Palakal, and C.-C. Hung, editors, Proceedings of the 25th ACM Symposium on Applied Computing (SAC 2010), pp. 1446-1447, Sierre, Switzerland, March 2010. ACM Press, 2010.
Claudia d'Amato, Nicola Fanizzi, Floriana Esposito, and Thomas Lukasiewicz
Inductive Query Answering and Concept Retrieval Exploiting Local Models
In B. Lazzerini, L. Jain, A. Abraham, F. Marcelloni, F. Herrera, and V. Loia, editors, Proceedings of the 9th International Conference on Intelligent Systems Design and Applications (ISDA 2009), pp. 1209-1214, Pisa, Italy, November/December 2009. IEEE Computer Society, 2009.
Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, and Thomas Lukasiewicz
Combining Semantic Web Search with the Power of Inductive Reasoning
In F. Bobillo, P. C. G. da Costa, C. d'Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, T. Martin, M. Nickles, M. Pool, and P. Smrž, editors, Proceedings of the 5th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009), pp. 15-26, Washington DC, USA, October 2009. Volume 527 of CEUR Workshop Proceedings, CEUR-WS.org, 2009.
Thomas Lukasiewicz and Azzurra Ragone
Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web
In R. Baeza-Yates, J. Lang, S. Mitra, S. Parsons, and G. Pasi, editors, Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2009), pp. 395-402, Milan, Italy, September 2009. IEEE Computer Society, 2009.
Claudia d'Amato, Nicola Fanizzi, Floriana Esposito, and Thomas Lukasiewicz
Approximate Classification of Semantically Annotated Web Resources Exploiting Pseudo-metrics Induced by Local Models
In R. Baeza-Yates, B. Berendt, E. Bertino, E.-P. Lim, and G. Pasi, editors, Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2009), pp. 689-692, Milan, Italy, September 2009. IEEE Computer Society, 2009.
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz
Tractable Query Answering over Ontologies with Datalog±
In B. Cuenca Grau, I. Horrocks, B. Motik, and U. Sattler, editors, Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 2009. Volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, 2009.
Thomas Lukasiewicz and Azzurra Ragone
A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation
In B. Cuenca Grau, I. Horrocks, B. Motik, and U. Sattler, editors, Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 2009. Volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, 2009.
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz
A General Datalog-Based Framework for Tractable Query Answering over Ontologies
In V. De Antonellis, S. Castano, B. Catania, and G. Guerrini, editors, Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009), pp. 29-36, Camogli (Genova), Italy, June 2009.
Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz
A General Datalog-Based Framework for Tractable Query Answering over Ontologies
In J. Paredaens and J. Su, editors, Proceedings of the 28th ACM Symposium on Principles of Database Systems (PODS 2009), pp. 77-86, Providence, Rhode Island, USA, June/July 2009. ACM Press, 2009.
Claudia d'Amato, Nicola Fanizzi, and Thomas Lukasiewicz
Tractable Reasoning with Bayesian Description Logics
In S. Greco and T. Lukasiewicz, editors, Proceedings of the 2nd International Conference on Scalable Uncertainty Management (SUM 2008), pp. 146-159, Naples, Italy, October 2008. Volume 5291 of Lecture Notes in Computer Science, Springer, 2008.
Thomas Lukasiewicz and Azzurra Ragone
Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web
In R. L. Hernandez, T. Di Noia, and I. Toma, editors, Proceedings of the 2nd International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web (SMRR 2008), Karlsruhe, Germany, October 2008. Volume 416 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito, and Thomas Lukasiewicz
Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations
In F. Bobillo, P. C. G. da Costa, C. d'Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, T. Martin, M. Nickles, M. Pool, and P. Smrž, editors, Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008), Karlsruhe, Germany, October 2008. Volume 423 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.
Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, and Heiner Stuckenschmidt
Representing Ontology Mappings with Probabilistic Description Logic Programs
In S. Gaglio, I. Infantino, and D. Saccà, editors, Proceedings of the 16th Italian Symposium on Advanced Database Systems (SEBD 2008), pp. 438-445, Mondello, Italy, June 2008.
Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, and Heiner Stuckenschmidt
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
In S. Hartmann and G. Kern-Isberner, editors, Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2008), pp. 178-198, Pisa, Italy, February 2008. Volume 4932 of Lecture Notes in Computer Science, Springer, 2008.
Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, and Heiner Stuckenschmidt
A Framework for Representing Ontology Mappings under Probabilities and Inconsistency
In F. Bobillo, P. C. G. da Costa, C. d'Amato, N. Fanizzi, F. Fung, T. Lukasiewicz, T. Martin, M. Nickles, Y. Peng, M. Pool, P. Smrž, and P. Vojtáš, editors, Proceedings of the Third ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007), Busan, Korea, November 2007. Volume 327 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.
Thomas Lukasiewicz and Umberto Straccia
Description Logic Programs under Probabilistic Uncertainty and Fuzzy Vagueness
In K. Mellouli, editor, Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), pp. 187-198, Hammamet, Tunisia, October/November 2007. Volume 4724 of Lecture Notes in Computer Science, Springer, 2007.
Thomas Lukasiewicz
Tractable Probabilistic Description Logic Programs
In H. Prade and V.S. Subrahmanian, editors, Proceedings of the 1st International Conference on Scalable Uncertainty Management (SUM 2007), pp. 143-156, Washington DC, USA, October 2007. Volume 4772 of Lecture Notes in Computer Science, Springer, 2007.
Thomas Lukasiewicz and Umberto Straccia
Top-k Retrieval in Description Logic Programs under Vagueness for the Semantic Web
In H. Prade and V.S. Subrahmanian, editors, Proceedings of the 1st International Conference on Scalable Uncertainty Management (SUM 2007), pp. 16-30, Washington DC, USA, October 2007. Volume 4772 of Lecture Notes in Computer Science, Springer, 2007.
Andrea Calì and Thomas Lukasiewicz
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
In V. Dahl and I. Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), pp. 428-429, Porto, Portugal, September 2007. Volume 4670 of Lecture Notes in Computer Science, Springer, 2007.
Thomas Lukasiewicz
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
In E. Franconi, M. Kifer, and W. May, editors, Proceedings of the 4th European Semantic Web Conference (ESWC 2007), pp. 384-398, Innsbruck, Austria, June 2007. Volume 4519 of Lecture Notes in Computer Science, Springer, 2007.
Thomas Lukasiewicz and Umberto Straccia
Tightly Integrated Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
In M. Marchiori, J. Z. Pan, and C. de Sainte Marie, editors, Proceedings of the 1st International Conference on Web Reasoning and Rule Systems (RR 2007), pp. 289-298, Innsbruck, Austria, June 2007. Volume 4524 of Lecture Notes in Computer Science, Springer, 2007.
Alessandro Farinelli, Alberto Finzi, and Thomas Lukasiewicz
Team Programming in Golog under Partial Observability
In M. M. Veloso, editor, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 2097-2102, Hyderabad, India, January 2007. AAAI Press / IJCAI, 2007.
Thomas Lukasiewicz
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
In T. Eiter, E. Franconi, R. Hodgson, and S. Stephens, editors, Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), pp. 89-96, Athens, Georgia, USA, November 2006. IEEE Computer Society, 2006.
Andrea Calì and Thomas Lukasiewicz
An Approach to Probabilistic Data Integration for the Semantic Web
In P. C. G. da Costa, K. B. Laskey, K. J. Laskey, F. Fung, and M. Pool, editors, Proceedings of the ISWC-2006 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006), Athens, Georgia, USA, November 2006. Volume 218 of CEUR Workshop Proceedings, CEUR-WS.org, 2006.
Thomas Lukasiewicz and Jörg Schellhase
Preferences, Links, and Probabilities for Ranking Objects in Ontologies
In P. C. G. da Costa, K. B. Laskey, K. J. Laskey, F. Fung, and M. Pool, editors, Proceedings of the ISWC-2006 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006), Athens, Georgia, USA, November 2006. Volume 218 of CEUR Workshop Proceedings, CEUR-WS.org, 2006.
Alberto Finzi and Thomas Lukasiewicz
Adaptive Multi-Agent Programming in GTGolog
In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, editors, Proceedings of the 17th biennial European Conference on Artificial Intelligence (ECAI 2006), pp. 753-754, Riva del Garda, Italy, August/September 2006. IOS Press, 2006.
Thomas Lukasiewicz and Jörg Schellhase
Variable-Strength Conditional Preferences for Matchmaking in Description Logics
In P. Doherty, J. Mylopoulos, and C. Welty, editors, Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006),pp. 164-174, Lake District, UK, June 2006. AAAI Press, 2006.
Thomas Lukasiewicz and Jörg Schellhase
Variable-Strength Conditional Preferences for Ranking Objects in Ontologies
In Y. Sure and J. Domingue, editors, Proceedings of the 3rd European Semantic Web Conference (ESWC 2006), pp. 288-302, Budva, Montenegro, June 2006. Volume 4011 of Lecture Notes in Computer Science, Springer, 2006.
Alberto Finzi and Thomas Lukasiewicz
Adaptive Multi-Agent Programming in GTGolog
In C. Freksa, M. Kohlhase, and K. Schill, editors, Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI 2006), pp. 389-403, Bremen, Germany, June 2006. Volume 4314 of Lecture Notes in Computer Science, Springer, 2007.
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Agent Programming in Golog under Partial Observability
In C. Freksa, M. Kohlhase, and K. Schill, editors, Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI 2006), pp. 113-127, Bremen, Germany, June 2006. Volume 4314 of Lecture Notes in Computer Science, Springer, 2007.
Thomas Lukasiewicz
Stratified Probabilistic Description Logic Programs
In P. C. G. da Costa, K. B. Laskey, K. J. Laskey, and M. Pool, editors, Proceedings of the ISWC-2005 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2005), pp. 87-97, Galway, Ireland, November 2005. Volume 173 of CEUR Workshop Proceedings, CEUR-WS.org, 2006.
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories
In C. Baral, G. Greco, N. Leone, and G. Terracina, editors, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), pp. 185-197, Diamante, Cosenza, Italy, September 2005. Volume 3662 of Lecture Notes in Computer Science, Springer, 2005.
Thomas Lukasiewicz
Probabilistic Description Logic Programs
In L. Godo, editor, Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005), pp. 737-749, Barcelona, Spain, July 2005. Volume 3571 of Lecture Notes in Computer Science, Springer, 2005.
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Golog under Partial Observability
In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. Pechoucek, M. Singh, D. Steiner, S. Thompson, and M. Wooldridge, editors, Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp. 1301-1302, Utrecht, The Netherlands, July 2005. ACM Press, 2005.
Thomas Lukasiewicz
Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG
In F. G. Cozman, R. Nau, and T. Seidenfeld, editors, Proceedings of the 4th International Symposium on Imprecise Probabilities and their Applications (ISIPTA 2005), pp. 230-239, CMU, Pittsburgh, PA, USA, July 2005.
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Agent Programming in Golog under Partial Observability
In P. Gmytrasiewicz and S. Parsons, editors, Proceedings of the IJCAI-2005 Workshop on Game-Theoretic and Decision-Theoretic Agents (GTDT 2005), July 2005.
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits
Well-Founded Semantics for Description Logic Programs in the Semantic Web
In G. Antoniou and H. Boley, editors, Proceedings of the 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), pp. 81-97, Hiroshima, Japan, November 2004. Volume 3323 of Lecture Notes in Computer Science, Springer, 2004.
Alberto Finzi and Thomas Lukasiewicz
Relational Markov Games
In J. Alferes and J. Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), pp. 320-333, Lisbon, Portugal, September 2004. Volume 3229 of Lecture Notes in Computer Science, Springer, 2004.
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Agent Programming in Golog
In R. López de Mántaras and L. Saitta, editors, Proceedings of the 16th biennial European Conference on Artificial Intelligence (ECAI 2004), pp. 23-27, Valencia, Spain, August 2004. IOS Press, 2004.
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, and Riccardo Rosati
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
In R. López de Mántaras and L. Saitta, editors, Proceedings of the 16th biennial European Conference on Artificial Intelligence (ECAI 2004), pp. 818-822, Valencia, Spain, August 2004. IOS Press, 2004.
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits
Combining Answer Set Programming with Description Logics for the Semantic Web
In D. Dubois, C.Welty, and M.-A.Williams, editors, Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), pp. 141-151, Whistler, Canada, June 2004. AAAI Press, 2004.
Thomas Lukasiewicz
Weak Nonmonotonic Probabilistic Logics
In D. Dubois, C.Welty, and M.-A.Williams, editors, Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), pp. 23-33, Whistler, Canada, June 2004. AAAI Press, 2004.
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, and Riccardo Rosati
Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing
In J. Delgrande and T. Schaub, editors, Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), pp. 240-248, Whistler, Canada, June 2004.
Thomas Eiter and Thomas Lukasiewicz
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
In C. Meek and U. Kjaerulff, editors, Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI 2003), pp. 192-199, Acapulco, Mexico, August 2003. Morgan Kaufmann, 2003.
Alberto Finzi and Thomas Lukasiewicz
Structure-Based Causes and Explanations in the Independent Choice Logic
In C. Meek and U. Kjaerulff, editors, Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI 2003), pp. 225-232, Acapulco, Mexico, August 2003. Morgan Kaufmann, 2003.
Thomas Lukasiewicz
Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding
In N. L. Zhang and T. D. Nielsen, editors, Proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), pp. 576-587, Aalborg, Denmark, July 2003. Volume 2711 of Lecture Notes in Computer Science, Springer, 2003.
Rosalba Giugno and Thomas Lukasiewicz
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA 2002), pp. 86-97, Cosenza, Italy, September 2002. Volume 2424 of Lecture Notes in Computer Science, Springer, 2002.
Thomas Eiter and Thomas Lukasiewicz
Causes and Explanations in the Structural-Model Approach: Tractable Cases
In A. Darwiche and N. Friedman, editors, Proceedings of the 18th Conference on Uncertainty in Artificial Intelligence (UAI 2002), pp. 146-153, Edmonton, Canada, August 2002. Morgan Kaufmann, 2002.
Thomas Eiter and Thomas Lukasiewicz
Complexity Results for Explanations in the Structural-Model Approach
In D. Fensel, F. Giunchiglia, D. McGuinness, and M.-A. Williams, editors, Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 49-60, Toulouse, France, April 2002. Morgan Kaufmann, 2002.
Thomas Lukasiewicz
Nonmonotonic Probabilistic Logics between Model-Theoretic Probabilistic Logic and Probabilistic Logic under Coherence
In S. Benferhat and E. Giunchiglia, editors, Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), pp. 265-274, Toulouse, France, April 2002.
Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, and Giuseppe Sanfilippo
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
In S. Benferhat and P. Besnard, editors, Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), pp. 290-302, Toulouse, France, September 2001. Volume 2143 of Lecture Notes in Computer Science, Springer, 2001.
Thomas Lukasiewicz
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
In T. Eiter, W. Faber, and M. Truszczynski, editors, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001), pp. 336-350, Vienna, Austria, September 2001. Volume 2173 of Lecture Notes in Computer Science, Springer, 2001.
Thomas Eiter and Thomas Lukasiewicz
Complexity Results for Structure-Based Causality
In B. Nebel, editor, Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), pp. 35-40, Seattle, Washington, USA, August 2001. Morgan Kaufmann, 2001. IJCAI-01 Distinguished Paper Award (best paper of 796 submitted and 197 accepted papers at IJCAI-01).
Thomas Lukasiewicz
Probabilistic Logic Programming under Inheritance with Overriding
In J. S. Breese and D. Koller, editors, Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence (UAI 2001), pp. 329-336, Seattle, Washington, USA, August 2001. Morgan Kaufmann, 2001.
Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, and Giuseppe Sanfilippo
Probabilistic Logic under Coherence: Complexity and Algorithms
In G. de Cooman, T. L. Fine, and T. Seidenfeld, editors, Proceedings of the 2nd International Symposium on Imprecise Probabilities and their Applications (ISIPTA 2001), pp. 51-61, Ithaca, New York, USA, June 2001.
Thomas Eiter and Thomas Lukasiewicz
New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
In M. Ojeda-Aciego, I. P. de Guzmán, G. Brewka, and L. M. Pereira, editors, Proceedings of the 7th European Workshop on Logics in Artificial Intelligence (JELIA 2000), pp. 313-328, Málaga, Spain, September 29 - October 2, 2000. Volume 1919 of Lecture Notes in Computer Science, Springer, 2000.
Thomas Lukasiewicz
Credal Networks under Maximum Entropy
In C. Boutilier and M. Goldszmidt, editors, Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence (UAI 2000), pp. 363-370, Stanford, California, USA, July 2000. Morgan Kaufmann, 2000.
Thomas Eiter and Thomas Lukasiewicz
Complexity Results for Default Reasoning from Conditional Knowledge Bases
In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR 2000), pp. 62-73, Breckenridge, Colorado, USA, April 2000. Morgan Kaufmann, 2000.
Thomas Lukasiewicz
Probabilistic Default Reasoning with Conditional Constraints
In C. Baral, and M. Truszczynski, editors, Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning (NMR 2000), Breckenridge, Colorado, USA, April 2000. Linköping Electronic Articles in Computer and Information Science, Vol. 5 (2000): nr 024.
Thomas Eiter, Thomas Lukasiewicz, and Michael Walter
Extension of the Relational Algebra to Probabilistic Complex Values
In K.-D. Schewe and B. Thalheim, editors, Proceedings of the International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2000), Burg (Spreewald), Germany, February 2000. Volume 1762 of Lecture Notes in Computer Science, pp. 94-115, Springer, 2000.
Thomas Lukasiewicz
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
In M. Gelfond, N. Leone, and G. Pfeifer, editors, Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 1999), El Paso, Texas, USA, December 1999. Volume 1730 of Lecture Notes in Computer Science, pp. 277-289, Springer, 1999.
Thomas Lukasiewicz and Gabriele Kern-Isberner
Probabilistic Logic Programming under Maximum Entropy
In A. Hunter and S. Parsons, editors, Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 1999), London, UK, July 1999. Volume 1638 of Lecture Notes in Computer Science, pp. 279-292, Springer, 1999.
Thomas Lukasiewicz
Probabilistic and Truth-Functional Many-Valued Logic Programming
In Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL 1999), pp. 236-241, Freiburg, Germany, May 1999. IEEE Computer Society, 1999.
Thomas Lukasiewicz
Many-Valued First-Order Logics with Probabilistic Semantics
In G. Gottlob, E. Grandjean, and K. Seyr, editors, Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL 1998), Brno, Czech Republic, August 1998. Volume 1584 of Lecture Notes in Computer Science, pp. 415-429, Springer, 1999.
Thomas Lukasiewicz
Probabilistic Logic Programming
In H. Prade, editor, Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI 1998), pp. 388-392, Brighton, UK, August 1998. J. Wiley & Sons, 1998.
Thomas Lukasiewicz
Magic Inference Rules for Probabilistic Deduction under Taxonomic Knowledge
In G. F. Cooper and S. Moral, editors, Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI 1998), pp. 354-361, Madison, Wisconsin, USA, July 1998. Morgan Kaufmann, 1998.
Thomas Lukasiewicz
Probabilistic Deduction with Conditional Constraints over Basic Events
In A. G. Cohn, L. K. Schubert, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR 1998), pp. 380-391, Trento, Italy, June 1998. Morgan Kaufmann, 1998.
Thomas Lukasiewicz
Efficient Global Probabilistic Deduction from Taxonomic and Probabilistic Knowledge-Bases over Conjunctive Events
In F. Golshani and K. Makki, editors, Proceedings of the 6th International ACM Conference on Information and Knowledge Management (CIKM 1997), pp. 75-82, Las Vegas, Nevada, USA, November 1997. ACM Press, 1997.
Thomas Lukasiewicz, Werner Kießling, Gerhard Köstler, and Ulrich Güntzer
Taxonomic and Uncertain Integrity Constraints in Object-Oriented Databases - the TOP Approach
In N. Pisinou, A. Silberschatz, E. K. Park, and K. Makki, editors, Proceedings of the 4th International Conference on Information and Knowledge Management (CIKM 1995), pp. 241-249, Baltimore, Maryland, USA, November 1995. ACM Press, 1995.
Thomas Lukasiewicz
Uncertain Reasoning in Concept Lattices
In C. Froidevaux and J. Kohlas, editors, Proceedings of the 3rd European Conference on Symbolic and Quantative Approaches to Reasoning and Uncertainty (ECSQARU 1995), Fribourg, Switzerland, July 1995. Volume 946 of Lecture Notes in Computer Science, pp. 293-300, Springer, 1995.
Werner Kießling, Thomas Lukasiewicz, Gerhard Köstler, and Ulrich Güntzer
The TOP Database Model - Taxonomy, Object-Orientation and Probability
In Proceedings of the International Workshop on Uncertainty in Databases and Deductive Systems, pp. 71-82, Ithaca, New York, USA, November 1994.

Technical Reports

Andrea Calì, Georg Gottlob, and Thomas Lukasiewicz
A General Datalog-Based Framework for Tractable Query Answering over Ontologies
Technical Report No. RR-10-21, Oxford University Computing Laboratory, November 2010.
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, and Roman Schindlauer
Well-Founded Semantics for Description Logic Programs in the Semantic Web
Technical Report Nr. 1843-09-01, Institut für Informationssysteme, Technische Universität Wien, March 2009.
Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, and Thomas Lukasiewicz
From Web Search to Semantic Web Search
Technical Report Nr. 1843-08-11, Institut für Informationssysteme, Technische Universität Wien, November 2008.
Thomas Lukasiewicz and Azzurra Ragone
Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web
Technical Report Nr. 1843-08-08, Institut für Informationssysteme, Technische Universität Wien, August 2008.
Alberto Finzi and Thomas Lukasiewicz
Adaptive Game-Theoretic Agent Programming in Golog
Technical Report Nr. 1843-08-07, Institut für Informationssysteme, Technische Universität Wien, August 2008.
Alessandro Farinelli, Alberto Finzi, and Thomas Lukasiewicz
Team Programming in Golog under Partial Observability
Technical Report Nr. 1843-08-04, Institut für Informationssysteme, Technische Universität Wien, May 2008.
Thomas Lukasiewicz and Jörg Schellhase
Variable-Strength Conditional Preferences for Ranking Objects in Ontologies
Technical Report Nr. 1843-07-06, Institut für Informationssysteme, Technische Universität Wien, April 2007.
Andrea Calì and Thomas Lukasiewicz
Tightly Integrated Probabilistic Description Logic Programs
Technical Report Nr. 1843-07-05, Institut für Informationssysteme, Technische Universität Wien, March 2007.
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits
Combining Answer Set Programming with Description Logics for the Semantic Web
Technical Report Nr. 1843-07-04, Institut für Informationssysteme, Technische Universität Wien, March 2007.
Thomas Lukasiewicz and Umberto Straccia
Tightly Integrated Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Technical Report Nr. 1843-07-03, Institut für Informationssysteme, Technische Universität Wien, February 2007.
Thomas Lukasiewicz and Umberto Straccia
Uncertainty and Vagueness in Description Logic Programs for the Semantic Web
Technical Report Nr. 1843-07-02, Institut für Informationssysteme, Technische Universität Wien, February 2007.
Thomas Lukasiewicz
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
Technical Report Nr. 1843-06-08, Institut für Informationssysteme, Technische Universität Wien, March 2010.
Thomas Lukasiewicz and Umberto Straccia
An Overview of Uncertainty and Vagueness in Description Logics for the Semantic Web
Technical Report Nr. 1843-06-07, Institut für Informationssysteme, Technische Universität Wien, October 2006.
Thomas Lukasiewicz
Probabilistic Description Logics for the Semantic Web
Technical Report Nr. 1843-06-05, Institut für Informationssysteme, Technische Universität Wien, March 2007.
Thomas Lukasiewicz
Probabilistic Description Logic Programs
Technical Report Nr. 1843-06-04, Institut für Informationssysteme, Technische Universität Wien, June 2006.
Thomas Lukasiewicz and Jörg Schellhase
Variable-Strength Conditional Preferences for Matchmaking in Description Logics
Technical Report Nr. 1843-05-11, Institut für Informationssysteme, Technische Universität Wien, December 2005.
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories
Technical Report Nr. 1843-05-04, Institut für Informationssysteme, Technische Universität Wien, June 2005.
Thomas Lukasiewicz
Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG
Technical Report Nr. 1843-05-03, Institut für Informationssysteme, Technische Universität Wien, June 2006.
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Golog under Partial Observability
Technical Report Nr. 1843-05-02, Institut für Informationssysteme, Technische Universität Wien, December 2006.
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Agent Programming in Golog
Technical Report Nr. 1843-04-02, Institut für Informationssysteme, Technische Universität Wien, April 2007.
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits
Combining Answer Set Programming with Description Logics for the Semantic Web
Technical Report Nr. 1843-03-13, Institut für Informationssysteme, Technische Universität Wien, December 2003.
Alberto Finzi and Thomas Lukasiewicz
Structure-Based Causes and Explanations in the Independent Choice Logic
Technical Report Nr. 1843-03-06, Institut für Informationssysteme, Technische Universität Wien, April 2003.
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, and Riccardo Rosati
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Technical Report Nr. 1843-03-05, Institut für Informationssysteme, Technische Universität Wien, March 2006.
Thomas Lukasiewicz
Nonmonotonic Probabilistic Reasoning under Variable-Strength Inheritance with Overriding
Technical Report Nr. 1843-03-02, Institut für Informationssysteme, Technische Universität Wien, January 2003.
Thomas Eiter and Thomas Lukasiewicz
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
Technical Report Nr. 1843-03-01, Institut für Informationssysteme, Technische Universität Wien, March 2003.
Gabriele Kern-Isberner and Thomas Lukasiewicz
Combining Probabilistic Logic Programming with the Power of Maximum Entropy
Technical Report Nr. 1843-02-12, Institut für Informationssysteme, Technische Universität Wien, October 2002.
Veronica Biazzo, Rosalba Giugno, Thomas Lukasiewicz, and V.S. Subrahmanian
Temporal Probabilistic Object Bases
Technical Report Nr. 1843-02-08, Institut für Informationssysteme, Technische Universität Wien, June 2002.
Rosalba Giugno and Thomas Lukasiewicz
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
Technical Report Nr. 1843-02-06, Institut für Informationssysteme, Technische Universität Wien, April 2002.
Thomas Eiter and Thomas Lukasiewicz
Causes and Explanations in the Structural-Model Approach: Tractable Cases
Technical Report Nr. 1843-02-03, Institut für Informationssysteme, Technische Universität Wien, March 2002.
Thomas Lukasiewicz
Weak Nonmonotonic Probabilistic Logics
Technical Report Nr. 1843-02-02, Institut für Informationssysteme, Technische Universität Wien, March 2002; September 2004.
Thomas Eiter and Thomas Lukasiewicz
Complexity Results for Explanations in the Structural-Model Approach
Technical Report Nr. 1843-01-08, Institut für Informationssysteme, Technische Universität Wien, November 2001; July 2002.
Thomas Lukasiewicz
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
Technical Report Nr. 1843-01-06, Institut für Informationssysteme, Technische Universität Wien, June 2001.
Thomas Lukasiewicz
Probabilistic Logic Programming under Inheritance with Overriding
Technical Report Nr. 1843-01-05, Institut für Informationssysteme, Technische Universität Wien, May 2001.
Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, and Giuseppe Sanfilippo
Probabilistic Logic under Coherence: Complexity and Algorithms
Technical Report Nr. 1843-01-04, Institut für Informationssysteme, Technische Universität Wien, April 2001; October 2002.
Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, and Giuseppe Sanfilippo
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning in System P
Technical Report Nr. 1843-01-03, Institut für Informationssysteme, Technische Universität Wien, April 2001; May 2002.
Thomas Eiter and Thomas Lukasiewicz
Complexity Results for Structure-Based Causality
Technical Report Nr. 1843-01-01, Institut für Informationssysteme, Technische Universität Wien, January 2001; November 2001.
Thomas Eiter and Thomas Lukasiewicz
Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases
Technical Report Nr. 1843-00-06, Institut für Informationssysteme, Technische Universität Wien, September 2000.
Thomas Eiter, Thomas Lukasiewicz, and Michael Walter
A Data Model and Algebra for Probabilistic Complex Values
Technical Report Nr. 1843-00-04, Institut für Informationssysteme, Technische Universität Wien, August 2000.
Thomas Lukasiewicz
Credal Networks under Maximum Entropy
Technical Report Nr. 1843-00-03, Institut für Informationssysteme, Technische Universität Wien, May 2000.
Thomas Lukasiewicz
Probabilistic Default Reasoning with Strict and Defeasible Conditional Constraints
Technical Report Nr. 1843-00-02, Institut für Informationssysteme, Technische Universität Wien, February 2000.
Thomas Lukasiewicz
Probabilistic Logic Programming with Conditional Constraints
Technical Report Nr. 1843-00-01, Institut für Informationssysteme, Technische Universität Wien, May 2000.
Thomas Eiter, James J. Lu, Thomas Lukasiewicz, and V.S. Subrahmanian
Probabilistic Object Bases
Technical Report Nr. 1843-99-11, Institut für Informationssysteme, Technische Universität Wien, November 1999.
Thomas Eiter and Thomas Lukasiewicz
Complexity Results for Default Reasoning from Conditional Knowledge Bases, Preliminary Report
Technical Report Nr. 1843-99-10, Institut für Informationssysteme, Technische Universität Wien, November 1999.
Thomas Lukasiewicz
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
Technical Report Nr. 1843-99-09, Institut für Informationssysteme, Technische Universität Wien, August 1999.
Thomas Lukasiewicz and Gabriele Kern-Isberner
Probabilistic Logic Programming under Maximum Entropy
Technical Report Nr. 9903, Institut für Informatik, Universität Gießen, February 1999.
Thomas Lukasiewicz
Probabilistic and Truth-Functional Many-Valued Logic Programming
Technical Report Nr. 9809, Institut für Informatik, Universität Gießen, December 1998.
Thomas Lukasiewicz
Uncertain Reasoning in Concept Lattices
Technical Report Nr. 323, Institut für Mathematik, Universität Augsburg, April 1995.
Thomas Lukasiewicz, Werner Kießling, Gerhard Köstler, and Ulrich Güntzer
Taxonomic and Uncertain Reasoning in Object-Oriented Databases
Technical Report Nr. 303, Institut für Mathematik, Universität Augsburg, August 1994.