Navigation
Wiki Home Page
Peter Yim Memorial and Tribute
Forum
Ontology Summit
○ Neuro-Symbolic AI
○ Helping Researchers
○ Disasters
○ Harmonization
○ Knowledge Graphs
○ Explanations
○ Context
○ AI
○ Ecosystems
IAOA
Ontologies and Projects
People
Recent changes
Help
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties
Actions
Page
Discussion
View source
View history
Ontolog Forum
Revision as of 07:19, 14 December 2015 by
imported>PeterYim
(init Last updated at: 2012-04-11 18:53:39 By user: PeterYim)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
[[PrIKL]]
is a automatic theorem prover for IKL.
...
(details coming!)
Categories
:
Project
Ontology SemanticContent
