4555 search results - page 38 / 911 » Deductive Algorithmic Knowledge |
FROCOS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
HIS
2008
13 years 11 months ago
2008
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...
STOC
2006
ACM
14 years 10 months ago
2006
ACM
DEXA
2004
Springer
14 years 3 months ago
2004
Springer
Reasoning in legal and social domains appears not to be well dealt with by deductive approaches. This is because such reasoning is open-endedly defeasible, and because the various ...
ESOP
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...