5506 search results - page 432 / 1102 » Minimal Logic Programs |
174
click to vote
ESWS
2005
Springer
16 years 10 days ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
177
click to vote
EUROPAR
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
185
click to vote
RISE
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
160
click to vote
GPEM
2006
15 years 6 months ago
2006
This paper presents a Genetic Programming (GP) approach to the design of Mathematical Morphology (MM) algorithms for binary images. The algorithms are constructed using logic opera...
189
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...