279 search results - page 44 / 56 » Computing Intersections of Horn Theories for Reasoning with ... |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. We present a framework for mod...
IFM
2007
Springer
14 years 1 months ago
2007
Springer
Development of computerized embedded control systems is diļ¬cult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
ML
2006
ACM
13 years 7 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...