8337 search results - page 1221 / 1668 » Reasoning With Characteristic Models |
188
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...
165
click to vote
ISIPTA
2005
IEEE
16 years 13 days ago
2005
IEEE
A Chaotic Probability model is a usual set of probability measures, M, the totality of which is endowed with an objective, frequentist interpretation as opposed to being viewed as...
215
click to vote
HASKELL
2005
ACM
16 years 12 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
191
click to vote
CSL
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
227
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...