540 search results - page 91 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
126
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
142
Voted
SPATIALCOGNITION
2000
Springer
15 years 4 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
119
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
115
Voted
AO
2006
15 years 20 days ago
2006
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
116
Voted
GROUP
2009
ACM
15 years 7 months ago
2009
ACM
Our study on a community of knowledge management (KM) practitioners in the aerospace industry reveals challenges in the dissemination of KM concepts and tools. In this paper, we i...