3776 search results - page 385 / 756 » Partition-Based Logical Reasoning |
134
click to vote
AGI
2008
15 years 6 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
129
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
118
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...
170
Voted
MATES
2005
Springer
15 years 10 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
121
Voted
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...