Асосий контентга ўтиш
AkademIndex

Маҳсулотлар

Ишлаб чиқувчилар учун

AkademBaseЭкотизим учун очиқ API

Logic, Reasoning, and Knowledge

13 та иш

  1. Logical Specifications of Effectively Separable Data Models

    N. Kh. Kasymov

    МақолаComputability, Logic, AI AlgorithmsRussian Mathematics20242 иқтибос
    ABI

  2. Computability and Universal Determinability of Negatively Representable Models

    R. N. Dadazhanov

    МақолаComputability, Logic, AI AlgorithmsRussian Mathematics20221 иқтибос
    ABI

  3. Logical specifications of effectively separable data models

    N. Kh. Kasymov

    МақолаSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 иқтибос
    ABI

  4. Hoare logic for GOLOG programs

    Yongmei Liu

    ДиссертацияLogic, programming, and type systemsTSpace20000 иқтибос
    ABI

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

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

    МақолаProbability and Statistical ResearchMathematical Sciences and Applications E-Notes20200 иқтибос
    ABI

  6. Formal Differences and Semantic Similarities in Simple Sentences

    Abror Odilovich Murtazaev

    МақолаNatural Language Processing TechniquesAsian Journal of Research in Social Sciences and Humanities20210 иқтибос
    ABI

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

    Dmitriy Bystrov

    МақолаMulti-Agent Systems and Negotiation20240 иқтибос
    ABI

  8. The Reasoning of Quantum Mechanics

    Horst R. Beyer

    КитобQuantum Mechanics and ApplicationsSynthesis lectures on engineering, science, and technology20240 иқтибос
    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 organisation20240 иқтибос
    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 Matematika20250 иқтибос
    ABI

  11. Finite Logical Specifications of Effectively Separable Data Models

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

    МақолаStatistical and Computational ModelingRussian Mathematics20250 иқтибос
    ABI

  12. Counterfactual Reasoning Frameworks for Transparent AI Decision Making

    Deepak Gupta, Pallavi Jha, Chanakya Kumar Jha +3

    МақолаExplainable Artificial Intelligence (XAI)20250 иқтибос
    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 Journal20250 иқтибос
    ABI