Results 251 to 260 of about 138,341 (311)
Some of the next articles are maybe not open access.
An integration of deductive retrieval into deductive synthesis
14th IEEE International Conference on Automated Software Engineering, 2003Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of correct programs. In this paper, we describe an integration of both methods which combines their complementary benefits and alleviates some of their drawbacks.
Bernd Fischer 0002, Jon Whittle 0001
openaire +1 more source
2001
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity has a strong impact on the feasibility of any theorem prover for computational semantics.
Monz, C., de Rijke, M.
openaire +2 more sources
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity has a strong impact on the feasibility of any theorem prover for computational semantics.
Monz, C., de Rijke, M.
openaire +2 more sources
WIREs Cognitive Science, 1999
AbstractThis article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectivesif, or, andand. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains.
openaire +3 more sources
AbstractThis article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectivesif, or, andand. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains.
openaire +3 more sources