838 search results - page 16 / 168 » From Natural Language to Formal Proof Goal |
ENTCS
2011
13 years 2 months ago
2011
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attentio...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
LICS
1991
IEEE
13 years 11 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...