Principles of Knowledge Representation and Reasoning (KR)

View Statistics Email Alert RSS Feed

Description

Event name
Principles of Knowledge Representation and Reasoning (KR)
 
Event type
Event for scientific audience
 
Start date
02-06-2006
End date
05-06-2006
 
Location
Lake District, UK
Lake District, UK
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-20 of 31 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brewka, Gerd ; Woltran, Stefan Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings2010
2Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ FrameworkKonferenzbeitrag Inproceedings 2020
3Strass, Hannes ; Wallner, Johannes Peter Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2014
4Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Belief Revision of Logic Programs under Answer Set SemanticsKonferenzbeitrag Inproceedings 2008
5Creignou, Nadia ; Papini, Odile ; Pichler, Reinhard ; Woltran, Stefan Belief Revision within Fragments of Propositional LogicKonferenzbeitrag Inproceedings 2012
6Dunne, Paul E. ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan Characteristics of Multiple Viewpoints in Abstract ArgumentationKonferenzbeitrag Inproceedings 2014
7Oikarinen, Emilia ; Woltran, Stefan Characterizing Strong Equivalence for Argumentation FrameworksKonferenzbeitrag Inproceedings2010
8Dvorak, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan Complexity-Sensitive Decision Procedures for Abstract ArgumentationKonferenzbeitrag Inproceedings 2012
9Xiao, Guohui ; Lin, Zuoquan ; Ma, Yue ; Qi, Guilin Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT SolversKonferenzbeitrag Inproceedings 2010
10Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
11De Bruijn, Jos ; Eiter, Thomas ; Tompits, Hans Embedding Approaches to Combining Rules and Ontologies into Autoepistemic LogicKonferenzbeitrag Inproceedings 2008
12Niskanen, Andreas ; Wallner, Johannes Peter ; Järvisalo, Matti Extension Enforcement under Grounded Semantics in Abstract ArgumentationKonferenzbeitrag Inproceedings 2018
13Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
14Lackner, Martin ; Pfandler, Andreas Fixed-Parameter Algorithms for Finding Minimal ModelsKonferenzbeitrag Inproceedings 2012
15Stepanova, Daria Inconsistencies in Hybrid Knowledge BasesKonferenzbeitrag Inproceedings 2014
16Bienvenu, Meghyn ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Nested Regular Path Queries in Description LogicsKonferenzbeitrag Inproceedings 2014
17Faber, Wolfgang ; Tompits, Hans ; Woltran, Stefan Notions of Strong Equivalence for Logic Programs with Ordered DisjunctionKonferenzbeitrag Inproceedings 2008
18Eiter, Thomas ; Fink, Michael ; Moura, Joao Paracoherent Answer Set ProgrammingKonferenzbeitrag Inproceedings 2010
19Fink, Michael Paraconsistent Hybrid TheoriesKonferenzbeitrag Inproceedings 2012
20Haret, Adrian ; Novaro, Arianna ; Grandi, Umberto Preference Aggregation with Incomplete CP-NetsKonferenzbeitrag Inproceedings2018