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

  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)