Copertina

A minimal coalition logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Yinfeng, Ju, Fengkui
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Completeness of coalition logics with seriality, independence of agents, or determinism
di: Li, Yinfeng, et al.
Pubblicazione: (2024)

Completeness of two fragments of a logic for conditional strategic reasoning
di: Li, Yinfeng, et al.
Pubblicazione: (2024)

Seven kinds of equivalent models for generalized coalition logics
di: Chen, Zixuan, et al.
Pubblicazione: (2025)

A logic for temporal conditionals and a solution to the Sea Battle Puzzle
di: Ju, Fengkui, et al.
Pubblicazione: (2017)

Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism
di: Ju, Fengkui
Pubblicazione: (2024)

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

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

On logic and generative AI
di: Gurevich, Yuri, et al.
Pubblicazione: (2024)

A first-order logic characterization of safety and co-safety languages
di: Cimatti, Alessandro, et al.
Pubblicazione: (2022)

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

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

A modal logic translation of the AGM axioms for belief revision
di: Bonanno, Giacomo
Pubblicazione: (2025)

Learning big logical rules by joining small rules
di: Hocquette, Céline, et al.
Pubblicazione: (2024)

Scaling the weight parameters in Markov logic networks and relational logistic regression models
di: Weitkämper, Felix
Pubblicazione: (2021)

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

Similarity-based analogical proportions
di: Antić, Christian
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)

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

A Compositional Framework for On-the-Fly LTLf Synthesis
di: Li, Yongkang, et al.
Pubblicazione: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

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

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
di: Mendez-Lucero, Miguel Angel, et al.
Pubblicazione: (2024)

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

On the horizontal compression of dag-derivations in minimal purely implicational logic
di: Haeusler, Edward Hermann, et al.
Pubblicazione: (2022)

Logic Synthesis with Generative Deep Neural Networks
di: Li, Xihan, et al.
Pubblicazione: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
di: Li, Sirui, et al.
Pubblicazione: (2025)

SMT(LIA) Sampling with High Diversity
di: Lai, Yong, et al.
Pubblicazione: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
di: Li, Jinzhao, et al.
Pubblicazione: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
di: Xiao, Shengping, et al.
Pubblicazione: (2024)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
di: Su, Yuheng, et al.
Pubblicazione: (2025)

A Logic of Uncertain Interpretation
di: Bjorndahl, Adam
Pubblicazione: (2025)

A fuzzy loss for ontology classification
di: Flügel, Simon, et al.
Pubblicazione: (2024)

Translating Informal Proofs into Formal Proofs Using a Chain of States
di: Wang, Ziyu, et al.
Pubblicazione: (2025)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
di: Liang, Zhenwen, et al.
Pubblicazione: (2025)

A Comprehensive Survey of Fuzzy Implication Functions
di: Fernandez-Peralta, Raquel
Pubblicazione: (2025)

A Uniform Language to Explain Decision Trees
di: Arenas, Marcelo, et al.
Pubblicazione: (2023)

Capability Safety as Datalog: A Foundational Equivalence
di: Spera, Cosimo
Pubblicazione: (2026)