Type |
Filename |
Size in Bytes | Last Modified |
|---|---|---|---|
| Dir |
. |
4.096 | 27.06.2023 · 02:44 |
| Dir |
Parent Directory |
4.096 | 05.04.2023 · 12:43 |
| File |
CG logic.txt |
7.909 | 04.05.2001 · 10:13 |
| File |
Ch01-1 Logic Introduction++.ppt |
215.552 | 03.02.2005 · 13:02 |
| Dir |
Conceptual Graphs |
4.096 | 27.06.2023 · 06:27 |
| Dir |
Controlled Languages |
4.096 | 01.02.2018 · 14:56 |
| Dir |
Description Logics |
4.096 | 27.06.2023 · 06:26 |
| Dir |
Expressivity |
4.096 | 27.06.2023 · 06:24 |
| File |
FOL by Sowa++.html |
19.403 | 21.11.2000 · 14:18 |
| File |
FOL expression in SWRL then in CE, typed PredCalc, KIF, & CGIF.txt |
3.891 | 05.11.2004 · 09:24 |
| File |
HOL,need%20for.html |
11.615 | 27.10.2003 · 08:28 |
| File |
Knowledge Interchange Format (KIF).html |
633 | 04.10.2004 · 11:12 |
| Dir |
Laws, Facts, and Contexts, Foundations for Multimodal Reasoning |
4.096 | 27.06.2023 · 06:24 |
| File |
Serialization Syntax - the purpose of KIF.txt |
612 | 05.11.2004 · 09:17 |
| File |
The Decidability Fetish.txt |
3.378 | 03.08.2004 · 08:41 |
| File |
Thirdness.txt |
2.706 | 10.09.2003 · 07:23 |
| File |
[XML] serialization syntax for CL.txt |
853 | 05.11.2004 · 09:19 |
| File |
common logic, first order, ...+.txt |
6.326 | 14.10.2003 · 14:35 |
| File |
error_log |
4.500 | 25.10.2024 · 06:13 |
| File |
higher-order logic and metalanguage laws.txt |
2.890 | 14.04.2004 · 13:15 |
| File |
paradox of the lying Cretans and-or set membership.txt |
4.615 | 08.04.2005 · 10:41 |
| File |
swfol (Semantic Web First Order Logic).pdf |
159.498 | 08.03.2001 · 12:12 |
| File |
tarski.htm |
115.253 | 18.05.2001 · 07:37 |
| File |
tarski.txt |
3.641 | 27.10.2003 · 08:34 |
phpDIRList 2.0 - © 2005 ulrich s. kapp :: systemberatung :: web-programmierung - W3C ⇒ XHTML 1.0 Strict - W3C ⇒ CSS