143 search results - page 6 / 29 » An axiomatic approach to algebrization |
MSS
2008
IEEE
13 years 7 months ago
2008
IEEE
An individual is asked to assess a real-valued variable y based on certain characteristics x=(x1 ,..., xm ), and on a database consisting of n observations of (x1 ,..., xm , y). A...
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
AI
2011
Springer
13 years 2 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
AISC
2008
Springer
13 years 9 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
ACL
1990
13 years 8 months ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...