Copertina

Operator-based semantics for choice programs: is choosing losing? (full version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Heyninck, Jesse
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
di: Heyninck, Jesse
Pubblicazione: (2024)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
di: Spaans, Jeroen, et al.
Pubblicazione: (2025)

Defeasible Conditionals using Answer Set Programming
di: Dennison, Racquel, et al.
Pubblicazione: (2026)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
di: Kettmann, Pascal, et al.
Pubblicazione: (2025)

Automated planning with ontologies under coherence update semantics (Extended Version)
di: Borgwardt, Stefan, et al.
Pubblicazione: (2025)

AI Space Physics: Constitutive boundary semantics for open AI institutions
di: Romanchuk, Oleg, et al.
Pubblicazione: (2026)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
di: Berger, Martin, et al.
Pubblicazione: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
di: Kettmann, Pascal, et al.
Pubblicazione: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
di: Prudhomme, Tim, et al.
Pubblicazione: (2024)

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
di: de Lima, Tiago, et al.
Pubblicazione: (2024)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
di: Bella, Giampaolo, et al.
Pubblicazione: (2023)

Syntax and semantics of multi-adjoint normal logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
di: Li, Ying, et al.
Pubblicazione: (2024)

Operational semantics and program verification using many-sorted hybrid modal logic
di: Leustean, Ioana, et al.
Pubblicazione: (2019)

Abstract Dialectical Frameworks are Boolean Networks (full version)
di: Heyninck, Jesse, et al.
Pubblicazione: (2024)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
di: Doherty, Patrick, et al.
Pubblicazione: (2023)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
di: Rashid, Adnan
Pubblicazione: (2026)

Categorical semantics of compositional reinforcement learning
di: Bakirtzis, Georgios, et al.
Pubblicazione: (2022)

Bilateral base-extension semantics
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Neural logic programs and neural nets
di: Antić, Christian
Pubblicazione: (2024)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Fuzzy Lattice-based Description Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2025)

An action language-based formalisation of an abstract argumentation framework
di: Munro, Yann, et al.
Pubblicazione: (2024)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
di: Bankosegger, Rafael, et al.
Pubblicazione: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
di: Vozna, Alina, et al.
Pubblicazione: (2026)

A SAT-based approach to rigorous verification of Bayesian networks
di: Stępka, Ignacy, et al.
Pubblicazione: (2024)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Improving ASP-based ORS Schedules through Machine Learning Predictions
di: Bruno, Pierangela, et al.
Pubblicazione: (2025)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
di: Katz, Jediah, et al.
Pubblicazione: (2024)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
di: Gonzalez, Salwa Tabet, et al.
Pubblicazione: (2024)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
di: Švancár, Slavomír, et al.
Pubblicazione: (2024)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
di: Parent, Xavier
Pubblicazione: (2026)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
di: Cecconi, Alessio, et al.
Pubblicazione: (2023)