Перейти к основному содержанию
AkademIndex

Продукты

Для разработчиков

AkademBaseОткрытый API экосистемы

Logic, Reasoning, and Knowledge

Работ: 13

  1. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    СтатьяComputability, Logic, AI AlgorithmsRussian Mathematics2024Цитирований: 2
    ABI

  2. Computability and Universal Determinability of Negatively Representable Models

    R. N. Dadazhanov

    СтатьяComputability, Logic, AI AlgorithmsRussian Mathematics2022Цитирований: 1
    ABI

  3. Logical specifications of effectively separable data models

    N. Kh. Kasymov

    СтатьяSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika2024Цитирований: 1
    ABI

  4. Hoare logic for GOLOG programs

    Yongmei Liu

    ДиссертацияLogic, programming, and type systemsTSpace2000Цитирований: 0
    ABI

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

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

    СтатьяProbability and Statistical ResearchMathematical Sciences and Applications E-Notes2020Цитирований: 0
    ABI

  6. Formal Differences and Semantic Similarities in Simple Sentences

    Abror Odilovich Murtazaev

    СтатьяNatural Language Processing TechniquesAsian Journal of Research in Social Sciences and Humanities2021Цитирований: 0
    ABI

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

    Dmitriy Bystrov

    СтатьяMulti-Agent Systems and Negotiation2024Цитирований: 0
    ABI

  8. The Reasoning of Quantum Mechanics

    Horst R. Beyer

    КнигаQuantum Mechanics and ApplicationsSynthesis lectures on engineering, science, and technology2024Цитирований: 0
    ABI

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

    Dmitriy Bystrov

    ГлаваMulti-Agent Systems and NegotiationLecture notes in information systems and organisation2024Цитирований: 0
    ABI

  10. Finite logical specifications of effectively separable data models

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

    СтатьяComputability, Logic, AI AlgorithmsIzvestiya Vysshikh Uchebnykh Zavedenii Matematika2025Цитирований: 0
    ABI

  11. Finite Logical Specifications of Effectively Separable Data Models

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

    СтатьяStatistical and Computational ModelingRussian Mathematics2025Цитирований: 0
    ABI

  12. Counterfactual Reasoning Frameworks for Transparent AI Decision Making

    Deepak Gupta, Pallavi Jha, Chanakya Kumar Jha +3

    СтатьяExplainable Artificial Intelligence (XAI)2025Цитирований: 0
    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

    ПрепринтSemantic Web and OntologiesSSRN Electronic Journal2025Цитирований: 0
    ABI