Asosiy kontentga oʻtish
AkademIndex

Xizmatlar

Logic, Reasoning, and Knowledge

13 ta ish

  1. Computability and Universal Determinability of Negatively Representable Models

    R. N. Dadazhanov

    MaqolaComputability, Logic, AI AlgorithmsRussian Mathematics20223 iqtibos
    ABI

  2. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    MaqolaComputability, Logic, AI AlgorithmsRussian Mathematics20242 iqtibos
    ABI

  3. Logical specifications of effectively separable data models

    N. Kh. Kasymov

    MaqolaOchiq kirishSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 iqtibos
    ABI

  4. Hoare logic for GOLOG programs

    Yongmei Liu

    DissertatsiyaOchiq kirishLogic, programming, and type systemsTSpace20000 iqtibos
    ABI

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

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

    MaqolaOchiq kirishProbability and Statistical ResearchMathematical Sciences and Applications E-Notes20200 iqtibos
    ABI

  6. Formal Differences and Semantic Similarities in Simple Sentences

    Abror Odilovich Murtazaev

    MaqolaNatural Language Processing TechniquesAsian Journal of Research in Social Sciences and Humanities20210 iqtibos
    ABI

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

    Dmitriy Bystrov

    MaqolaMulti-Agent Systems and Negotiation20240 iqtibos
    ABI

  8. The Reasoning of Quantum Mechanics

    Horst R. Beyer

    KitobQuantum Mechanics and ApplicationsSynthesis lectures on engineering, science, and technology20240 iqtibos
    ABI

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

    Dmitriy Bystrov

    BobMulti-Agent Systems and NegotiationLecture notes in information systems and organisation20240 iqtibos
    ABI

  10. Finite logical specifications of effectively separable data models

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

    MaqolaOchiq kirishComputability, Logic, AI AlgorithmsIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20250 iqtibos
    ABI

  11. Finite Logical Specifications of Effectively Separable Data Models

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

    MaqolaStatistical and Computational ModelingRussian Mathematics20250 iqtibos
    ABI

  12. Counterfactual Reasoning Frameworks for Transparent AI Decision Making

    Deepak Gupta, Pallavi Jha, Chanakya Kumar Jha +3

    MaqolaExplainable Artificial Intelligence (XAI)20250 iqtibos
    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

    PreprintOchiq kirishSemantic Web and OntologiesSSRN Electronic Journal20250 iqtibos
    ABI