1128 search results - page 40 / 226 » Classical Natural Deduction |
IUI
2011
ACM
13 years 23 days ago
2011
ACM
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...
CG
2010
Springer
13 years 10 months ago
2010
Springer
Interacting populations exhibit complex behavior in nature. Classic quadratic iteration models with two or three populations exhibit some of the features seen in nature, but fail ...
APLAS
2005
ACM
14 years 3 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
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...