3776 search results - page 487 / 756 » Partition-Based Logical Reasoning |
129
Voted
DLOG
2003
15 years 3 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
109
Voted
AGP
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
110
Voted
LOGCOM
2000
15 years 2 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
131
click to vote
AI
2007
Springer
15 years 2 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
118
Voted
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...