A reference book that appears to provide a very rigorous logical foundation that I want to construct a standard formal language specification with well-defined semantics for deterministic queries. As with any formal model, its reference implementation will prove its rigor! Also a platform for my Knowledge Representation & Reasoning Systems dreams
-
Notifications
You must be signed in to change notification settings - Fork 0
A reference book that appears to provide a very rigorous logical foundation that I want to construct a standard formal language specification with well-defined semantics for deterministic queries. As with any formal model, its reference implementation will prove its rigor! Also a platform for my Knowledge Representation & Reasoning Systems dreams
License
ConceptIndex/FormalConceptAnalysis
About
A reference book that appears to provide a very rigorous logical foundation that I want to construct a standard formal language specification with well-defined semantics for deterministic queries. As with any formal model, its reference implementation will prove its rigor! Also a platform for my Knowledge Representation & Reasoning Systems dreams
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published