Works by Thayse, André (exact spelling)

( view other items matching `Thayse, André`, view all matches )
Order:
  1.  6
    From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
    Logic; Predicate calculus; Axiomatic systems; Knowledge representation and reasoning; Logic and revisable reasoning; Formal grammars and logic programming; Prolog and logic programming.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  26
    Reply to Bringsjord and Ferrucci.André Thayse - 1998 - Minds and Machines 8 (2):311-312.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation