Switch to: References

Add citations

You must login to add citations.
  1. Involving cognitive science in model transformation for description logics.Willi Hieke, Sarah Schwöbel & Michael N. Smolka - forthcoming - Logic Journal of the IGPL.
    Knowledge representation and reasoning (KRR) is a fundamental area in artificial intelligence (AI) research, focusing on encoding world knowledge as logical formulae in ontologies. This formalism enables logic-based AI systems to deduce new insights from existing knowledge. Within KRR, description logics (DLs) are a prominent family of languages to represent knowledge formally. They are decidable fragments of first-order logic, and their models can be visualized as edge- and vertex-labeled directed binary graphs. DLs facilitate various reasoning tasks, including checking the satisfiability (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On the limits of forgetting in Answer Set Programming.Ricardo Gonçalves, Matthias Knorr, João Leite & Stefan Woltran - 2020 - Artificial Intelligence 286 (C):103307.
    Download  
     
    Export citation  
     
    Bookmark  
  • Knowledge base exchange: The case of OWL 2 QL.Marcelo Arenas, Elena Botoeva, Diego Calvanese & Vladislav Ryzhikov - 2016 - Artificial Intelligence 238 (C):11-62.
    Download  
     
    Export citation  
     
    Bookmark   1 citation