Switch to: References

Add citations

You must login to add citations.
  1. Fixed point semantics for stream reasoning.Christian Antić - 2020 - Artificial Intelligence 288 (C):103370.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Evaluating epistemic negation in answer set programming.Yi-Dong Shen & Thomas Eiter - 2016 - Artificial Intelligence 237 (C):115-135.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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.
    In the context of the emerging Semantic Web and the quest for a common logical framework underpinning its architecture, the relation of rule-based languages such as Answer Set Programming (ASP) and ontology languages such as the Web Ontology Language (OWL) has attracted a lot of attention in the literature over the past years. With its roots in Deductive Databases and Datalog though, ASP shares much more commonality with another Semantic Web standard, namely the Simple Protocol and RDF Query Language (SPARQL). (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    dynamic ontologies must be inferred and populated in part from the reference corpora themselves, but ontological rela-.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Data repair of inconsistent nonmonotonic description logic programs.Thomas Eiter, Michael Fink & Daria Stepanova - 2016 - Artificial Intelligence 239 (C):7-53.
    Download  
     
    Export citation  
     
    Bookmark  
  • Domain expansion for ASP-programs with external sources.Thomas Eiter, Michael Fink, Thomas Krennwallner & Christoph Redl - 2016 - Artificial Intelligence 233 (C):84-121.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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.
    This paper arose out of the 2017 international conference on AI and law doctoral consortium. There were five students who presented their Ph.D. work, and each of them has contributed a section to this paper. The paper offers a view of what topics are currently engaging students, and shows the diversity of their interests and influences.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Loop-separable programs and their first-order definability.Yin Chen, Fangzhen Lin, Yan Zhang & Yi Zhou - 2011 - Artificial Intelligence 175 (3-4):890-913.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Datalog rewritability and data complexity of ALCHOIQ with closed predicates.Sanja Lukumbuzya, Magdalena Ortiz & Mantas Šimkus - 2024 - Artificial Intelligence 330 (C):104099.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Determining inference semantics for disjunctive logic programs.Yi-Dong Shen & Thomas Eiter - 2019 - Artificial Intelligence 277 (C):103165.
    Download  
     
    Export citation  
     
    Bookmark  
  • Enhancing context knowledge repositories with justifiable exceptions.Loris Bozzato, Thomas Eiter & Luciano Serafini - 2018 - Artificial Intelligence 257 (C):72-126.
    Download  
     
    Export citation  
     
    Bookmark   1 citation