| 2010-10-18 14:25:10 |
A little backtracking Prolog interpreter |
nem |
reference |
| 2020-11-14 21:28:37 |
A little logic notation editor |
gold |
reference |
| 2014-03-02 01:48:33 |
description logics |
pooryorick |
reference |
| 2021-11-17 04:10:16 |
Intelligent Agents |
RVM |
reference |
| 2023-04-25 13:44:44 |
Learn to Program |
pooryorick |
reference |
| 2006-05-19 11:34:03 |
ontology |
24.97.130.2 |
reference |
| 2011-07-06 01:03:39 |
Playing predicate logic |
RLE |
reference |
| 2014-03-05 21:26:51 |
Production Systems |
EMJ |
reference |
| 2015-01-21 18:01:40 |
Semantic Networks |
SEH |
reference |