Resultados da pesquisa - "Declarative programming"

Refinar resultados
  1. Imagem da capa

    Direct Encoding of Declare Constraints in ASP Por Chiariello, Francesco

    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  2. Imagem da capa

    Enhancing Urban Air Mobility Scheduling Through Declarative Reasoning and Stakeholder Modeling Por Kim Jeongseok

    Publicado no Aerospace (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  3. Imagem da capa

    Solving Decision Theory Problems with Probabilistic Answer Set Programming Por Azzolini, Damiano

    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  4. Imagem da capa

    Probabilistic Answer Set Programming with Discrete and Continuous Random Variables Por Azzolini, Damiano

    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  5. Imagem da capa

    Node and edge control strategy identification via trap spaces in Boolean networks Por Cifuentes-Fontanals, Laura

    Publicado no BMC Bioinformatics (2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  6. Imagem da capa

    User Armor: An Extension for AppArmor Por Alviano Mario

    Publicado no Algorithms (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  7. Imagem da capa

    SPOT-Route: A Semantic and Vision-Driven Framework for Smart Public Transport Scheduling using SHACL and SPARQL approaches Por Kavyashree, L

    Publicado no ITM Web of Conferences (2025)
    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  8. Imagem da capa

    Declarative Design for Spatial Analysis Models Por Elouri, Yassine

    Publicado no ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Adic. favoritos
    Na minha lista:
  9. Imagem da capa

    Finite-Choice Logic Programming Por Martens, Chris

    Publicado no arXiv.org (Nov 21, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  10. Imagem da capa

    Direct Encoding of Declare Constraints in ASP Por Chiariello, Francesco

    Publicado no arXiv.org (Dec 13, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  11. Imagem da capa

    LLASP: Fine-tuning Large Language Models for Answer Set Programming Por Coppolillo, Erica

    Publicado no arXiv.org (Jul 26, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  12. Imagem da capa

    Probabilistic Answer Set Programming with Discrete and Continuous Random Variables Por Azzolini, Damiano

    Publicado no arXiv.org (Sep 30, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  13. Imagem da capa

    LLM+Reasoning+Planning for supporting incomplete user queries in presence of APIs Por Agarwal, Sudhir

    Publicado no arXiv.org (Oct 11, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  14. Imagem da capa

    Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming Por Takemura, Akihiro

    Publicado no arXiv.org (Oct 14, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  15. Imagem da capa

    ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding Por Calimeri, Francesco

    Publicado no arXiv.org (Dec 24, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  16. Imagem da capa

    Learning Brave Assumption-Based Argumentation Frameworks via ASP Por De Angelis, Emanuele

    Publicado no arXiv.org (Nov 8, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  17. Imagem da capa

    Past-present temporal programs over finite traces Por Cabalar, Pedro

    Publicado no arXiv.org (Jan 20, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  18. Imagem da capa

    Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL Por Qureshi, Haya Majid

    Publicado no arXiv.org (Feb 5, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  19. Imagem da capa

    Continuous reasoning for adaptive container image distribution in the cloud-edge continuum Por Azzolini, Damiano

    Publicado no arXiv.org (Jul 17, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:
  20. Imagem da capa

    Symbolic Parameter Learning in Probabilistic Answer Set Programming Por Azzolini, Damiano

    Publicado no arXiv.org (Aug 16, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Adic. favoritos
    Na minha lista:

Ferramentas de pesquisa: