3385 search results - page 426 / 677 » Language, Logic, and the Brain |
208
click to vote
DOOD
1991
Springer
15 years 10 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
178
click to vote
DLOG
2008
15 years 9 months ago
2008
The paper addresses the problem of explaining some reasoning tasks associated with the DL-Lite Description Logic. Because of the simplicity of the language, standard concept level ...
186
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
155
click to vote
FOIS
2010
15 years 8 months ago
2010
Considerations regarding predication in ordinary language as well as the ontology of relations suggest a refinement of the Ontological Square, a conceptual scheme used in many foun...
116
click to vote
SWAP
2008
15 years 8 months ago
2008
Abstract. Core Competence evaluation is crucial for strategical choices in knowledge intensive companies. Such a process is usually manually performed by the management on the basi...