654 search results - page 93 / 131 » Graph-based Knowledge Representation and Reasoning |
112
click to vote
CSL
2006
Springer
15 years 5 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
131
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
112
click to vote
ITS
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
101
click to vote
ISBI
2002
IEEE
16 years 2 months ago
2002
IEEE
We present a method to detect vessels in images of the retina. Instead of relying on pixel classification, as many detection algorithms do, we propose a more natural representatio...
115
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...