Image de couverture de livre

A Logic for Policy Based Resource Exchanges in Multiagent Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ceragioli, Lorenzo, Degano, Pierpaolo, Galletta, Letterio, Viganò, Luca
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Policies for Fair Exchanges of Resources
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
par: Buda, Alessandro G., et autres
Publié: (2026)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
par: Shapiro, Ehud
Publié: (2026)

On the Logical Content of Knowledge Bases
par: Gheorghiu, Alexader V., et autres
Publié: (2025)

Deductive Systems for Logic Programs with Counting
par: Fandinno, Jorge, et autres
Publié: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
par: Zese, Riccardo, et autres
Publié: (2023)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
par: Meli, Daniele, et autres
Publié: (2024)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
par: Spaans, Jeroen, et autres
Publié: (2025)

A Logic of Uncertain Interpretation
par: Bjorndahl, Adam
Publié: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
par: Wang, Ruolin, et autres
Publié: (2024)

Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
par: Bezerra, Emannuel L. de A., et autres
Publié: (2026)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
par: Bednarczyk, Bartosz
Publié: (2023)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
par: Gupta, Gopal, et autres
Publié: (2025)

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

Metric Dynamic Equilibrium Logic
par: Becker, Arvid, et autres
Publié: (2024)

Logical foundations of Smart Contracts
par: Kalala, Kalonji
Publié: (2025)

Existential Notation3 Logic
par: Arndt, Dörthe, et autres
Publié: (2023)

Dsat: A Native SAT Solver for Discrete Logic
par: Zhang, Yaofang, et autres
Publié: (2026)

Probabilistic Strategy Logic with Degrees of Observability
par: Mu, Chunyan, et autres
Publié: (2024)

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

Logical Characterizations of GNNs with Mean Aggregation
par: Schönherr, Moritz, et autres
Publié: (2025)

Model Change for Description Logic Concepts
par: Ozaki, Ana, et autres
Publié: (2026)

Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
par: Howlader, Prosenjit, et autres
Publié: (2025)

A New Tractable Description Logic under Categorical Semantics
par: Duc, Chan Le, et autres
Publié: (2025)

Logic Synthesis with Generative Deep Neural Networks
par: Li, Xihan, et autres
Publié: (2024)

On the Trap Space Semantics of Normal Logic Programs
par: Trinh, Van-Giang, et autres
Publié: (2026)

Integrating Belief Domains into Probabilistic Logic Programs
par: Azzolini, Damiano, et autres
Publié: (2025)

Categorical Construction of Logically Verifiable Neural Architectures
par: Nye, Logan
Publié: (2025)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
par: Manière, Quentin, et autres
Publié: (2024)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
par: Lutz, Carsten, et autres
Publié: (2024)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
par: Zang, Zhengqing, et autres
Publié: (2026)

Static Analysis of Logic Programs via Boolean Networks
par: Trinh, Van-Giang, et autres
Publié: (2024)

Proceedings 40th International Conference on Logic Programming
par: Cabalar, Pedro, et autres
Publié: (2025)