| 2008 |
|---|
| 76 | | 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 |
| 75 | EE | Andrea Calì,
Thomas Lukasiewicz,
Livia Predoiu,
Heiner Stuckenschmidt:
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.
FoIKS 2008: 178-198 |
| 74 | EE | Thomas Lukasiewicz:
Expressive probabilistic description logics.
Artif. Intell. 172(6-7): 852-883 (2008) |
| 2007 |
|---|
| 73 | EE | Thomas Lukasiewicz,
Umberto Straccia:
Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness.
ECSQARU 2007: 187-198 |
| 72 | EE | Thomas Lukasiewicz:
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web.
ESWC 2007: 384-398 |
| 71 | EE | Andrea Calì,
Thomas Lukasiewicz:
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web.
ICLP 2007: 428-429 |
| 70 | EE | Alessandro Farinelli,
Alberto Finzi,
Thomas Lukasiewicz:
Team Programming in Golog under Partial Observability.
IJCAI 2007: 2097-2102 |
| 69 | EE | Thomas Lukasiewicz,
Umberto Straccia:
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web.
RR 2007: 289-298 |
| 68 | EE | Thomas Lukasiewicz:
Tractable Probabilistic Description Logic Programs.
SUM 2007: 143-156 |
| 67 | EE | Thomas Lukasiewicz,
Umberto Straccia:
Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web.
SUM 2007: 16-30 |
| 66 | EE | Andrea Calì,
Thomas Lukasiewicz,
Livia Predoiu,
Heiner Stuckenschmidt:
A Framework for Representing Ontology Mappings under Probabilities and Inconsistency.
URSW 2007 |
| 65 | EE | Andrés Cano,
Fabio Gagliardi Cozman,
Thomas Lukasiewicz:
Reasoning with imprecise probabilities.
Int. J. Approx. Reasoning 44(3): 197-199 (2007) |
| 64 | EE | Thomas Lukasiewicz:
Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation.
Int. J. Approx. Reasoning 44(3): 301-321 (2007) |
| 63 | EE | Thomas Lukasiewicz:
Probabilistic description logic programs.
Int. J. Approx. Reasoning 45(2): 288-307 (2007) |
| 62 | EE | Thomas Lukasiewicz,
Jörg Schellhase:
Variable-strength conditional preferences for ranking objects in ontologies.
J. Web Sem. 5(3): 180-194 (2007) |
| 2006 |
|---|
| 61 | | Alberto Finzi,
Thomas Lukasiewicz:
Adaptive Multi-Agent Programming in GTGolog.
ECAI 2006: 753-754 |
| 60 | EE | Thomas Lukasiewicz,
Jörg Schellhase:
Variable-Strength Conditional Preferences for Ranking Objects in Ontologies.
ESWC 2006: 288-302 |
| 59 | EE | Alberto Finzi,
Thomas Lukasiewicz:
Game-Theoretic Agent Programming in Golog Under Partial Observability.
KI 2006: 113-127 |
| 58 | EE | Alberto Finzi,
Thomas Lukasiewicz:
Adaptive Multi-agent Programming in GTGolog.
KI 2006: 389-403 |
| 57 | | Thomas Lukasiewicz,
Jörg Schellhase:
Variable-Strength Conditional Preferences for Matchmaking in Description Logics.
KR 2006: 164-174 |
| 56 | EE | Thomas Lukasiewicz:
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web.
RuleML 2006: 89-96 |
| 55 | EE | Thomas Eiter,
Thomas Lukasiewicz:
Causes and explanations in the structural-model approach: Tractable cases.
Artif. Intell. 170(6-7): 542-580 (2006) |
| 2005 |
|---|
| 54 | EE | Alberto Finzi,
Thomas Lukasiewicz:
Game theoretic Golog under partial observability.
AAMAS 2005: 1301-1302 |
| 53 | EE | 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 | EE | Alberto Finzi,
Thomas Lukasiewicz:
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories.
LPNMR 2005: 185-197 |
| 49 | EE | 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 | EE | 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 | EE | 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 | EE | Luca Iocchi,
Thomas Lukasiewicz,
Daniele Nardi,
Riccardo Rosati:
Qualitative and probabilistic uncertainty in reasoning about actions with sensing.
NMR 2004: 240-248 |
| 41 | EE | Thomas Eiter,
Thomas Lukasiewicz,
Roman Schindlauer,
Hans Tompits:
Well-Founded Semantics for Description Logic Programs in the Semantic Web.
RuleML 2004: 81-97 |
| 40 | EE | Thomas Eiter,
Thomas Lukasiewicz:
Complexity results for explanations in the structural-model approach.
Artif. Intell. 154(1-2): 145-198 (2004) |
| 39 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Thomas Eiter,
Thomas Lukasiewicz:
Complexity results for structure-based causality.
Artif. Intell. 142(1): 53-89 (2002) |
| 28 | EE | 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 | EE | 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 | EE | Veronica Biazzo,
Angelo Gilio,
Thomas Lukasiewicz,
Giuseppe Sanfilippo:
Probabilistic Logic under Coherence: Complexity and Algorithms.
ISIPTA 2001: 51-61 |
| 23 | EE | Thomas Lukasiewicz:
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics.
LPNMR 2001: 336-350 |
| 22 | EE | Thomas Lukasiewicz:
Probabilistic Logic Programming under Inheritance with Overriding.
UAI 2001: 329-336 |
| 21 | EE | Thomas Lukasiewicz:
Probabilistic logic programming with conditional constraints.
ACM Trans. Comput. Log. 2(3): 289-339 (2001) |
| 20 | EE | 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 | EE | Thomas Eiter,
Thomas Lukasiewicz,
Michael Walter:
Extension of the Relational Algebra to Probabilistic Complex Values.
FoIKS 2000: 94-115 |
| 17 | EE | 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 | EE | Thomas Lukasiewicz:
Credal Networks under Maximum Entropy.
UAI 2000: 363-370 |
| 14 | EE | Thomas Eiter,
Thomas Lukasiewicz:
Default reasoning from conditional knowledge bases: Complexity and tractable cases.
Artif. Intell. 124(2): 169-241 (2000) |
| 13 | EE | Thomas Lukasiewicz:
Probabilistic Default Reasoning with Conditional Constraints
CoRR cs.AI/0003023: (2000) |
| 1999 |
|---|
| 12 | EE | Thomas Lukasiewicz,
Gabriele Kern-Isberner:
Probalilistic Logic Programming under Maximum Entropy.
ESCQARU 1999: 279-292 |
| 11 | EE | Thomas Lukasiewicz:
Probabilistic and Truth-Functional Many-Valued Logic Programming.
ISMVL 1999: 236-241 |
| 10 | EE | Thomas Lukasiewicz:
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics.
LPNMR 1999: 277-289 |
| 9 | EE | Thomas Lukasiewicz:
Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events.
Int. J. Approx. Reasoning 21(1): 23-61 (1999) |
| 8 | EE | 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 | EE | Thomas Lukasiewicz:
Magic Inference Rules for Probabilistic Deduction under Taxonomic Knowledge.
UAI 1998: 354-361 |
| 1997 |
|---|
| 3 | EE | Thomas Lukasiewicz:
Efficient Global Probabilistic Deduction from Taxonomic and Probabilistic Knowledge-Bases over Conjunctive Events.
CIKM 1997: 75-82 |
| 1995 |
|---|
| 2 | EE | 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 |
