MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics

Artificial Intelligence 38 (3):257-318 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(89)90035-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bridging Theorem Proving and Mathematical Knowledge Retrieval.Christoph Benzmüller, Andreas Meier & Volker Sorge - 2004 - In Dieter Hutter (ed.), Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer. pp. 277-296.
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
Model for knowledge and legal expert systems.Anja Oskamp - 1992 - Artificial Intelligence and Law 1 (4):245-274.
Automatic theorem proving in set theory.D. Pastre - 1978 - Artificial Intelligence 10 (1):1-27.
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions.Dominique Snyers & André Thayse - 1987
Is Mathematics Problem Solving or Theorem Proving?Carlo Cellucci - 2017 - Foundations of Science 22 (1):183-199.
System Description: Analytica 2.Michael Kohlhase - unknown
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.Michael J. C. Gordon & Tom F. Melham - 1993
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
Theorem Proving in Higher Order Logics 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1998 : Proceedings'.Jim Grundy & Malcolm Newey - 1998 - Springer Verlag.
Theorem Proving in Higher Order Logics : Emerging Trends 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 ; Supplementary Proceedings'.Jim Grundy & Malcolm Charles Newey - 1998
Mathematical Reasoning with Diagrams: From Intuition to Automation.Mateja Jamnik - 2001 - Stanford Univ Center for the Study.
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings.Pierangelo Miglioli, Ugo Moscato, Daniele Mundici & Mario Ornaghi - 1996 - Springer Verlag.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,316,752)

6 months
5 (#637,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Meta-rules: Reasoning about control.Randall Davis - 1980 - Artificial Intelligence 15 (3):179-222.
The nature of heuristics.Douglas B. Lenat - 1982 - Artificial Intelligence 19 (2):189-249.

View all 19 references / Add more references