Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

The TPTP Typed First-Order Form with Arithmetic

Simple item page
dc.contributor.authorSutcliffe, Geoff
dc.contributor.authorSchulz, Stephan
dc.contributor.authorClaessen, Koen
dc.contributor.authorBaumgartner, Peter
dc.coverage.spatialMerida Venezuela
dc.date.accessioned2015-12-10T23:16:32Z
dc.date.createdMarch 11-15 2012
dc.date.issued2012
dc.date.updated2016-06-14T09:02:13Z
dc.description.abstractThe TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logic, which in turn has enabled the integration of arithmetic. This paper describes these developments.
dc.identifier.isbn9783642287169
dc.identifier.urihttp://hdl.handle.net/1885/65107
dc.publisherSpringer
dc.relation.ispartofseriesInternational Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2012)
dc.subjectKeywords: Automated theorem proving; First order logic; First-order form; Artificial intelligence; Theorem proving; Automata theory
dc.titleThe TPTP Typed First-Order Form with Arithmetic
dc.typeConference paper
local.bibliographicCitation.lastpage419
local.bibliographicCitation.startpage406
local.contributor.affiliationSutcliffe, Geoff, University of Miami
local.contributor.affiliationSchulz, Stephan, Technische Universit¨at M¨unchen,
local.contributor.affiliationClaessen, Koen, Chalmers University
local.contributor.affiliationBaumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.authoruidBaumgartner, Peter, u1815000
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.absseo970101 - Expanding Knowledge in the Mathematical Sciences
local.identifier.ariespublicationu4334215xPUB1052
local.identifier.doi10.1007/978-3-642-28717-6_32
local.identifier.scopusID2-s2.0-84858328958
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Sutcliffe_The_TPTP_Typed_First-Order_2012.pdf
Size:
218.37 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS