We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.

Search Results

Showing 1-20 of 10,000 results

  1. Model-based reasoning using answer set programming

    Diagnosis, i.e., the detection and identification of faults, provides the basis for bringing systems back to normal operation in case of a fault....

    Franz Wotawa, David Kaufmann in Applied Intelligence
    Article Open access 09 April 2022

  2. Predicting weighted unobserved nodes in a regulatory network using answer set programming

    Background

    The impact of a perturbation, over-expression, or repression of a key node on an organism, can be modelled based on a regulatory and/or...

    Sophie Le Bars, Mathieu Bolteau, ... Carito Guziolowski in BMC Bioinformatics
    Article Open access 25 August 2023

  3. Answer Set Programming Made Easy

    We take up an idea from the folklore of Answer Set Programming (ASP), namely that choices, integrity constraints along with a restricted rule format...
    Jorge Fandinno, Seemran Mishra, ... Torsten Schaub in Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
    Chapter 2023

  4. From Felicitous Models to Answer Set Programming

    Felicitous models were defined by Kit Fine in 1987 for the purpose of describing the semantics of negation in the programming language Prolog. They...
    Vladimir Lifschitz in Kit Fine on Truthmakers, Relevance, and Non-classical Logic
    Chapter 2023

  5. Rethinking Answer Set Programming Templates

    In imperative programming, the Domain-Driven Design methodology helps in co** with the complexity of software development by materializing in code...
    Mario Alviano, Giovambattista Ianni, ... Jessica Zangari in Practical Aspects of Declarative Languages
    Conference paper 2023

  6. Marketplace Logistics via Answer Set Programming

    Marketplaces aggregate products from several providers and handle orders involving several suppliers automatically. We report on an application of...
    Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners in Practical Aspects of Declarative Languages
    Conference paper 2023

  7. Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells

    Deciphering gene regulatory networks’ functioning is an essential step for better understanding of life, as these networks play a fundamental role in...

    Tarek Khaled, Belaid Benhamou, Van-Giang Trinh in Annals of Mathematics and Artificial Intelligence
    Article 31 July 2023

  8. Statistical Relational Extension of Answer Set Programming

    This tutorial presents a statistical relational extension of the answer set programming language called...
    Joohyung Lee, Zhun Yang in Reasoning Web. Causality, Explanations and Declarative Knowledge
    Chapter 2023

  9. SPRAG: building and benchmarking a Short Programming-Related Answer Grading dataset

    Automated Short Answer Grading (ASAG) is a widely explored application of NLP in the domain of education. While much research focuses on natural...

    Sridevi Bonthu, S. Rama Sree, M. H. M. Krishna Prasad in International Journal of Data Science and Analytics
    Article 04 June 2024

  10. Hamiltonian Cycle Reconfiguration with Answer Set Programming

    The Hamiltonian cycle reconfiguration problem is defined as determining, for a given Hamiltonian cycle problem and two among its feasible solutions,...
    Takahiro Hirate, Mutsunori Banbara, ... Naoyuki Tamura in Logics in Artificial Intelligence
    Conference paper 2023

  11. Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming

    We develop an approach called bounded combinatorial reconfiguration for solving combinatorial reconfiguration problems based on Answer Set...
    Yuya Yamada, Mutsunori Banbara, ... Torsten Schaub in Logics in Artificial Intelligence
    Conference paper 2023

  12. Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis

    We propose an approach called bounded combinatorial reconfiguration for solving combinatorial reconfiguration problems based on Answer Set...
    Yuya Yamada, Mutsunori Banbara, ... Ryuhei Uehara in WALCOM: Algorithms and Computation
    Conference paper 2024

  13. Solving Vehicle Equipment Specification Problems with Answer Set Programming

    We develop an approach to solving mono- and multi-objective vehicle equipment specification problems considering the corporate average fuel economy...
    Raito Takeuchi, Mutsunori Banbara, ... Torsten Schaub in Practical Aspects of Declarative Languages
    Conference paper 2023

  14. Generative Datalog and Answer Set Programming – Extended Abstract

    Generative Datalog is an extension of Datalog that incorporates constructs for referencing parameterized probability distributions. This augmentation...
    Mario Alviano in Logics in Artificial Intelligence
    Conference paper 2023

  15. Learning Automata-Based Complex Event Patterns in Answer Set Programming

    Complex Event Recognition and Forecasting (CER/F) techniques attempt to detect, or even forecast ahead of time, event occurrences in streaming input...
    Nikos Katzouris, Georgios Paliouras in Inductive Logic Programming
    Conference paper 2024

  16. Comparing Planning Domain Models Using Answer Set Programming

    Automated planning is a prominent area of Artificial Intelligence, and an important component for intelligent autonomous agents. A critical aspect of...
    Lukáš Chrpa, Carmine Dodaro, ... Mauro Vallati in Logics in Artificial Intelligence
    Conference paper 2023

  17. Inference in Probabilistic Answer Set Programming Under the Credal Semantics

    Probabilistic Answer Set Programming under the credal semantics (PASP) describes an uncertain domain through an answer set program extended with...
    Damiano Azzolini, Fabrizio Riguzzi in AIxIA 2023 – Advances in Artificial Intelligence
    Conference paper Open access 2023

  18. Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities

    “Type 1” statements were introduced by Halpern in 1990 with the goal to represent statistical information about a domain of interest. These are of...
    Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi in AIxIA 2022 – Advances in Artificial Intelligence
    Conference paper Open access 2023

  19. Using Answer Set Programming to Improve Sensor Network Lifetime

    Sensor network lifetime maximization can be solved using heuristic methods, but they produce only suboptimal sensor activity schedules. However,...
    Artur Mikitiuk, Krzysztof Trojanowski, Jakub A. Grzeszczak in Artificial Intelligence and Soft Computing
    Conference paper 2023

  20. Learning the Parameters of Probabilistic Answer Set Programs

    Probabilistic Answer Set Programming (PASP) is a powerful formalism that allows to model uncertain scenarios with answer set programs. One of the...
    Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi in Inductive Logic Programming
    Conference paper 2024
Did you find what you were looking for? Share feedback.