research
∙
04/04/2023
Implementing Dynamic Programming in Computability Logic Web
We present a novel definition of an algorithm and its corresponding algo...
share
research
∙
10/07/2022
Removing Qualified Names in Modular Languages
Although the notion of qualified names is popular in module systems, it ...
research
∙
07/25/2022
Evolving Recursive Definitions with Applications to Dynamic Programming
Inspired by computability logic<cit.>, we refine recursive function defi...
research
∙
02/22/2022
A Heuristic Proof Procedure for Propositional Logic
Theorem proving is one of the oldest applications which require heuristi...
research
∙
01/29/2022
Logical Pseudocode: Connecting Algorithms with Proofs
Proofs (sequent calculus, natural deduction) and imperative algorithms (...
research
∙
08/18/2021
What is an Algorithm?: a Modern View
Although algorithm is one of the central subjects, there have been littl...
research
∙
10/18/2020
Implementing Agent-Based Systems via Computability Logic CL2
Computability logic(CoL) is a powerful computational model. In this pape...
research
∙
02/03/2020
Agent-Based Proof Design via Lemma Flow Diagram
We discuss an agent-based approach to proof design and implementation, w...
research
∙
09/16/2019
Towards Distributed Logic Programming based on Computability Logic
Computability logic (CoL) is a powerful computational model which views...
research
∙
09/16/2019
Extending and Automating Basic Probability Theory with Propositional Computability Logic
Classical probability theory is formulated using sets. In this paper, we...
research
∙
12/15/2017
A Heuristic Proof Procedure for First-Order Logic
Inspired by the efficient proof procedures discussed in Computability l...
research
∙
09/24/2017
Anonymous Variables in Imperative Languages
In this paper, we bring anonymous variables into imperative languages. A...
research
∙
09/14/2017
Extending Functional Languages with High-Level Exception Handling
We extend functional languages with high-level exception handling. To be...
research
∙
06/07/2013