APPLIED

RESEARCH AREAS


✤ Software Epistemology

✤ Epistemic Visualization

✤ Logic Programming

✤ Computational Philosophy

✤ Computational Linguistics

LOGIC PROGRAMMING

CTEST LABORATORIES

RESEARCH & DEVELOPMENT    

COMPUTATIONAL Logic  &  Epistemology

Logic Programming is a based on a technique in which programmable solutions are solved by not explicit instructions but by describing knowledge and assumptions about the problem explicitly stated as logical axioms. The executed program is formalized as a logical statement called the goal statement. If the goal statement can be proved, it produces a program that solves the original problem.




Project: GRIOT

RECENT PAPERS


  1. ✤Partial Computer Homeostasis Using Autonomous Epistemic Agents  (Poster presented at KCAP 2015)


  1. ✤Coherence and Justification Clusters: Epistemic Metrics for Propositional  Knowledge Taken from Interrogative Domains for Epistemic Agents


  1. ✤S.O.S.  DELORis  ROBOT

    (Sink Or Swim Deep Lake Observation

     Reconnaissance Information System)


  1. ✤SAM & SIMON PROJECTS

    (Server Auditing and Monitoring &

     Sensitive Instrument  with Opportunistic

     Notification)


  1. ✤MCPLP ROBOTICS VIDEO SURVEY

    (Mill Creek Park Lakes Project)

PROJECTS


  1. ✤PROJECT ARCHIVES


  1. ✤CAVE DRAWINGS

    (Cosmology of Artificial Intelligence

    Visualized Epistemically)

 

  1. ✤AIM / AIR

     (Alternative Inference for Machines

    and Robots)