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

Thomas Lukasiewicz : Publications

By dateBy titleBy typeBibtex

[1]

A general Datalog−based framework for tractable query answering over ontologies

Andrea Calì‚ Georg Gottlob and Thomas Lukasiewicz

No. RR−10−21. OUCL. March, 2012.

[2]

Ontology−based semantic search on the Web and its combination with the power of inductive reasoning

Claudia d'Amato‚ Nicola Fanizzi‚ Bettina Fazzinga‚ Georg Gottlob and Thomas Lukasiewicz

In Annals of Mathematics and Artificial Intelligence. 2012.

In press.

[3]

A general Datalog−based framework for tractable query answering over ontologies

Andrea Calì‚ Georg Gottlob and Thomas Lukasiewicz

In Journal of Web Semantics. 2012.

In press.

[4]

Equality−Friendly Well−Founded Semantics and Applications to Description Logics

Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz

In J. Hoffmann and B. Selman, editors, Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012)‚ Toronto‚ Ontario‚ Canada‚ July 2012. AAAI Press. 2012.

[5]

Semantic Web search based on ontological conjunctive queries

Bettina Fazzinga‚ Giorgio Gianforme‚ Georg Gottlob and Thomas Lukasiewicz

In Journal of Web Semantics. Vol. 9. Pages 453−473. December, 2011.

[6]

Tightly integrated probabilistic description logic programs for representing ontology mappings

Thomas Lukasiewicz‚ Livia Predoiu and Heiner Stuckenschmidt

In Annals of Mathematics and Artificial Intelligence. Vol. 63. No. 3/4. Pages 385−425. December, 2011.

[7]

Semantic Web search based on ontological conjunctive queries

Bettina Fazzinga‚ Giorgio Gianforme‚ Georg Gottlob and Thomas Lukasiewicz

No. RR−11−08. DCS. October, 2011.

[8]

Well−founded semantics for description logic programs in the Semantic Web

Thomas Eiter‚ Giovambattista Ianni‚ Thomas Lukasiewicz and Roman Schindlauer

In ACM Transactions on Computational Logic (TOCL). Vol. 12. No. 2. Pages 11:1–11:41. January, 2011.

[9]

A logical toolbox for ontological reasoning

Andrea Calì‚ Georg Gottlob‚ Thomas Lukasiewicz and Andreas Pieris

In SIGMOD Record. Vol. 40. No. 3. Pages 5–14. 2011.

[10]

Semantic search on the Web

Bettina Fazzinga and Thomas Lukasiewicz

In Semantic Web. Vol. 1. No. 1/2. Pages 89–96. December, 2010.

[11]

A novel combination of answer set programming with description logics for the Semantic Web

Thomas Lukasiewicz

In IEEE Transactions on Knowledge and Data Engineering (TKDE). Vol. 22. No. 11. Pages 1577–1592. November, 2010.

[12]

Datalog+/−: A family of logical knowledge representation and query languages for new applications

Andrea Calì‚ Georg Gottlob‚ Thomas Lukasiewicz‚ Bruno Marnette and Andreas Pieris

In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)‚ Edinburgh‚ UK‚ July 2010. Pages 228–242. IEEE Computer Society. 2010.

[13]

Description logic programs under probabilistic uncertainty and fuzzy vagueness

Thomas Lukasiewicz and Umberto Straccia

In International Journal of Approximate Reasoning. Vol. 50. No. 6. Pages 837–853. June, 2009.

[14]

Reasoning about actions with sensing under qualitative and probabilistic uncertainty

Luca Iocchi‚ Thomas Lukasiewicz‚ Daniele Nardi and Riccardo Rosati

In ACM Transactions on Computational Logic (TOCL). Vol. 10. No. 1. Pages 5:1–5:41. January, 2009.

[15]

Tightly coupled probabilistic description logic programs for the Semantic Web

Andrea Calì‚ Thomas Lukasiewicz‚ Livia Predoiu and Heiner Stuckenschmidt

In Journal on Data Semantics. Vol. 12. Pages 95–130. 2009.

[16]

Probabilistic description logic programs under inheritance with overriding for the Semantic Web

Thomas Lukasiewicz

In International Journal of Approximate Reasoning. Vol. 49. No. 1. Pages 18–34. September, 2008.

[17]

Logical approaches to imprecise probabilities

Thomas Lukasiewicz

In International Journal of Approximate Reasoning. Vol. 49. No. 1. Pages 1–2. September, 2008.

[18]

Combining answer set programming with description logics for the Semantic Web

Thomas Eiter‚ Giovambattista Ianni‚ Thomas Lukasiewicz‚ Roman Schindlauer and Hans Tompits

In Artificial Intelligence. Vol. 172. No. 12/13. Pages 1495–1539. August, 2008.

[19]

Fuzzy description logic programs under the answer set semantics for the Semantic Web

Thomas Lukasiewicz

In Fundamenta Informaticae. Vol. 82. No. 3. Pages 289–310. May, 2008.

[20]

Expressive probabilistic description logics

Thomas Lukasiewicz

In Artificial Intelligence. Vol. 172. No. 6/7. Pages 852–883. April, 2008.

[21]

Managing uncertainty and vagueness in description logics for the Semantic Web

Thomas Lukasiewicz and Umberto Straccia

In Journal of Web Semantics. Vol. 6. No. 4. Pages 291–308. November, 2008.

[22]

Tightly coupled fuzzy description logic programs under the answer set semantics for the Semantic Web

Thomas Lukasiewicz and Umberto Straccia

In International Journal on Semantic Web and Information Systems. Vol. 4. No. 3. Pages 68–89. 2008.

[23]

Using search strategies and a description logic paradigm with conditional preferences for literature search

Jörg Schellhase and Thomas Lukasiewicz

In International Journal of Metadata‚ Semantics and Ontologies. Vol. 3. No. 1. Pages 68–83. 2008.

[24]

Variable−strength conditional preferences for ranking objects in ontologies

Thomas Lukasiewicz and Jörg Schellhase

In Journal of Web Semantics. Vol. 5. No. 3. Pages 180–194. September, 2007.

[25]

Probabilistic description logic programs

Thomas Lukasiewicz

In International Journal of Approximate Reasoning. Vol. 45. No. 2. Pages 288–307. July, 2007.

[26]

Nonmonotonic probabilistic logics under variable−strength inheritance with overriding: Complexity‚ algorithms‚ and implementation

Thomas Lukasiewicz

In International Journal of Approximate Reasoning. Vol. 44. No. 3. Pages 301–321. March, 2007.

[27]

Reasoning with imprecise probabilities

Andrés Cano‚ Fabio Gagliardi Cozman and Thomas Lukasiewicz

In International Journal of Approximate Reasoning. Vol. 44. No. 3. Pages 197–199. March, 2007.

[28]

Causes and explanations in the structural−model approach: Tractable cases

Thomas Eiter and Thomas Lukasiewicz

In Artificial Intelligence. Vol. 170. No. 6/7. Pages 542–580. May, 2006.

[29]

Weak nonmonotonic probabilistic logics

Thomas Lukasiewicz

In Artificial Intelligence. Vol. 168. No. 1/2. Pages 119–161. October, 2005.

[30]

Probabilistic logic under coherence: complexity and algorithms

Veronica Biazzo‚ Angelo Gilio‚ Thomas Lukasiewicz and Giuseppe Sanfilippo

In Annals of Mathematics and Artificial Intelligence. Vol. 45. No. 1/2. Pages 35–81. October, 2005.

[31]

Nonmonotonic probabilistic reasoning under variable−strength inheritance with overriding

Thomas Lukasiewicz

In Synthese. Vol. 146. No. 1/2. Pages 153–169. 2005.

[32]

Combining probabilistic logic programming with the power of maximum entropy

Gabriele Kern−Isberner and Thomas Lukasiewicz

In Artificial Intelligence. Vol. 157. No. 1/2. Pages 139–202. August, 2004.

[33]

Complexity results for explanations in the structural−model approach

Thomas Eiter and Thomas Lukasiewicz

In Artificial Intelligence. Vol. 154. No. 1/2. Pages 145–198. April, 2004.

[34]

Temporal probabilistic object bases

Veronica Biazzo‚ Rosalba Giugno‚ Thomas Lukasiewicz and V. S. Subrahmanian

In IEEE Transactions on Knowledge and Data Engineering (TKDE). Vol. 15. No. 4. Pages 921–939. , 2003.

[35]

Probabilistic default reasoning with conditional constraints

Thomas Lukasiewicz

In Annals of Mathematics and Artificial Intelligence. Vol. 34. No. 1–3. Pages 35–88. March, 2002.

[36]

Complexity results for structure−based causality

Thomas Eiter and Thomas Lukasiewicz

In Artificial Intelligence. Vol. 142. No. 1. Pages 53–89. November, 2002.

[37]

Probabilistic logic under coherence‚ model−theoretic probabilistic logic‚ and default reasoning in System P

Veronica Biazzo‚ Angelo Gilio‚ Thomas Lukasiewicz and Giuseppe Sanfilippo

In Journal of Applied Non−Classical Logics. Vol. 12. No. 2. Pages 189–213. 2002.

[38]

Probabilistic object bases

Thomas Eiter‚ James J. Lu‚ Thomas Lukasiewicz and V. S. Subrahmanian

In ACM Transactions on Database Systems (TODS). Vol. 26. No. 3. Pages 264–312. September, 2001.

[39]

Probabilistic logic programming with conditional constraints

Thomas Lukasiewicz

In ACM Transactions on Computational Logic (TOCL). Vol. 2. No. 3. Pages 289–339. July, 2001.

[40]

A data model and algebra for probabilistic complex values

Thomas Eiter‚ Thomas Lukasiewicz and Michael Walter

In Annals of Mathematics and Artificial Intelligence. Vol. 33. No. 2–4. Pages 205–252. December, 2001.

[41]

Default reasoning from conditional knowledge bases: Complexity and tractable cases

Thomas Eiter and Thomas Lukasiewicz

In Artificial Intelligence. Vol. 124. No. 2. Pages 169–241. December, 2000.

[42]

Local probabilistic deduction from taxonomic and probabilistic knowledge−bases over conjunctive events

Thomas Lukasiewicz

In International Journal of Approximate Reasoning. Vol. 21. No. 1. Pages 23–61. May, 1999.

[43]

Probabilistic deduction with conditional constraints over basic events

Thomas Lukasiewicz

In Journal of Artificial Intelligence Research (JAIR). Vol. 10. Pages 199–241. April, 1999.