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