- Fixed point semantics for stream reasoning.Christian Antić - 2020 - Artificial Intelligence 288 (C):103370.details
|
|
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog.Shqiponja Ahmetaj, Magdalena Ortiz & Mantas Šimkus - 2020 - Artificial Intelligence 280 (C):103220.details
|
|
Evaluating epistemic negation in answer set programming.Yi-Dong Shen & Thomas Eiter - 2016 - Artificial Intelligence 237 (C):115-135.details
|
|
On the relation between SPARQL1.1 and Answer Set Programming.Axel Polleres & Johannes Peter Wallner - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):159-212.details
|
|
Answer Set Programming on Expert Feedback to Populate and Extend.Colin Allen - 2008 - In David Wilson & H. Chad Lane (eds.), Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference. AAAI Press. pp. 500-505.details
|
|
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite & Jörg Pührer - 2018 - Artificial Intelligence 256 (C):68-104.details
|
|
Data repair of inconsistent nonmonotonic description logic programs.Thomas Eiter, Michael Fink & Daria Stepanova - 2016 - Artificial Intelligence 239 (C):7-53.details
|
|
Domain expansion for ASP-programs with external sources.Thomas Eiter, Michael Fink, Thomas Krennwallner & Christoph Redl - 2016 - Artificial Intelligence 233 (C):84-121.details
|
|
FLP answer set semantics without circular justifications for general logic programs.Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner & Jun Deng - 2014 - Artificial Intelligence 213 (C):1-41.details
|
|
Research in progress: report on the ICAIL 2017 doctoral consortium.Maria Dymitruk, Réka Markovich, Rūta Liepiņa, Mirna El Ghosh, Robert van Doesburg, Guido Governatori & Bart Verheij - 2018 - Artificial Intelligence and Law 26 (1):49-97.details
|
|
Loop-separable programs and their first-order definability.Yin Chen, Fangzhen Lin, Yan Zhang & Yi Zhou - 2011 - Artificial Intelligence 175 (3-4):890-913.details
|
|
Local closed world reasoning with description logics under the well-founded semantics.Matthias Knorr, José Júlio Alferes & Pascal Hitzler - 2011 - Artificial Intelligence 175 (9-10):1528-1554.details
|
|
Datalog rewritability and data complexity of ALCHOIQ with closed predicates.Sanja Lukumbuzya, Magdalena Ortiz & Mantas Šimkus - 2024 - Artificial Intelligence 330 (C):104099.details
|
|
A new semantics for overriding in description logics.P. A. Bonatti, M. Faella, I. M. Petrova & L. Sauro - 2015 - Artificial Intelligence 222 (C):1-48.details
|
|
Determining inference semantics for disjunctive logic programs.Yi-Dong Shen & Thomas Eiter - 2019 - Artificial Intelligence 277 (C):103165.details
|
|
Enhancing context knowledge repositories with justifiable exceptions.Loris Bozzato, Thomas Eiter & Luciano Serafini - 2018 - Artificial Intelligence 257 (C):72-126.details
|
|