Sökning: id:"swepub:oai:research.chalmers.se:0ad17743-3a81-4e3f-877b-37a9f97c9b05" >
The TPTP typed firs...
The TPTP typed first-order form with arithmetic
-
- Sutcliffe, G. (författare)
- University of Miami
-
- Schulz, S. (författare)
- Technische Universität München (TUM),Technical University of Munich (TUM)
-
- Lindström Claessen, Koen, 1975 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Baumgartner, P. (författare)
- Australian National University
-
visa färre...
-
(creator_code:org_t)
- ISBN 9783642287169
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
- 2012
- Engelska.
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642287169 ; 7180, s. 406-419
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://research.cha...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- Theorem proving
- Automated theorem proving
- Artificial intelligence
- Automata theory
- First order logic
- First-order form
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas