Works by Teodor Przymusinski

( view other items matching `Teodor Przymusinski`, view all matches )
8 found
Order:
Disambiguations
Teodor C. Przymusinski [7]Teodor Przymusinski [2]
  1.  17
    On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2.  17
    An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  14
    Three-valued nonmonotonic formalisms and semantics of logic programs.Teodor Przymusinski - 1991 - Artificial Intelligence 49 (1-3):309-343.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  13
    LUPS—A language for updating logic programs.José Júlio Alferes, Luı́s Moniz Pereira, Halina Przymusinska & Teodor C. Przymusinski - 2002 - Artificial Intelligence 138 (1-2):87-116.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  13
    Computation of the semantics of autoepistemic belief theories.Stefan Brass, Jürgen Dix & Teodor C. Przymusinski - 1999 - Artificial Intelligence 112 (1-2):233-250.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  23
    Autoepistemic logic of knowledge and beliefs.Teodor C. Przymusinski - 1997 - Artificial Intelligence 95 (1):115-154.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers'. [REVIEW]Jürgen Dix, Luís Moniz Pereira & Teodor C. Przymusinski - 2001 - Studia Logica 68 (2):299-300.
     
    Export citation  
     
    Bookmark  
  8. Non-Monotonic Extensions of Logic Programming 2nd International Workshop, Nmelp '96, Bad Honnef, Germany, September 5-6, 1996 : Selected Papers'.J. Dix, Luís Moniz Pereira & Teodor C. Przymusinski - 1997
     
    Export citation  
     
    Bookmark