|
254
|
OTTER3.0 Reference Manual and Guide
– William W. McCune
- 1995
|
|
64
|
SEM: A System for Enumerating Models
– Jian Zhang, Hantao Zhang
- 1995
|
|
23
|
Automated Deduction in Equational Logic and Cubic Curves
– William McCune, R. Padmanabhan
- 1996
|
|
312
|
From Discourse to Logic: Introduction to Model Theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
– H Kamp, U Reyle
- 1993
|
|
54
|
Automated Reasoning and Exhaustive Search: Quasigroup Existence Problems
– John Slaney, Masayuki Fujita, Mark Stickel
- 1995
|
|
209
|
Presupposition Projection as Anaphora Resolution
– Rob A Van der Sandt
- 1992
|
|
265
|
Score Keeping in a Language Game
– D Lewis
- 1979
|
|
500
|
A theory of truth and semantic representation
– J A W Kamp
- 1981
|
|
73
|
Representation and Inference for Natural language - A First Course in . . .
– Patrick Blackburn, Johan Bos
- 1999
|
|
113
|
Solution of the Robbins Problem
– William Mccune
- 1997
|
|
23
|
A Fascinating Country in the World of Computing — Your Guide to Automated Reasoning, World Scientific
– L Wos, G W Pieper
- 1999
|
|
521
|
Interpretation as Abduction
– Jerry R. Hobbs, Mark Stickel, Paul Martin, Douglas Edwards
- 1990
|
|
20
|
Training Personal Robots Using Natural Language Instruction
– Stanislao Lauria, Guido Bugmann, Theocharis Kyriacou, Johan Bos, Ewan Klein
- 2001
|
|
8
|
An Inference-based Approach to Dialogue System Design
– Johan Bos, Tetsushi Oka
- 2002
|
|
171
|
An Open Agent Architecture
– Philip R. Cohen, Adam Cheyer, Michelle Wang, Soon Cheol Baeg
- 1994
|
|
87
|
A Davis-Putnam Program and its Application to Finite First-Order Model Search: Quasigroup Existence Problems
– William Mccune
- 1994
|
|
53
|
Automatic generation of some results in finite algebra
– M Fujita, J Slaney, F Bennett
- 1993
|
|
11
|
ModGen: Theorem Proving by Model Generation
– Sun Kim, Sun Kim Hantao
- 1994
|
|
2
|
Automatic symmetry breaking method combined with
– J Zhang
|
