154 citations
- Czech Academy of Sciences, Institute of MathematicsCZ2 papers
- Dong A University2 papers
- Florida State UniversityUS2 papers
- Kyungsung UniversityKR2 papers
- University of TorontoCA2 papers
- Czech Academy of SciencesCZ1 paper
- Environmental and Occupational Health Sciences InstituteUS1 paper
- Institut de Mathématiques de ToulonFR1 paper
- Kyungil UniversityKR1 paper
- Kyungpook National UniversityKR1 paper
- National Institute for Mathematical SciencesKR1 paper
- Rutgers, The State University of New JerseyUS1 paper
4 papers · 1 filter
Computability-logic web: an alternative to deep learning
Keehang Kwon
{\em Computability logic} (CoL) is a powerful, mathematically rigorous computational model. In this paper, we show that CoL-web, a web extension to CoL, naturally supports web prog…
Implementing Agent-Based Systems via Computability Logic CL2
Keehang Kwon
Computability logic(CoL) is a powerful computational model. In this paper, we show that CoL naturally supports multi-agent programming models where resources (coffee for example) a…
Extending and Automating Basic Probability Theory with Propositional Computability Logic
Keehang Kwon
Classical probability theory is formulated using sets. In this paper, we extend classical probability theory with propositional computability logic. Unlike other formalisms, comput…
Towards Distributed Logic Programming based on Computability Logic
Keehang Kwon
{\em Computability logic} (CoL) is a powerful computational model which views computational problems as games played by a machine and its environment. In this paper, we show that C…