713 search results - page 44 / 143 » Reasoning with Projected Contours |
ECSQARU
1999
Springer
14 years 2 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
DLOG
2001
13 years 11 months ago
2001
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on t...
MSR
2010
ACM
14 years 3 months ago
2010
ACM
Abstract—In Open Source System (OSS) development, software components are often imported and reused; for this reason we might expect that files are copied in multiple projects (...
ECIS
2004
13 years 11 months ago
2004
This case study analyses a multiyear ERP (SAP R/3) implementation project in a global company from perspectives of conflicts and problems the project faced. The paper reports on t...