Workshop on Hybrid Knowledge Representation and Reasoning (HKRR)

View Statistics Email Alert RSS Feed

Description

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

Publications Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fink, Michael ; Pearce, David A Logical Semantics for Description Logic ProgramsPräsentation Presentation2010
2Eiter, Thomas Combining Nonmonotonic Knowledge Bases with External SourcesPräsentation Presentation2010
3Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Nonmonotonic Multi-Context SystemsPräsentation Presentation2010
4Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsPräsentation Presentation2010
5Eiter, Thomas ; Fink, Michael ; Moura, Joao Paracoherent Answer Set ProgrammingPräsentation Presentation2010
6Simkus, Mantas Reasoning in Logic Programs with Function Symbols and Negation under the Stable Model SemanticsPräsentation Presentation2010
7Heymans, Stijn Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsPräsentation Presentation2010