540 search results - page 19 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
109
click to vote
EPIA
2007
Springer
15 years 6 months ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
141
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
117
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
85
Voted
ARTMED
2006
15 years 12 days ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
130
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...