3552 search results - page 338 / 711 » Proof theory in the abstract |
255
click to vote
DALT
2010
Springer
15 years 1 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
186
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. In this note, we present a method for flattening anatomical surfaces such as branched vessels and intestinal tracts in an areapreserving way. This method is based on the ...
156
Voted
CHI
2004
ACM
16 years 7 months ago
2004
ACM
, K. (2004) 'Ensemble': playing with sensors and sound. Extended abstracts of CHI 2004. Vienna, Austria, ACM Press. BAGNARA, S. & SMITH, G. C. (2005) Theories and pra...
173
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
171
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...