2672 search results - page 361 / 535 » Hybridizing Concept Languages |
NMR
2004
Springer
14 years 3 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
ESWS
2010
Springer
14 years 3 months ago
2010
Springer
In this paper we build on our methodology for combining and selecting alignment techniques for vocabularies, with two alignment case studies of large vocabularies in two languages....
IJCNN
2000
IEEE
14 years 2 months ago
2000
IEEE
: Conventional hardware platforms are far from reaching real-time simulation requirements of complex spiking neural networks (SNN). Therefore we designed an accelerator board with ...
ACSE
2000
ACM
14 years 2 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
LPNMR
1993
Springer
14 years 2 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...