Works by Mirosław Truszczyński

( view other items matching `Mirosław Truszczyński`, view all matches )
4 found
Order:
  1.  4
    Uniform semantic treatment of default and autoepistemic logics.Marc Denecker, Victor W. Marek & Mirosław Truszczyński - 2003 - Artificial Intelligence 143 (1):79-122.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  4
    Minimal knowledge problem: A new approach.Grigori Schwarz & Mirosław Truszczyński - 1994 - Artificial Intelligence 67 (1):113-141.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  6
    Computing with default logic.Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński & Artur Mikitiuk - 1999 - Artificial Intelligence 112 (1-2):105-146.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  3
    Annotated revision programs.Victor Marek, Inna Pivkina & Mirosław Truszczyński - 2002 - Artificial Intelligence 138 (1-2):149-180.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation