1917 search results - page 51 / 384 » Experimenting with Nonmonotonic Reasoning |
LWA
2007
13 years 11 months ago
2007
We propose SEASALT, an architecture based on the CoMES approach on developing collaborative multi-expert-systems using case-based reasoning and software agents technology. SEASALT...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed the experiments in proof assistant Coq that are reported here.
IE
2007
13 years 11 months ago
2007
The telling and understanding of stories is a universal part of human experience. If we could reproduce even part of the process inside a computer, it could expand the possibiliti...
SIGCSE
1997
ACM
14 years 2 months ago
1997
ACM
This paper describes our experiences incorporating Java in a Data Structures course. We describe the features of Java that made for a more interesting course, the difficulties tha...
LOPSTR
2009
Springer
14 years 4 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...