Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph.
Peter M. D. GrayGraham J. L. KempPublished in: EKAW (2006)
Keyphrases
- graph theory
- structured data
- human computer interaction
- first order logic
- search algorithm
- knowledge representation
- planar graphs
- user interaction
- connected components
- geometric constraints
- global constraints
- universally quantified
- artificial intelligence
- graph based algorithm
- protein interaction
- linear constraints
- graph model
- directed graph
- random walk
- optimal solution
- image segmentation