Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph

Managing Knowledge in a World of Networks - Lecture Notes in Computer Science ◽

10.1007/11891451_4 ◽

2006 ◽

pp. 19-26 ◽

Author(s):

Peter M. D. Gray ◽

Graham J. L. Kemp

Download Full-text