Principles of Knowledge Representation and Reasoning (KR)

View Statistics Email Alert RSS Feed

Description

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

Publications Publikationen

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

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