3342 search results - page 371 / 669 » Automating Abstract Interpretation |
120
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
133
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
128
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
138
Voted
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
112
Voted
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Information retrieval can contribute towards the construction of ontologies and the effective usage of ontologies. We use collocation-based keyword extraction to suggest ...