Switch to: References

Add citations

You must login to add citations.
  1. A typed resolution principle for deduction with conditional typing theory.Tie-Cheng Wang - 1995 - Artificial Intelligence 75 (2):161-194.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Kernel functions for case-based planning.Ivan Serina - 2010 - Artificial Intelligence 174 (16-17):1369-1406.
  • A semantic backward chaining proof system.Xumin Nie & David A. Plaisted - 1992 - Artificial Intelligence 55 (1):109-128.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Order-sorted logic programming with predicate hierarchy.Ken Kaneiwa - 2004 - Artificial Intelligence 158 (2):155-188.
  • The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning.Alan M. Frisch - 1991 - Artificial Intelligence 49 (1-3):161-198.
  • An order-sorted logic for knowledge representation systems.C. Beierle, U. Hedtstück, U. Pletat, P. H. Schmitt & J. Siekmann - 1992 - Artificial Intelligence 55 (2-3):149-191.
  • A Plea for Automated Language-to-Logical-Form Converters.Joseph S. Fulda - 2006 - RASK 24:87-102.
    This has been made available gratis by the publisher. -/- This piece gives the raison d'etre for the development of the converters mentioned in the title. Three reasons are given, one linguistic, one philosophical, and one practical. It is suggested that at least /two/ independent converters are needed. -/- This piece ties together the extended paper "Abstracts from Logical Form I/II," and the short piece providing the comprehensive theory alluded to in the abstract of that extended paper in "Pragmatics, Montague, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations