- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Agent based Mathematical Reasoning
Electronic Notes in Theoretical Computer Science, Elsevier 23 (3):21-33 (1999)
Abstract
In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Combined reasoning by automated cooperation.Christoph Benzmüller, Volker Sorge, Mateja Jamnik & Manfred Kerber - 2008 - Journal of Applied Logic 6 (3):318-342.
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
Omega.Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet & Jörg Siekmann - 2006 - In Freek Wiedijk (ed.), The Seventeen Provers of the World. Springer. pp. 127-141.
Editorial: Towards Computer Aided Mathematics.Christoph Benzmüller - 2006 - Journal of Applied Logic 4 (4):359-365.
Proof Development in OMEGA: The Irrationality of Square Root of 2.Siekmann Jörg, Benzmüller Christoph, Fiedler Armin, Meier Andreas, Normann Immanuel & Pollet Martin - 2003 - In Fairouz Kamareddine (ed.), Thirty Five Years of Automating Mathematics. Kluwer Academic Publishers. pp. 271-314.
Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
Integrating TPS and OMEGA.Christoph Benzmüller, Matt Bishop & Volker Sorge - 1999 - Journal of Universal Computer Science 5 (3):188-207.
Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega.Serge Autexier, Christoph Benzmüller, Dominik Dietrich & Marc Wagner - 2008 - Mathematics in Computer Science 2 (2):253-277.
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.
PLATO: A Mediator between Text-Editors and Proof Assistance Systems.Wagner Marc, Autexier Serge & Benzmüller Christoph - 2007 - Electronic Notes in Theoretical Computer Science 174 (2):87-107.
Interactive Theorem Proving with Tasks.Malte Hübner, Serge Autexier, Christoph Benzmüller & Andreas Meier - 2004 - Electronic Notes in Theoretical Computer Science 103 (C):161-181.
Analytics
Added to PP
2017-12-04
Downloads
18 (#811,325)
6 months
4 (#790,687)
2017-12-04
Downloads
18 (#811,325)
6 months
4 (#790,687)
Historical graph of downloads
Author's Profile
Citations of this work
The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding.Sven Delarivière & Bart Van Kerkhove - 2017 - In B. Sriraman (ed.), Humanizing Mathematics and its Philosophy. Birkhäuser. pp. 173-198.
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo