European Conference on Logics in Artificial Intelligence (JELIA)

Event name
European Conference on Logics in Artificial Intelligence (JELIA)
 
Event type
Event for scientific audience
 
Start date
07-05-2019
End date
11-05-2019
 
Location
Liverpool
Country
United Kingdom
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Senko, Jan A Tool for Answering Queries on Action DescriptionsKonferenzbeitrag Inproceedings 2006
2Saribatur, Zeynep G. ; Schüller, Peter ; Eiter, Thomas Abstraction for Non-ground Answer Set ProgramsKonferenzbeitrag Inproceedings 2019
3Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Comparing Action Descriptions Based on Semantic PreferencesKonferenzbeitrag Inproceedings 2006
4Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan The D-FLAT System for Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 1-Jan-2014
5Ortiz, Magdalena Extending Carin to the Description Logics of the $\mathcal{SH}$ FamilyKonferenzbeitrag Inproceedings 2008
6Schüller, Peter The Hexlite SolverKonferenzbeitrag Inproceedings 2019
7Fink, Michael ; Pearce, David A Logical Semantics for Description Logic ProgramsKonferenzbeitrag Inproceedings 2010
8Haret, Adrian ; Wallner, Johannes P. Manipulating Skeptical and Credulous Consequences When Merging BeliefsKonferenzbeitrag Inproceedings 2019
9Bögl, Markus ; Eiter, Thomas ; Fink, Michael ; Schüller, Peter The mcs-ie System for Explaining Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
10Polberg, Sylwia ; Doder, Dragan Probabilistic Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 1-Jan-2014
11Eiter, Thomas ; Gottlob, Georg ; Ortiz, Magdalena ; Šimkus, Mantas Query Answering in the Description Logic Horn-SHIQKonferenzbeitrag Inproceedings 2008
12Erdem, Esra ; Gabaldon, Alfredo Representing action domains with numeric-valued fluentsKonferenzbeitrag Inproceedings 2006