4 found
Order:
  1.  35
    Interpolation and Definability in Abstract Logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
    A semantical definition of abstract logics is given. It is shown that the Craig interpolation property implies the Beth definability property, and that the Souslin-Kleene interpolation property implies the weak Beth definability property. An example is given, showing that Beth does not imply Souslin-Kleene.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Proceedings From 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979.Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) - 1979 - Distruberet Af Aalborg Universitetsforlag.
  3. Lazy Propagation: A Junction Tree Inference Algorithm Based on Lazy Evaluation.Anders L. Madsen & Finn V. Jensen - 1999 - Artificial Intelligence 113 (1-2):203-245.
  4. Learning a Decision Maker's Utility Function From (Possibly) Inconsistent Behavior.Thomas D. Nielsen & Finn V. Jensen - 2004 - Artificial Intelligence 160 (1-2):53-78.