3333 search results - page 232 / 667 » Abstract Proof Search |
162
click to vote
NIPS
2008
15 years 7 months ago
2008
In this theoretical contribution we provide mathematical proof that two of the most important classes of network learning - correlation-based differential Hebbian learning and rew...
160
click to vote
COMMA
2006
15 years 7 months ago
2006
Abstract. This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is ...
165
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
157
click to vote
JFPLC
2000
15 years 6 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
143
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...