Switch to: References

Add citations

You must login to add citations.
  1. Ontological modelling of form and function for architectural design.Mehul Bhatt, Joana Hois & Oliver Kutz - 2012 - Applied ontology 7 (3):233-267.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Knowing-how under uncertainty.Pavel Naumov & Jia Tao - 2019 - Artificial Intelligence 276 (C):41-56.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
    In [14], we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces. [13] gave an axiomatisation of an expressive and decidable metric logic. The main result of this paper is in showing that the technique of representing metric spaces by means of Kripke frames can be extended to cover the modal (hybrid) language that is expressively complete over metric spaces for the (undecidable) two-variable fragment of first-order logic with binary pred-icates interpreting the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • -Connections of abstract description systems.Oliver Kutz, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Artificial Intelligence 156 (1):1-73.
    Download  
     
    Export citation  
     
    Bookmark   7 citations