543 search results - page 59 / 109 » A Theory of the Quasi-Static World |
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a n...
CIE
2008
Springer
14 years 11 months ago
2008
Springer
The first extensive number-theoretical computation run on the world's first U.S. digital general-purpose electronic computer, the ENIAC, is reconstructed. The problem, computi...
107
click to vote
DALT
2007
Springer
14 years 11 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
AAAI
2010
14 years 11 months ago
2010
As autonomous agents proliferate in the real world, both in software and robotic settings, they will increasingly need to band together for cooperative activities with previously ...
FOIS
2010
14 years 11 months ago
2010
In a series of publications, we have employed ontological theories and principles used to evaluate and improve the quality of conceptual modeling grammars and models. In this artic...