2148 search results - page 21 / 430 » From process logic to program logic |
TCS
2002
13 years 8 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
EACL
1989
ACL Anthology
13 years 10 months ago
1989
ACL Anthology
JMLR
2006
13 years 9 months ago
2006
In this paper, we propose a new representation for physical control
ICANN
2010
Springer
13 years 10 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
ESOP
1999
Springer
14 years 1 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...