The following pages link to Thomas Lukasiewicz (Q429434):
Displayed 10 items.
- Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity (Q5056424) (← links)
- Reasoning about actions with sensing under qualitative and probabilistic uncertainty (Q5277823) (← links)
- (Q5283021) (← links)
- Logics in Artificial Intelligence (Q5394134) (← links)
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings (Q5445301) (← links)
- (Q5450126) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473755) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473970) (← links)
- Representing Uncertain Concepts in Rough Description Logics via Contextual Indiscernibility Relations (Q5507389) (← links)
- A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases (Q6163648) (← links)