163 search results - page 22 / 33 » Higher-Order Logic and Theorem Proving for Structured Specif... |
142
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
123
Voted
CADE
1990
Springer
15 years 4 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
LPAR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
100
Voted
COLING
2002
15 years 17 days ago
2002
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dia...
106
Voted
ECAI
1992
Springer
15 years 4 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...