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