895 search results - page 50 / 179 » A Spectrum of Applications of Automated Reasoning |
168
Voted
ASP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
149
Voted
ILP
2005
Springer
15 years 10 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
151
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
141
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...
237
Voted
GIS
2006
ACM
16 years 5 months ago
2006
ACM
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision-making, reasoning, and analysis. Raw input about un...