Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
0805.3521
Cited By
v1
v2
v3
v4 (latest)
Towards applied theories based on computability logic
Journal of Symbolic Logic (JSL) (JSL), 2008
22 May 2008
G. Japaridze
AI4CE
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Towards applied theories based on computability logic"
7 / 7 papers shown
Implementing Agent-Based Systems via Computability Logic CL2
Keehang Kwon
37
0
0
18 Oct 2020
Agent-Based Proof Design via Lemma Flow Diagram
Keehang Kwon
Dae-Seong Kang
26
0
0
03 Feb 2020
Towards Distributed Logic Programming based on Computability Logic
Keehang Kwon
AI4CE
LRM
78
1
0
16 Sep 2019
Extending and Automating Basic Probability Theory with Propositional Computability Logic
Keehang Kwon
20
0
0
16 Sep 2019
From formulas to cirquents in computability logic
G. Japaridze
LRM
370
15
0
11 Jun 2009
Toggling operators in computability logic
G. Japaridze
AI4CE
158
20
0
22 Apr 2009
Ptarithmetic
G. Japaridze
AIMat
149
1
0
17 Feb 2009
1
Page 1 of 1
