3385 search results - page 611 / 677 » Language, Logic, and the Brain |
158
click to vote
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
189
Voted
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
244
click to vote
ILP
2007
Springer
16 years 27 days ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
211
click to vote
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
198
click to vote
MIDDLEWARE
2007
Springer
16 years 27 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...