895 search results - page 28 / 179 » A Spectrum of Applications of Automated Reasoning |
158
Voted
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
154
click to vote
LICS
2009
IEEE
15 years 12 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
140
click to vote
ECSQARU
2003
Springer
15 years 10 months ago
2003
Springer
An overview is provided of recent developments in the use of latent class (LC) models in social science research. Special attention is paid to the application of LC analysis as a f...
163
click to vote
ICCBR
2001
Springer
15 years 9 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...
137
click to vote
CADE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...