A Decidable First-Order Logic for Knowldge Representation

From Tetherless World Wiki

Jump to: navigation, search
 A Decidable First-Order Logic for Knowldge Representation
Has publishing details  6(4):361-388, 1990
Has title  A Decidable First-Order Logic for Knowldge Representation
Has where published  J. Autom. Reasoning
Has year  1990
Has author  Peter F. Patel-Schneider +
Has identifier  DBLP:journals/jar/Patel-Schneider90 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools