Image de couverture de livre

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Baryannis, George, Tachmazidis, Ilias, Batsakis, Sotiris, Antoniou, Grigoris, Alviano, Mario, Papadakis, Emmanuel
Format:	Preprint
Publié:	2020
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Benchmarking Defeasible Reasoning with Large Language Models -- Initial Experiments and Future Directions
par: Tachmazidis, Ilias, et autres
Publié: (2024)

A framework for Conditional Reasoning in Answer Set Programming
par: Alviano, Mario, et autres
Publié: (2025)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
par: Lee, Joohyung, et autres
Publié: (2025)

Reformulation Techniques for Automated Planning: A Systematic Review
par: Alarnaouti, Diaeddin, et autres
Publié: (2023)

Reasoning about Study Regulations in Answer Set Programming
par: Hahn, Susana, et autres
Publié: (2024)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
par: Bartholomew, Michael, et autres
Publié: (2026)

Dominating Set Reconfiguration with Answer Set Programming
par: Kato, Masato, et autres
Publié: (2024)

Counting Answer Sets of Disjunctive Answer Set Programs
par: Kabir, Mohimenul, et autres
Publié: (2025)

Human Conditional Reasoning in Answer Set Programming
par: Sakama, Chiaki
Publié: (2023)

Counterfactual Generation with Answer Set Programming
par: Dasgupta, Sopam, et autres
Publié: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

Streamliners for Answer Set Programming
par: Voboril, Florentina, et autres
Publié: (2026)

Neural Decision-Propagation for Answer Set Programming
par: Eiter, Thomas, et autres
Publié: (2026)

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
par: Alviano, Mario, et autres
Publié: (2022)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
par: Rizwan, Momina, et autres
Publié: (2020)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
par: Aguado, Felicidad, et autres
Publié: (2025)

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
par: Azzolini, Damiano, et autres
Publié: (2024)

Hybrid Answer Set Programming: Foundations and Applications
par: Rühling, Nicolas
Publié: (2025)

Towards Constraint Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2025)

Defeasible Conditionals using Answer Set Programming
par: Dennison, Racquel, et autres
Publié: (2026)

Answer Set Programming for Flexible Payroll Management
par: Callewaert, Benjamin, et autres
Publié: (2024)

Symbolic-AI-Fusion Deep Learning (SAIF-DL): Encoding Knowledge into Training with Answer Set Programming Loss Penalties by a Novel Loss Function Approach
par: Machot, Fadi Al, et autres
Publié: (2024)

Sandwich Reasoning: An Answer-Reasoning-Answer Approach for Low-Latency Query Correction
par: Zhang, Chen, et autres
Publié: (2026)

Meta-Programming for Linear-time Temporal Answer Set Programming
par: Hahn, Susana, et autres
Publié: (2026)

Human Emotion Verification by Action Languages via Answer Set Programming
par: Brännström, Andreas, et autres
Publié: (2026)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
par: Eiter, Thomas, et autres
Publié: (2022)

Neuro-Symbolic Learning of Answer Set Programs from Raw Data
par: Cunnington, Daniel, et autres
Publié: (2022)

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
par: Sugimori, Irumi, et autres
Publié: (2024)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
par: Bankosegger, Rafael, et autres
Publié: (2026)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
par: Azzolini, Damiano, et autres
Publié: (2024)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
par: Babb, Joseph, et autres
Publié: (2026)

Reliable Collaborative Conversational Agent System Based on LLMs and Answer Set Programming
par: Zeng, Yankai, et autres
Publié: (2025)

Temporal Many-valued Conditional Logics: a Preliminary Report
par: Alviano, Mario, et autres
Publié: (2024)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2026)

Formally Explaining Decision Tree Models with Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2026)

CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning
par: Lin, Xinrui, et autres
Publié: (2024)

Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2024)

Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
par: Wielinga, Sanne, et autres
Publié: (2025)

A Proof-of-Concept for Explainable Disease Diagnosis Using Large Language Models and Answer Set Programming
par: Gemou, Ioanna, et autres
Publié: (2025)