The TPTP World ΓÇô Infrastructure for Automated Reasoning

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=7YClggl44Fk


Duration: 1:01:24
3,765 views
10

The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems for classical logics. The data, standards, and services provided by the TPTP World have made it increasingly easy to build, test, and apply ATP technology. This talk reviews the core features of the TPTP World, describes key service components of the TPTP World, presents some successful applications, and gives an overview of the most recent developments.



Other Videos By Microsoft Research


2016-08-16Applications 4
2016-08-16CFA2: Pushdown Flow Analysis for Higher-Order Languages
2016-08-16High-Throughput Data-Intensive Computing: Shared-Scan Scheduling in Scientific Databases & the Cloud
2016-08-16Grace: a new object-oriented educational programming language
2016-08-16Extreme Learning Machine: Why Tuning Is Not Required in Learning?
2016-08-16Systems 3
2016-08-16Security and Software Development
2016-08-16Identifying Peer Effects through Randomized Trials in Networks
2016-08-16Social networks, institutions, and the process of globalization
2016-08-16Keynote - Inside Windows Azure, MicrosoftΓÇÖs Cloud OS
2016-08-16The TPTP World ΓÇô Infrastructure for Automated Reasoning
2016-08-16Competitive Contagion in Networks
2016-08-16Mini-course around Event-B and Rodin, lecture 2
2016-08-16Applications 2
2016-08-16Coming to Grips with Complexity in Computer-Aided Verification
2016-08-16Mini-course around Event-B and Rodin
2016-08-16Frenetic: A Network Programming Language
2016-08-16Applications 3
2016-08-16Co-opetition in network tasks
2016-08-16Phase Transitions for Modified Erdos-Renyi Processes
2016-08-16Applications 1


Tags:
microsoft research