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
End date
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