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 21-31 of 31 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Andresel, Medina-Petrina ; Ibanez Garcia, Yazmin Angelica ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Relaxing and Restraining Queries for OBDA - Extended AbstractKonferenzbeitrag Inproceedings 2018
22Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
23Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan Strong Equivalence of Qualitative Optimization ProblemsKonferenzbeitrag Inproceedings 2012
24Aminof, Benjamin ; De Giacomo, Giuseppe ; Murano, Aniello ; Rubin, Sasha Synthesis under AssumptionsKonferenzbeitrag Inproceedings 2018
25Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Stefanoni, Giorgio The Complexity of Explaining Negative Query Answers in DL-LiteKonferenzbeitrag Inproceedings 2012
26de Haan, Ronald ; Szeider, Stefan The Parameterized Complexity of Reasoning Problems Beyond NPKonferenzbeitrag Inproceedings 2014
27Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan Towards Fixed-Parameter Tractable Algorithms for ArgumentationKonferenzbeitrag Inproceedings2010
28Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not EnoughKonferenzbeitrag Inproceedings2010
29Woltran, Stefan ; Goncalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, Joao Variable Elimination for DLP-FunctionsKonferenzbeitrag Inproceedings 2018
30Lukasiewicz, Thomas ; Schellhase, Joerg Variable-Strength Conditional Preferences for Matchmaking in Description LogicsKonferenzbeitrag Inproceedings 2006
31Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Konferenzbeitrag Inproceedings 2010