Papers
Reasoning About Causal Knowledge in Nondeterministic Domains
Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Pascal Kettmann, Jesse Heyninck, Hannes Strass
Human-Readable Neuro-Fuzzy Networks from Frequent Yet Discernible Patterns in Reward-Based Environments
John Wesley Hostetter, Adittya Soukarjya Saha, Md Mirajul Islam et al.
Relational Decomposition for Program Synthesis
Céline Hocquette, Andrew Cropper
On Middle Grounds for Preference Statements
Anne-Marie George, Ana Ozaki
Non-expansive Fuzzy ALC
Stefan Gebhart, Lutz Schröder, Paul Wild
Are Large Language Models Fluent in Declarative Process Mining?
Valeria Fionda, Antonio Ielo, Francesco Ricca
Facets in Argumentation: A Formal Approach to Argument Significance
Johannes K. Fichte, Nicolas Fröhlich, Markus Hecher et al.
Robustness in Single-Audience Value-based Abstract Argumentation: Complexity Results
Bettina Fazzinga, Sergio Flesca, Filippo Furfaro
On Temporal ASP with Eager Unfoldable Operators
Thomas Eiter, Davide Soldà
A Sequent Calculus for Answer Set Entailment
Thomas Eiter, Tobias Geibinger
Circuit-Aware d-DNNF Compilation
Vincent Derkinderen, Jean-Marie Lagniez
A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims
Victor David, Anthony Hunter
Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies
Gianluca Cima, Domenico Lembo, Lorenzo Marconi et al.
Parallel Belief Contraction via Order Aggregation
Jake Chandler, Richard Booth
Parallel Belief Revision via Order Aggregation
Jake Chandler, Richard Booth
First-Order Coalition Logic
Davide Catta, Rustam Galimullin, Aniello Murano
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
Simone Caruso, Carmine Dodaro, Marco Maratea et al.
A Structural Complexity Analysis of Hierarchical Task Network Planning
Cornelius Brand, Robert Ganian, Fionn Mc Inerney et al.
On Independence and SCC-Recursiveness in Assumption-Based Argumentation
Lydia Blümel, Anna Rapberger, Matthias Thimm et al.
Inconsistency Handling in DatalogMTL
Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki
Initial Models and Serialisability in Abstract Dialectical Frameworks
Lars Bengel, Matthias Thimm
A Datalog Rewriting Algorithm for Warded Ontologies
Davide Benedetto, Marco Calautti, Hebatalla Hammad et al.
A Logic of General Attention Using Edge-Conditioned Event Models
Gaia Belardinelli, Thomas Bolander, Sebastian Watzl
EnergyCompress: A General Case Base Learning Strategy
Fadi Badra, Esteban Marquer, Marie-Jeanne Lesot et al.