:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cabalar, Pedro, Muñiz, Brais
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2310.01626
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

Proceedings 40th International Conference on Logic Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Metric Dynamic Equilibrium Logic
by: Becker, Arvid, et al.
Published: (2024)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)

Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)

Computing Supported Models via Transformation to Stable Models
by: Li, Fang, et al.
Published: (2025)

Compiling Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2025)

Implementing Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2026)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
by: Köhler, Dominik, et al.
Published: (2024)

Explanations for Unrealizability of Infinite-State Safety Shields
by: Rodriguez, Andoni, et al.
Published: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
by: Sierra-Aristizabal, Manuel
Published: (2023)

Complete and Terminating Tableau Calculus for Undirected Graph
by: Nishimura, Yuki, et al.
Published: (2024)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
by: Endrullis, Jörg, et al.
Published: (2023)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
by: Filho, Francisco Mateus Rocha, et al.
Published: (2026)

Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)

Decidability of Graph Neural Networks via Logical Characterizations
by: Benedikt, Michael, et al.
Published: (2024)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

On Trustworthy Rule-Based Models and Explanations
by: Siala, Mohamed, et al.
Published: (2025)

Space Explanations of Neural Network Classification
by: Labbaf, Faezeh, et al.
Published: (2025)

Classical Explanations in (and of) General Probabilistic Theories
by: Harding, John, et al.
Published: (2026)

Cyclic Proofs for iGL via Corecursion
by: Miranda, Borja Sierra
Published: (2023)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
by: Lyon, Tim S., et al.
Published: (2026)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Prime Factorization in Models of PV$_1$
by: Ježil, Ondřej
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)