8766 search results - page 400 / 1754 » Functional logic programming |
143
Voted
STACS
1999
Springer
15 years 7 months ago
1999
Springer
The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of str...
116
Voted
ISCAS
1999
IEEE
15 years 7 months ago
1999
IEEE
Current mode (ECL) logic has long been the option of choice in those applications requiring logic functions at multigigahertz rates. This trend continues despite the obvious very ...
130
Voted
EACL
1993
ACL Anthology
15 years 4 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
128
Voted
FLAIRS
2008
15 years 5 months ago
2008
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
138
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...