654 search results - page 93 / 131 » Graph-based Knowledge Representation and Reasoning |
CSL
2006
Springer
15 years 3 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...
109
click to vote
ICLP
2010
Springer
15 years 3 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...
ITS
2000
Springer
15 years 3 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...
ISBI
2002
IEEE
16 years 15 days 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...
JELIA
2004
Springer
15 years 5 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...