540 search results - page 9 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
ENTCS
2008
13 years 8 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
LOGCOM
2000
13 years 8 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...
ERCIMDL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
SOFSEM
2010
Springer
14 years 5 months ago
2010
Springer
Knowledge representation and reasoning so far have focused on the ideal ultimate goal, thus stressing logical consistency and semantic homogeneity. On the way to consistent and hom...
ALP
1997
Springer
14 years 22 days ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...