A logic-based approach to incremental reasoning on multi-agent systems

DOI10.1007/978-3-030-78163-7_18zbMath1500.93004OpenAlexW3202774066MaRDI QIDQ2089459

Gerhard-Wilhelm Weber, Elena V. Ravve, V. Eh. Vol'kovich

Publication date: 22 October 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-78163-7_18

zbMATH Keywords

multi-agent systemincremental reasoninglogical reduction sequencestrongly distributed system

Mathematics Subject Classification ID

Other applications of logic (03B80) Multi-agent systems (93A16)

Uses Software

• Easychair

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithmic uses of the Feferman-Vaught theorem
• Distributed coordination of multi-agent networks. Emergent problems, models, and issues.
• The monadic second-order logic of graphs. IX: Machines and their behaviours
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Model theory.
• Monadic second-order logic, graph coverings and unfoldings of transition systems
• General decomposition problem of fuzzy relations
• Fuzzy types: A framework for handling uncertainty about types of objects
• An analytical approach to evaluating nonmonotonic functions of fuzzy numbers
• On the convergence exponent of decomposable relations
• The monadic second-order logic of graphs. VIII: Orientations
• The complexity of first-order and monadic second-order logic revisited
• An incremental clustering algorithm based on hyperbolic smoothing
• Weighted automata and weighted logics
• Weighted logics for unranked tree automata
• The general \(\alpha \)-decomposition problem of fuzzy relations
• Periodic Generalized Automata over the Reals
• Maintenance of Queries Under Database Changes: A Unified Logic Based Approach
• Finite Automata over Structures
• Logics of Finite Hankel Rank
• Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
• BCNF via Attribute Splitting
• On a generalization of quantifiers
• The first order properties of products of algebraic systems
• An application of games to the completeness problem for formalized theories
• Weighted Logics for Traces
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Incremental model checking for decomposable structures
• Describing Average- and Longtime-Behavior by Weighted MSO Logics
• Weighted versus Probabilistic Logics
• Languages that Capture Complexity Classes
• Modest theory of short chains. I
• Resolution of composite fuzzy relation equations
• On the Decomposition of Fuzzy Functions
• Some observations on Uniform Reduction for properties invariant on the range of definable relations
• Expressibility and Parallel Complexity
• Distributed Reasoning for Multiagent Simple Temporal Problems
• Quantitative Monadic Second-Order Logic
• Generalized Finite Automata over Real and Complex Numbers
• Effective optimization with weighted automata on decomposable trees
• Definable Transductions and Weighted Logics for Texts
• Weighted Picture Automata and Weighted Logics
• Fuzzy sets
• On Extensions of Elementary Logic
• Decidability of Second-Order Theories and Automata on Infinite Trees