107 search results - page 3 / 22 » Reducing Propositional Theories in Equilibrium Logic to Logi... |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
JELIA
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
JANCL
2006
13 years 4 months ago
2006
ICFP
2012
ACM
11 years 7 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
APIN
2010
13 years 4 months ago
2010
Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis prob...