Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem

Logic, Reasoning, and Knowledge

13 works

  1. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    ArticleComputability, Logic, AI AlgorithmsRussian Mathematics20242 citations
    ABI

  2. Computability and Universal Determinability of Negatively Representable Models

    R. N. Dadazhanov

    ArticleComputability, Logic, AI AlgorithmsRussian Mathematics20221 citations
    ABI

  3. Logical specifications of effectively separable data models

    N. Kh. Kasymov

    ArticleSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 citations
    ABI

  4. Hoare logic for GOLOG programs

    Yongmei Liu

    DissertationLogic, programming, and type systemsTSpace20000 citations
    ABI

  5. Some Remarks on a Direct Calculation of Probabilities in Urn Schemes

    Азам А. Имомов, Yorqin T. KHODJAEV

    ArticleProbability and Statistical ResearchMathematical Sciences and Applications E-Notes20200 citations
    ABI

  6. Formal Differences and Semantic Similarities in Simple Sentences

    Abror Odilovich Murtazaev

    ArticleNatural Language Processing TechniquesAsian Journal of Research in Social Sciences and Humanities20210 citations
    ABI

  7. Information Retrieval Multi-Agent System Established on the Metaphysics Lexical Database

    Dmitriy Bystrov

    ArticleMulti-Agent Systems and Negotiation20240 citations
    ABI

  8. The Reasoning of Quantum Mechanics

    Horst R. Beyer

    BookQuantum Mechanics and ApplicationsSynthesis lectures on engineering, science, and technology20240 citations
    ABI

  9. Information Retrieval Multi-agent System Established on the Metaphysics Lexical Database

    Dmitriy Bystrov

    ChapterMulti-Agent Systems and NegotiationLecture notes in information systems and organisation20240 citations
    ABI

  10. Finite logical specifications of effectively separable data models

    N. R. Karimova, N. Kh. Kasymov, S. K. Zhavliev

    ArticleComputability, Logic, AI AlgorithmsIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20250 citations
    ABI

  11. Finite Logical Specifications of Effectively Separable Data Models

    N. R. Karimova, N. Kh. Kasymov, S. K. Zhavliev

    ArticleStatistical and Computational ModelingRussian Mathematics20250 citations
    ABI

  12. Counterfactual Reasoning Frameworks for Transparent AI Decision Making

    Deepak Gupta, Pallavi Jha, Chanakya Kumar Jha +3

    ArticleExplainable Artificial Intelligence (XAI)20250 citations
    ABI

  13. VECTARA(f): A Comprehensive Framework for Verifiable AGI Governance: <span>Deterministic Action Governance with Cross-Domain Emergency Coordination and Cultural Knowledge Integration</span><br>

    Edward Meyman

    PreprintSemantic Web and OntologiesSSRN Electronic Journal20250 citations
    ABI