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
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. |