Search results

Foundations of Meaning and Knowledge ManagementPapersSemantic Objects, Sources and Verifiable ExtractionPapersContext, Depth and Conditions of ApplicabilityPapersTransformations, Composition and Bounded TransferPapersQuery, Retrieval and Verifiable CoveragePapersContext Composition under a Limited BudgetPapersDialogue, Learning and Alignment of UnderstandingPapersReasoning, Justification and Revision of ConclusionsPapersDocuments, Representations and Long-Term MemoryPapersKnowledge Contract v3: Synthesis of the General Model and a Professional ProfilePapersRevision of Knowledge, Versions and Acceptance of NormsPapersEvaluation, Counterexamples and the Limits of ClaimsPapersKnowledge Compilation: Preparing Results and the Admissibility of ReusePapersKnowledge Utility, the Cost of Meaning Artifacts and Resource ManagementPapersRegistry of Shared Artifacts: Identity, Fields and ObligationsSpecificationsIdentity, Dependencies and InvalidationSpecificationsCompiled Artifact ContractSpecificationsContextPackage: Specification and Bounded Executable ProfileSpecificationsFamily of Contracts for Operations on Meanings and KnowledgeSpecificationsKnowledge Contract v3: Synthesis SpecificationSpecificationsKnowledge Bases and Contract EvolutionSpecificationsPolicy for Permissible ReuseSpecificationsContent Types and Independent Classification AxesSpecificationsIndependent Statuses, Assessment Scopes and TransitionsSpecificationsMeaning Management in Autonomous AI Systems: the Knowledge Contract ArchitectureJournalKnowledge Contracts, Version 2: A Typed Substrate for Inter-Agent Knowledge Transfer, with Its Algebraic Laws Proved or RefutedJournalIntegration availabilityDocumentation