網路論壇
登入
網路論壇
TPTP World
會話群組
關於
提供意見
說明
TPTP World
聯絡版主和管理員
第 1 - 16 個,共有 16 個
Welcome to the TPTP World Google Group, an email list and discussion of the TPTP World - see
www.TPTP.org
.
全部標示為已讀取
檢舉群組
已選取 0 列
Geoff Sutcliffe
2
4月1日
CASC-J12
------------------------------------------------------------------------------- CASC-J12 - The CADE
未讀,
CASC-J12
------------------------------------------------------------------------------- CASC-J12 - The CADE
4月1日
Geoff Sutcliffe
2
2023/5/1
The 2023 TPTP Tea Party - a COST EuroProofNet WG2 event
Hi TPTP World, Just a reminder that if you would like to participate the 2023 TPTP Tea Party, and if
未讀,
The 2023 TPTP Tea Party - a COST EuroProofNet WG2 event
Hi TPTP World, Just a reminder that if you would like to participate the 2023 TPTP Tea Party, and if
2023/5/1
Geoff Sutcliffe
2023/2/8
CASC-29 - The CADE-29 ATP System Competition
CASC-29 - The CADE ATP System Competition to be held at The 29th International Conference on
未讀,
CASC-29 - The CADE-29 ATP System Competition
CASC-29 - The CADE ATP System Competition to be held at The 29th International Conference on
2023/2/8
Geoff Sutcliffe
2022/11/17
Support for the TPTP World
Hi TPTP Users, It's coming to the end of the year, and last year I learned that people sometimes
未讀,
Support for the TPTP World
Hi TPTP Users, It's coming to the end of the year, and last year I learned that people sometimes
2022/11/17
Geoff Sutcliffe
, …
Martin Suda
4
2022/10/31
Natural numbers in the TPTP
Hi Martin, > My opinion is that for the modeling purposes, using just $int and adding "X >
未讀,
Natural numbers in the TPTP
Hi Martin, > My opinion is that for the modeling purposes, using just $int and adding "X >
2022/10/31
Geoff Sutcliffe
2
2022/10/17
TPTP v8.1.1
Hi TPTP Users, I found some mistakes and omissions in the Documents of TPTP v8.1.1. I have fixed
未讀,
TPTP v8.1.1
Hi TPTP Users, I found some mistakes and omissions in the Documents of TPTP v8.1.1. I have fixed
2022/10/17
Geoff Sutcliffe
2022/8/9
TPTP v8.1.0
================================================================================ The TPTP Problem
未讀,
TPTP v8.1.0
================================================================================ The TPTP Problem
2022/8/9
Geoff Sutcliffe
2022/8/9
CASC-J11 - the 11th IJCAR ATP System Competition
Hi TPTP World! The 11th IJCAR ATP System Competition, CASC-J11, is running live. See the evolving
未讀,
CASC-J11 - the 11th IJCAR ATP System Competition
Hi TPTP World! The 11th IJCAR ATP System Competition, CASC-J11, is running live. See the evolving
2022/8/9
Geoff Sutcliffe
2022/4/25
TPTP v8.0.0
================================================================================ The TPTP Problem
未讀,
TPTP v8.0.0
================================================================================ The TPTP Problem
2022/4/25
Michael Rawson
, …
Geoff Sutcliffe
7
2022/1/10
TPTP <comment>s: a minor proposal
Hi all, Having comments between tokens is easy if you just show them away, or at least don't need
未讀,
TPTP <comment>s: a minor proposal
Hi all, Having comments between tokens is easy if you just show them away, or at least don't need
2022/1/10
Geoff Sutcliffe
2
2021/12/9
The 11th TPTP Tea Party
Hi everyone, especially those who attended this morning, I have added the Zoom video and chat
未讀,
The 11th TPTP Tea Party
Hi everyone, especially those who attended this morning, I have added the Zoom video and chat
2021/12/9
Geoff Sutcliffe
2021/11/8
CASC-28 talk this Friday, in Zoom
Hi TPTP World, I will be giving a 45 minute talk about the design, organization, and results of CASC-
未讀,
CASC-28 talk this Friday, in Zoom
Hi TPTP World, I will be giving a 45 minute talk about the design, organization, and results of CASC-
2021/11/8
Geoff Sutcliffe
,
Alexander Steen
3
2021/9/17
Non-classical Logic in the TPTP
Hi People in the TPTP World, A while back I sent out an email to people who I know are interested in
未讀,
Non-classical Logic in the TPTP
Hi People in the TPTP World, A while back I sent out an email to people who I know are interested in
2021/9/17
Geoff Sutcliffe
, …
Michael Rawson
4
2021/7/16
Techniques and Standards for Evaluating ATP Techniques and Implementations
Hi all, Thanks for your input and support! I've made https://docs.google.com/document/d/
未讀,
Techniques and Standards for Evaluating ATP Techniques and Implementations
Hi all, Thanks for your input and support! I've made https://docs.google.com/document/d/
2021/7/16
Geoff Sutcliffe
2021/7/13
TPTP v7.5.0
================================================================================ The TPTP Problem
未讀,
TPTP v7.5.0
================================================================================ The TPTP Problem
2021/7/13
Geoff Sutcliffe
2
2021/6/12
Expansion and Modernisation of the TPTP World
Hi all, Sadly, the NSF has declined this proposal. This decision will have a downstream impact on
未讀,
Expansion and Modernisation of the TPTP World
Hi all, Sadly, the NSF has declined this proposal. This decision will have a downstream impact on
2021/6/12