Automatic Proofs and Counterexamples for Some Ortholattice Identities (1998)

Cached

Download Links

by William Mccune
Venue:Information Processing Letters
Citations:22 - 2 self

Documents Related by Co-Citation

294 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
72 SEM: A System for Enumerating Models – Jian Zhang, Hantao Zhang - 1995
384 From Discourse to Logic. Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory – H Kamp, U Reyle - 1993
267 Presupposition projection as anaphora resolution – R A van der Sandt - 1992
86 Representation and Inference for Natural language - A First Course in . . . – Patrick Blackburn, Johan Bos - 1999
27 Automated Deduction in Equational Logic and Cubic Curves – William McCune, R. Padmanabhan - 1996
56 Automated Reasoning and Exhaustive Search: Quasigroup Existence Problems – John Slaney, Masayuki Fujita, Mark Stickel - 1995
347 Scorekeeping in a Language Game – David Lewis - 1979
578 A theory of truth and semantic representation – H Kamp - 1984
586 Interpretation as Abduction – Jerry R. Hobbs, Mark Stickel, Paul Martin, Douglas Edwards - 1990
9 An inferencebased approach to dialogue system design – Johan Bos, Tetsushi Oka - 2002
23 Training Personal Robots Using Natural Language Instruction – Stanislao Lauria, Guido Bugmann, Theocharis Kyriacou, Johan Bos, Ewan Klein - 2001
184 An Open Agent Architecture – Philip R. Cohen, Adam Cheyer, Michelle Wang, Soon Cheol Baeg - 1994
95 A Davis-Putnam Program and its Application to Finite First-Order Model Search: Quasigroup Existence Problems – William Mccune - 1994
2 Automatic symmetry breaking method combined with – J Zhang
53 Automatic generation of some results in finite algebra – Masayuki Fujita, John Slaney, Frank Bennett - 1993
14 ModGen: Theorem Proving by Model Generation – Sun Kim, Sun Kim Hantao - 1994
36 System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving – Andreas Franke, Michael Kohlhase - 1999
32 FDPLL – A First-Order Davis-Putnam-Logeman-Loveland Procedure – Peter Baumgartner - 2000