notes-cog-ai-reasoning
* [Self:notes-cog-ai-reasoning-myOntology myOntology] * [Self:notes-cog-ai-reasoning-ambiguousReasoning . . .
1K - last updated 2022-02-12 18:04 UTC by BayleShanks
notes-cog-ai-reasoning--index
* [Self:notes-cog-ai-reasoning-myOntology myOntology] * [Self:notes-cog-ai-reasoning-ambiguousReasoning . . .
1K - last updated 2022-02-12 18:04 UTC by BayleShanks
notes-cog-ai-reasoning-descriptionLogics
my summary: for applications in which polytime inference is desired, use https://www.w3.org/TR/owl2-profiles/#OWL_2_EL . . .
26K - last updated 2022-02-12 17:33 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChLogic
= Formal logic = Links: * http://matt.might.net/articles/logical-literacy/ First let's cover what's . . .
29K - last updated 2022-02-12 17:20 UTC by BayleShanks
4 pages found.