Imaginary or Real ?— Mathematics in AI and Knowledge RepresentationIn the realm of human knowledge, mathematics often stands alone as the paragon of certainty. Many view it as the only truly “real”…1d ago1d ago
Published inStackademicWhat JavaScript could still learn from Self ?In the evolution of programming languages, certain innovations stand out for challenging established paradigms and introducing…3d ago3d ago
Published inArtificial Intelligence in Plain EnglishType Theory, AI Memory and MetagraphsIn the realm of artificial intelligence, particularly concerning memory systems and knowledge representation, we often find ourselves…4d ago4d ago
Published inArtificial Intelligence in Plain EnglishRelations Between Events in AI Memory: From Temporal to Causal UnderstandingThe development of artificial intelligence memory systems has brought us to a fascinating intersection of time, events, and relationships…May 11A response icon2May 11A response icon2
Published inStackademicUnderstanding Unification: From Prolog to Higher-Order LogicUnification is a fundamental algorithm in logic programming and automated theorem proving that determines whether two terms can be made…May 10May 10
Published inArtificial Intelligence in Plain EnglishLambda Prolog and ELPI: Advancing Knowledge Graphs and Complex OntologiesIn a discussion of HOL and Dependent Types for ontologies, we start an interesting debate but miss some practical instruments.May 8May 8
Published inArtificial Intelligence in Plain EnglishThe Power of Imagination in Engineering and Complex Data StructuresWhat visualization techniques and mental experiments do you use in your daily work with complex data structures? How do you conceptualize…May 7May 7
Published inArtificial Intelligence in Plain EnglishHigh-Order Logic Languages for Unifying OWL and SHACLDataLog and Prolog for OntologyMay 6A response icon1May 6A response icon1
Published inArtificial Intelligence in Plain EnglishTime in AI Agent Memory: Beyond Simple TimestampsAs AI agents evolve from simple question-answering systems to persistent entities capable of maintaining long-term relationships with…May 5A response icon1May 5A response icon1
Published inArtificial Intelligence in Plain EnglishTwelf for Hypergraph Ontology: A Comprehensive GuideI already showed in my previous article how to use Twelf as an ontology frameworkMay 4May 4
