324 search results - page 31 / 65 » Ways of grounding imagination |
COMPSAC
1996
IEEE
14 years 1 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
AAAI
2008
13 years 11 months ago
2008
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
LREC
2010
13 years 10 months ago
2010
We describe our computer-supported framework to overcome the rule of metadata schism. It combines the use of controlled vocabularies, managed by a data category registry, with a c...
FECS
2008
13 years 10 months ago
2008
- The choice of programming language, the approach by which students are taught and the software tools made available to students have been controversial issues in many ways. While...