| 2011 |
|---|
| 120 | Well-founded semantics for description logic programs in the semantic web. Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer. ACM Trans. Comput. Log. (12): 11 (2011). Web SearchBibTeXDownload |
| 119 | Probabilistic Deduction with Conditional Constraints over Basic Events. Thomas Lukasiewicz. CoRR (abs/1105.5461) (2011). Web SearchBibTeXDownload |
| 118 | Semantic Web search based on ontological conjunctive queries. Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, Thomas Lukasiewicz. J. Web Sem. (9): 453-473 (2011). Web SearchBibTeXDownload |
| 117 | Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies. Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari. RR 2011, 77-92. Web SearchBibTeXDownload |
| 116 | A logical toolbox for ontological reasoning. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris. SIGMOD Record (40): 5-14 (2011). Web SearchBibTeXDownload |
| 115 | Answering Threshold Queries in Probabilistic Datalog+/- Ontologies. Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari. SUM 2011, 401-414. Web SearchBibTeXDownload |
| 2010 |
|---|
| 114 | Ontological Reasoning with F-logic Lite and its Extensions. Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris. AAAI 2010. Web SearchBibTeXDownload |
| 113 | Datalog+/-: A Family of Languages for Ontology Querying. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris. Datalog 2010, 351-368. Web SearchBibTeXDownload |
| 112 | Semantic Web Search Based on Ontological Conjunctive Queries. Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, Thomas Lukasiewicz. FoIKS 2010, 153-172. Web SearchBibTeXDownload |
| 111 | A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web. Thomas Lukasiewicz. IEEE Trans. Knowl. Data Eng. (22): 1577-1592 (2010). Web SearchBibTeXDownload |
| 110 | Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris. LICS 2010, 228-242. Web SearchBibTeXDownload |
| 109 | Inductive reasoning and semantic web search. Claudia d'Amato, Floriana Esposito, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz. SAC 2010, 1446-1447. Web SearchBibTeXDownload |
| 108 | Semantic search on the Web. Bettina Fazzinga, Thomas Lukasiewicz. Semantic Web (1): 89-96 (2010). Web SearchBibTeXDownload |
| 107 | Combining Semantic Web Search with the Power of Inductive Reasoning. Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz. SUM 2010, 137-150. Web SearchBibTeXDownload |
| 2009 |
|---|
| 106 | Reasoning about actions with sensing under qualitative and probabilistic uncertainty. Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati. ACM Trans. Comput. Log. (10) (2009). Web SearchBibTeXDownload |
| 105 | Tractable Query Answering over Ontologies with Datalog+/-. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz. Description Logics 2009. Web SearchBibTeXDownload |
| 104 | A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation. Thomas Lukasiewicz, Azzurra Ragone. Description Logics 2009. Web SearchBibTeXDownload |
| 103 | Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web. Thomas Lukasiewicz, Azzurra Ragone. IAT 2009, 395-402. Web SearchBibTeXDownload |
| 102 | Datalog±: a unified approach to ontologies and integrity constraints. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz. ICDT 2009, 14-30. Web SearchBibTeXDownload |
| 101 | Description logic programs under probabilistic uncertainty and fuzzy vagueness. Thomas Lukasiewicz, Umberto Straccia. Int. J. Approx. Reasoning (50): 837-853 (2009). Web SearchBibTeXDownload |
| 100 | Inductive Query Answering and Concept Retrieval Exploiting Local Models. Claudia d'Amato, Nicola Fanizzi, Floriana Esposito, Thomas Lukasiewicz. ISDA 2009, 1209-1214. Web SearchBibTeXDownload |
| 99 | Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web. Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt. J. Data Semantics (12): 95-130 (2009). Web SearchBibTeXDownload |
| 98 | A general datalog-based framework for tractable query answering over ontologies. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz. PODS 2009, 77-86. Web SearchBibTeXDownload |
| 97 | Hybrid Reasoning with Rules and Ontologies. Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski. REWERSE 2009, 1-49. Web SearchBibTeXDownload |
| 96 | Uncertainty Reasoning for the Semantic Web. Thomas Lukasiewicz. RR 2009, 26-39. Web SearchBibTeXDownload |
| 95 | A General Datalog-Based Framework for Tractable Query Answering over Ontologies (extended abstract). Andrea Calì, Georg Gottlob, Thomas Lukasiewicz. SEBD 2009, 29-36. Web SearchBibTeX |
| 94 | Datalog Extensions for Tractable Query Answering over Ontologies. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz. Semantic Web Information Management 2009, 249-279. Web SearchBibTeXDownload |
| 93 | Uncertainty in the Semantic Web. Thomas Lukasiewicz. SUM 2009, 2-11. Web SearchBibTeXDownload |
| 92 | Combining Semantic Web Search with the Power of Inductive Reasoning. Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz. URSW 2009, 15-26. Web SearchBibTeXDownload |
| 91 | Approximate Classification of Semantically Annotated Web Resources Exploiting Pseudo-metrics Induced by Local Models. Claudia d'Amato, Nicola Fanizzi, Floriana Esposito, Thomas Lukasiewicz. Web Intelligence 2009, 689-692. Web SearchBibTeXDownload |
| 2008 |
|---|
| 90 | Expressive probabilistic description logics. Thomas Lukasiewicz. Artif. Intell. (172): 852-883 (2008). Web SearchBibTeXDownload |
| 89 | Combining answer set programming with description logics for the Semantic Web. Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits. Artif. Intell. (172): 1495-1539 (2008). Cited by 249Web SearchBibTeXDownload |
| 88 | Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings. Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt. FoIKS 2008, 178-198. Web SearchBibTeXDownload |
| 87 | Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. Thomas Lukasiewicz. Fundam. Inform. (82): 289-310 (2008). Web SearchBibTeXDownload |
| 86 | Using search strategies and a description logic paradigm with conditional preferences for literature search. Jörg Schellhase, Thomas Lukasiewicz. IJMSO (3): 68-83 (2008). Web SearchBibTeXDownload |
| 85 | Logical approaches to imprecise probabilities. Thomas Lukasiewicz. Int. J. Approx. Reasoning (49): 1-2 (2008). Web SearchBibTeXDownload |
| 84 | Probabilistic description logic programs under inheritance with overriding for the Semantic Web. Thomas Lukasiewicz. Int. J. Approx. Reasoning (49): 18-34 (2008). Web SearchBibTeXDownload |
| 83 | Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. Thomas Lukasiewicz, Umberto Straccia. Int. J. Semantic Web Inf. Syst. (4): 68-89 (2008). Web SearchBibTeXDownload |
| 82 | Managing uncertainty and vagueness in description logics for the Semantic Web. Thomas Lukasiewicz, Umberto Straccia. J. Web Sem. (6): 291-308 (2008). Web SearchBibTeXDownload |
| 81 | Representing Ontology Mappings with Probabilistic Description Logics Programs. Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt. SEBD 2008, 438-445. Web SearchBibTeX |
| 80 | Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web. Thomas Lukasiewicz, Azzurra Ragone. SMRR 2008. Web SearchBibTeXDownload |
| 79 | Tractable Reasoning with Bayesian Description Logics. Claudia d'Amato, Nicola Fanizzi, Thomas Lukasiewicz. SUM 2008, 146-159. Web SearchBibTeXDownload |
| 78 | Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations. Nicola Fanizzi, Claudia d'Amato, Floriana Esposito, Thomas Lukasiewicz. URSW 2008. Web SearchBibTeXDownload |
| 77 | An Approach to Probabilistic Data Integration for the Semantic Web. Andrea Calì, Thomas Lukasiewicz. URSW (LNCS Vol.) 2008, 52-65. Web SearchBibTeXDownload |
| 76 | Rule-Based Approaches for Representing Probabilistic Ontology Mappings. Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt. URSW (LNCS Vol.) 2008, 66-87. Web SearchBibTeXDownload |
| 2007 |
|---|
| 75 | Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness. Thomas Lukasiewicz, Umberto Straccia. ECSQARU 2007, 187-198. Web SearchBibTeXDownload |
| 74 | A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web. Thomas Lukasiewicz. ESWC 2007, 384-398. Web SearchBibTeXDownload |
| 73 | Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web. Andrea Calì, Thomas Lukasiewicz. ICLP 2007, 428-429. Web SearchBibTeXDownload |
| 72 | Team Programming in Golog under Partial Observability. Alessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz. IJCAI 2007, 2097-2102. Web SearchBibTeXDownload |
| 71 | Probabilistic description logic programs. Thomas Lukasiewicz. Int. J. Approx. Reasoning (45): 288-307 (2007). Web SearchBibTeXDownload |
| 70 | Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation. Thomas Lukasiewicz. Int. J. Approx. Reasoning (44): 301-321 (2007). Web SearchBibTeXDownload |
| 69 | Reasoning with imprecise probabilities. Andrés Cano, Fabio Gagliardi Cozman, Thomas Lukasiewicz. Int. J. Approx. Reasoning (44): 197-199 (2007). Web SearchBibTeXDownload |
| 68 | Variable-strength conditional preferences for ranking objects in ontologies. Thomas Lukasiewicz, Jörg Schellhase. J. Web Sem. (5): 180-194 (2007). Web SearchBibTeXDownload |
| 67 | Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web. Thomas Lukasiewicz, Umberto Straccia. RR 2007, 289-298. Web SearchBibTeXDownload |
| 66 | Tractable Probabilistic Description Logic Programs. Thomas Lukasiewicz. SUM 2007, 143-156. Web SearchBibTeXDownload |
| 65 | Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web. Thomas Lukasiewicz, Umberto Straccia. SUM 2007, 16-30. Web SearchBibTeXDownload |
| 64 | A Framework for Representing Ontology Mappings under Probabilities and Inconsistency. Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt. URSW 2007. Web SearchBibTeXDownload |
| 2006 |
|---|
| 63 | Causes and explanations in the structural-model approach: Tractable cases. Thomas Eiter, Thomas Lukasiewicz. Artif. Intell. (170): 542-580 (2006). Web SearchBibTeXDownload |
| 62 | Adaptive Multi-Agent Programming in GTGolog. Alberto Finzi, Thomas Lukasiewicz. ECAI 2006, 753-754. Web SearchBibTeX |
| 61 | Variable-Strength Conditional Preferences for Ranking Objects in Ontologies. Thomas Lukasiewicz, Jörg Schellhase. ESWC 2006, 288-302. Web SearchBibTeXDownload |
| 60 | Adaptive Multi-agent Programming in GTGolog. Alberto Finzi, Thomas Lukasiewicz. KI 2006, 389-403. Web SearchBibTeXDownload |
| 59 | Game-Theoretic Agent Programming in Golog Under Partial Observability. Alberto Finzi, Thomas Lukasiewicz. KI 2006, 113-127. Web SearchBibTeXDownload |
| 58 | Variable-Strength Conditional Preferences for Matchmaking in Description Logics. Thomas Lukasiewicz, Jörg Schellhase. KR 2006, 164-174. Web SearchBibTeX |
| 57 | Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web. Thomas Lukasiewicz. RuleML 2006, 89-96. Web SearchBibTeXDownload |
| 56 | Preferences, Links, and Probabilities for Ranking Objects in Ontologies. Thomas Lukasiewicz, Jörg Schellhase. URSW 2006. Web SearchBibTeXDownload |
| 55 | An Approach to Probabilistic Data Integration for the Semantic Web. Andrea Calì, Thomas Lukasiewicz. URSW 2006. Web SearchBibTeXDownload |
| 2005 |
|---|
| 54 | Game theoretic Golog under partial observability. Alberto Finzi, Thomas Lukasiewicz. AAMAS 2005, 1301-1302. Web SearchBibTeXDownload |
| 53 | Probabilistic logic under coherence: complexity and algorithms. Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo. Ann. Math. Artif. Intell. (45): 35-81 (2005). Web SearchBibTeXDownload |
| 52 | Weak nonmonotonic probabilistic logics. Thomas Lukasiewicz. Artif. Intell. (168): 119-161 (2005). Web SearchBibTeXDownload |
| 51 | Probabilistic Description Logic Programs. Thomas Lukasiewicz. ECSQARU 2005, 737-749. Web SearchBibTeXDownload |
| 50 | Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG. Thomas Lukasiewicz. ISIPTA 2005, 230-239. Web SearchBibTeX |
| 49 | Stratified Probabilistic Description Logic Programs. Thomas Lukasiewicz. ISWC-URSW 2005, 87-97. Web SearchBibTeX |
| 48 | Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories. Alberto Finzi, Thomas Lukasiewicz. LPNMR 2005, 185-197. Web SearchBibTeXDownload |
| 2004 |
|---|
| 47 | Complexity results for explanations in the structural-model approach. Thomas Eiter, Thomas Lukasiewicz. Artif. Intell. (154): 145-198 (2004). Web SearchBibTeXDownload |
| 46 | Combining probabilistic logic programming with the power of maximum entropy. Gabriele Kern-Isberner, Thomas Lukasiewicz. Artif. Intell. (157): 139-202 (2004). Web SearchBibTeXDownload |
| 45 | Game-Theoretic Agent Programming in Golog. Alberto Finzi, Thomas Lukasiewicz. ECAI 2004, 23-27. Web SearchBibTeX |
| 44 | Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati. ECAI 2004, 818-822. Web SearchBibTeX |
| 43 | Relational Markov Games. Alberto Finzi, Thomas Lukasiewicz. JELIA 2004, 320-333. Web SearchBibTeXDownload |
| 42 | Weak Nonmonotonic Probabilistic Logics. Thomas Lukasiewicz. KR 2004, 23-33. Web SearchBibTeX |
| 41 | Combining Answer Set Programming with Description Logics for the Semantic Web. Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits. KR 2004, 141-151. Cited by 1Web SearchBibTeX |
| 40 | Qualitative and probabilistic uncertainty in reasoning about actions with sensing. Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati. NMR 2004, 240-248. Web SearchBibTeXDownload |
| 39 | Well-Founded Semantics for Description Logic Programs in the Semantic Web. Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits. RuleML 2004, 81-97. Cited by 62Web SearchBibTeXDownload |
| 2003 |
|---|
| 38 | Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding. Thomas Lukasiewicz. ECSQARU 2003, 576-587. Web SearchBibTeXDownload |
| 37 | Temporal Probabilistic Object Bases. Veronica Biazzo, Rosalba Giugno, Thomas Lukasiewicz, V. S. Subrahmanian. IEEE Trans. Knowl. Data Eng. (15): 921-939 (2003). Cited by 1Web SearchBibTeXDownload |
| 36 | Structure-Based Causes and Explanations in the Independent Choice Logic. Alberto Finzi, Thomas Lukasiewicz. UAI 2003, 225-232. Web SearchBibTeXDownload |
| 35 | Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories. Thomas Eiter, Thomas Lukasiewicz. UAI 2003, 192-199. Web SearchBibTeXDownload |
| 2002 |
|---|
| 34 | Probabilistic Default Reasoning with Conditional Constraints. Thomas Lukasiewicz. Ann. Math. Artif. Intell. (34): 35-88 (2002). Web SearchBibTeXDownload |
| 33 | Complexity results for structure-based causality. Thomas Eiter, Thomas Lukasiewicz. Artif. Intell. (142): 53-89 (2002). Web SearchBibTeXDownload |
| 32 | Nonmonotonic Probabilistic Logics between Model-Theoretic Probabilistic Logic and Probabilistic Logic under Coherence. Thomas Lukasiewicz. CoRR (cs.AI/0207075) (2002). Web SearchBibTeXDownload |
| 31 | P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web. Rosalba Giugno, Thomas Lukasiewicz. JELIA 2002, 86-97. Web SearchBibTeXDownload |
| 30 | Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P. Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo. Journal of Applied Non-Classical Logics (12): 189-213 (2002). Web SearchBibTeX |
| 29 | Complexity Results for Explanations in the Structural-Model Approach. Thomas Eiter, Thomas Lukasiewicz. KR 2002, 49-60. Web SearchBibTeX |
| 28 | Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence. Thomas Lukasiewicz. NMR 2002, 265-274. Web SearchBibTeX |
| 27 | Causes and Explanations in the Structural-Model Approach : Tractable Cases. Thomas Eiter, Thomas Lukasiewicz. UAI 2002, 146-153. Web SearchBibTeXDownload |
| 2001 |
|---|
| 26 | Probabilistic logic programming with conditional constraints. Thomas Lukasiewicz. ACM Trans. Comput. Log. (2): 289-339 (2001). Web SearchBibTeXDownload |
| 25 | Probabilistic object bases. Thomas Eiter, James J. Lu, Thomas Lukasiewicz, V. S. Subrahmanian. ACM Trans. Database Syst. (26): 264-312 (2001). Cited by 45Web SearchBibTeXDownload |
| 24 | A data model and algebra for probabilistic complex values. Thomas Eiter, Thomas Lukasiewicz, Michael Walter. Ann. Math. Artif. Intell. (33): 205-252 (2001). Web SearchBibTeXDownload |
| 23 | Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning. Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo. ECSQARU 2001, 290-302. Web SearchBibTeXDownload |
| 22 | Complexity Results for Structure-Based Causality. Thomas Eiter, Thomas Lukasiewicz. IJCAI 2001, 35-42. Web SearchBibTeX |
| 21 | Probabilistic Logic under Coherence: Complexity and Algorithms. Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo. ISIPTA 2001, 51-61. Web SearchBibTeXDownload |
| 20 | Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. Thomas Lukasiewicz. LPNMR 2001, 336-350. Web SearchBibTeXDownload |
| 19 | Probabilistic Logic Programming under Inheritance with Overriding. Thomas Lukasiewicz. UAI 2001, 329-336. Web SearchBibTeXDownload |
| 2000 |
|---|
| 18 | Default reasoning from conditional knowledge bases: Complexity and tractable cases. Thomas Eiter, Thomas Lukasiewicz. Artif. Intell. (124): 169-241 (2000). Web SearchBibTeXDownload |
| 17 | Probabilistic Default Reasoning with Conditional Constraints. Thomas Lukasiewicz. CoRR (cs.AI/0003023) (2000). Web SearchBibTeXDownload |
| 16 | Extension of the Relational Algebra to Probabilistic Complex Values. Thomas Eiter, Thomas Lukasiewicz, Michael Walter. FoIKS 2000, 94-115. Web SearchBibTeXDownload |
| 15 | New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. Thomas Eiter, Thomas Lukasiewicz. JELIA 2000, 313-328. Web SearchBibTeXDownload |
| 14 | Complexity Results for Default Reasoning from Conditional Knowledge Bases. Thomas Eiter, Thomas Lukasiewicz. KR 2000, 62-73. Web SearchBibTeX |
| 13 | Credal Networks under Maximum Entropy. Thomas Lukasiewicz. UAI 2000, 363-370. Web SearchBibTeXDownload |
| 1999 |
|---|
| 12 | Probalilistic Logic Programming under Maximum Entropy. Thomas Lukasiewicz, Gabriele Kern-Isberner. ESCQARU 1999, 279-292. Web SearchBibTeXDownload |
| 11 | Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Thomas Lukasiewicz. Int. J. Approx. Reasoning (21): 23-61 (1999). Web SearchBibTeXDownload |
| 10 | Probabilistic and Truth-Functional Many-Valued Logic Programming. Thomas Lukasiewicz. ISMVL 1999, 236-241. Web SearchBibTeXDownload |
| 9 | Probabilistic Deduction with Conditional Constraints over Basic Events. Thomas Lukasiewicz. J. Artif. Intell. Res. (JAIR) (10): 199-241 (1999). Web SearchBibTeXDownload |
| 8 | Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. Thomas Lukasiewicz. LPNMR 1999, 277-289. Web SearchBibTeXDownload |
| 1998 |
|---|
| 7 | Many-Valued First-Order Logics with Probabilistic Semantics. Thomas Lukasiewicz. CSL 1998, 415-429. Web SearchBibTeXDownload |
| 6 | Probabilistic Logic Programming. Thomas Lukasiewicz, V. S. Subrahmanian. ECAI 1998, 388-392. Cited by 242Web SearchBibTeX |
| 5 | Probabilistic Deduction with Conditional Constraints over Basic Events. Thomas Lukasiewicz. KR 1998, 380-393. Web SearchBibTeX |
| 4 | Magic Inference Rules for Probabilistic Deduction under Taxonomic Knowledge. Thomas Lukasiewicz. UAI 1998, 354-361. Web SearchBibTeXDownload |
| 1997 |
|---|
| 3 | Efficient Global Probabilistic Deduction from Taxonomic and Probabilistic Knowledge-Bases over Conjunctive Events. Thomas Lukasiewicz. CIKM 1997, 75-82. Web SearchBibTeXDownload |
| 1995 |
|---|
| 2 | Taxonomic and Uncertain Integrity Constraints in Object-Oriented Databases - the TOP Approach. Thomas Lukasiewicz, Werner Kießling, Gerhard Köstler, Ulrich Güntzer. CIKM 1995, 241-249. Web SearchBibTeXDownload |
| 1 | Uncertain Reasoning in Concept Lattices. Thomas Lukasiewicz. ECSQARU 1995, 293-300. Web SearchBibTeXDownload |
