MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Suda, Martin
Sutcliffe, Geoff
Wischnewski, Patrick
Lamotte-Schubert, Manuel
de Melo, Gerard
dblp
dblp
dblp
dblp
dblp
Not MPG Author(s):
Sutcliffe, Geoff
Editor(s):
Mertsching, Bärbel
Hund, Marcus
Aziz, Zaheer
dblp
dblp
dblp
Not MPII Editor(s):
Mertsching, Bärbel
Hund, Marcus
Aziz, Zaheer
BibTeX cite key*:
SudaSutcliffeWischnewskiLamotteKI2009
Title, Booktitle
Title*:
External Sources of Axioms in Automated Theorem Proving
ki2009.pdf (167.33 KB)
Booktitle*:
KI 2009: Advances in Artificial Intelligence
Event, URLs
Conference URL::
Downloading URL:
http://dx.doi.org/10.1007/978-3-642-04617-9_36
Event Address*:
Paderborn, Germany
Language:
English
Event Date*
(no longer used):
October 27-28
Organization:
Event Start Date:
15 September 2009
Event End Date:
18 September 2009
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
5803
Number:
Month:
September
Pages:
281-288
Year*:
2009
VG Wort Pages:
ISBN/ISSN:
978-3-642-04616-2
Sequence Number:
DOI:
10.1007/978-3-642-04617-9_36
Note, Abstract, ©
(LaTeX) Abstract:
In recent years there has been a growing demand for Automated
Theorem Proving (ATP) in large theories, which often have more
axioms than can be handled effectively as normal internal axioms. This
work addresses the issues of accessing \emph{external sources of axioms} from a
first-order logic ATP system, and presents an implemented ATP system
that retrieves external axioms asynchronously, on demand.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Automation of Logic
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{SudaSutcliffeWischnewskiLamotteKI2009,
AUTHOR = {Suda, Martin and Sutcliffe, Geoff and Wischnewski, Patrick and Lamotte-Schubert, Manuel and de Melo, Gerard},
EDITOR = {Mertsching, B{\"a}rbel and Hund, Marcus and Aziz, Zaheer},
TITLE = {External Sources of Axioms in Automated Theorem Proving},
BOOKTITLE = {KI 2009: Advances in Artificial Intelligence},
PUBLISHER = {Springer},
YEAR = {2009},
VOLUME = {5803},
PAGES = {281--288},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Paderborn, Germany},
MONTH = {September},
ISBN = {978-3-642-04616-2},
DOI = {10.1007/978-3-642-04617-9_36},
}


Entry last modified by Anja Becker, 04/10/2013
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
02/01/2010 08:40:40 AM
Revisions
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Manuel Lamotte-Schubert
Manuel Lamotte-Schubert
Edit Dates
10.04.2013 08:51:12
25.03.2010 13:39:04
01.02.2010 08:53:55
01.02.2010 08:52:48