3931 search results - page 374 / 787 » Separation logic and abstraction |
150
click to vote
ILP
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
161
click to vote
SEMWEB
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies...
170
click to vote
CP
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
143
click to vote
DALT
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
171
click to vote
ECAI
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...