Workshop on Hybrid Knowledge Representation and Reasoning (HKRR)
Event name
Workshop on Hybrid Knowledge Representation and Reasoning (HKRR)
Event type
Event for scientific audience
Start date
11-03-2010
End date
14-03-2010
Location
Wien
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-7 of 7 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fink, Michael ; Pearce, David | A Logical Semantics for Description Logic Programs | Präsentation Presentation | 2010 | |
| 2 | Eiter, Thomas | Combining Nonmonotonic Knowledge Bases with External Sources | Präsentation Presentation | 2010 | |
| 3 | Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas | Distributed Nonmonotonic Multi-Context Systems | Präsentation Presentation | 2010 | |
| 4 | Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius | Finding Explanations of Inconsistency in Multi-Context Systems | Präsentation Presentation | 2010 | |
| 5 | Eiter, Thomas ; Fink, Michael ; Moura, Joao | Paracoherent Answer Set Programming | Präsentation Presentation | 2010 | |
| 6 | Simkus, Mantas | Reasoning in Logic Programs with Function Symbols and Negation under the Stable Model Semantics | Präsentation Presentation | 2010 | |
| 7 | Heymans, Stijn | Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics | Präsentation Presentation | 2010 |