European Conference on Logics in Artificial Intelligence (JELIA)

View Statistics Email Alert RSS Feed

Description

Event name
European Conference on Logics in Artificial Intelligence (JELIA)
 
Event type
Event for scientific audience
 
Start date
13-09-2006
End date
15-09-2006
 
Location
Liverpool, UK
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Fink, Michael ; Pearce, David ; Janhunen, Tomi ; Niemelä, Ilkka A Logical Semantics for Description Logic ProgramsKonferenzbeitrag Inproceedings 2010
2Eiter, Thomas ; Fink, Michael ; Senko, Jan ; Fisher, Michael ; van der Hoek, Wiebe ; Konev, Boris ; Lisitsa, Alexei A Tool for Answering Queries on Action DescriptionsKonferenzbeitrag Inproceedings 2006
3Saribatur, Zeynep G. ; Schüller, Peter ; Eiter, Thomas ; Calimeri, Francesco ; Leone, Nicola ; Manna, Marco Abstraction for Non-ground Answer Set ProgramsKonferenzbeitrag Inproceedings 2019
4Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan ; Fisher, Michael ; van der Hoek, Wiebe ; Konev, Boris ; Lisitsa, Alexei Comparing Action Descriptions Based on Semantic PreferencesKonferenzbeitrag Inproceedings 2006
5Ortiz, Magdalena ; Hölldobler, Steffen ; Lutz, Carsten ; Wansing, Heinrich Extending Carin to the Description Logics of the $\mathcal{SH}$ FamilyKonferenzbeitrag Inproceedings 2008
6Haret, Adrian ; Wallner, Johannes P. ; Calimeri, Francesco ; Leone, Nicola ; Manna, Marco Manipulating Skeptical and Credulous Consequences When Merging BeliefsKonferenzbeitrag Inproceedings 2019
7Polberg, Sylwia ; Doder, Dragan ; Fermé, Eduardo ; Leite, Joao Probabilistic Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 2014
8Eiter, Thomas ; Gottlob, Georg ; Ortiz, Magdalena ; Šimkus, Mantas ; Hölldobler, Steffen ; Lutz, Carsten ; Wansing, Heinrich Query Answering in the Description Logic Horn-SHIQKonferenzbeitrag Inproceedings 2008
9Erdem, Esra ; Gabaldon, Alfredo ; Fisher, Michael ; van der Hoek, Wiebe ; Konev, Boris ; Lisitsa, Alexei Representing action domains with numeric-valued fluentsKonferenzbeitrag Inproceedings 2006
10Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan ; Fermé, Eduardo ; Leite, Joao The D-FLAT System for Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2014
11Schüller, Peter The Hexlite SolverKonferenzbeitrag Inproceedings 2019
12Bögl, Markus ; Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Janhunen, Tomi ; Niemelä, Ilkka The mcs-ie System for Explaining Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010