1143 search results - page 141 / 229 » Abstract Syntax and Logic Programming |
139
click to vote
SIGOPSE
1998
ACM
15 years 6 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...
215
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
101
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toyproblems, such as cryptarithmetic, games, such ...
120
Voted
JAR
2010
15 years 28 days ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
119
click to vote
EACL
1993
ACL Anthology
15 years 3 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...