Search Results for author:
Found 7 papers, 0 papers with code
Implementing Dynamic Programming in Computability Logic Web
The merit of CoLweb [1] is that it makes algorithm design so versatile.
Computability-logic web: an alternative to deep learning
{\em Computability logic} (CoL) is a powerful, mathematically rigorous computational model.
Implementing Agent-Based Systems via Computability Logic CL2
Computability logic(CoL) is a powerful computational model.
Agent-Based Proof Design via Lemma Flow Diagram
We discuss an agent-based approach to proof design and implementation, which we call {\it Lemma Flow Diagram} (LFD).
Extending and Automating Basic Probability Theory with Propositional Computability Logic
Classical probability theory is formulated using sets.
Towards Distributed Logic Programming based on Computability Logic
To be specific, we discuss a distributed logic programming model based on CoL (CL1 to be exact), which we call CL1^{\Omega}.
Accomplishable Tasks in Knowledge Representation
Knowledge Representation (KR) is traditionally based on the logic of facts, expressed in boolean logic.
