769 search results - page 14 / 154 » Is Logic all in our Heads |
CCS
1999
ACM
15 years 5 months ago
1999
ACM
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...
103
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
131
click to vote
DRUMS
1998
Springer
15 years 5 months ago
1998
Springer
Autonomous robots need the ability to move purposefully and without human intervention in real-world environments that have not been speci cally engineered for them. These environm...
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
79
Voted
CORR
2008
Springer
15 years 23 days ago
2008
Springer
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relationa...