2291 search results - page 67 / 459 » Representational Reasoning and Verification |
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
TIME
1999
IEEE
14 years 1 months ago
1999
IEEE
In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities, in order to ha...
KR
2000
Springer
14 years 13 days ago
2000
Springer
We address the experiences of the DARPA High Performance Knowledge Bases (HPKB) (Cohen et al., 1998) project in practical knowledge representation. The purpose of the HPKB project...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
IJCAI
1989
13 years 10 months ago
1989
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...