A logic-based approach to incremental reasoning on multi-agent systems
From MaRDI portal
Publication:2089459
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
Uses Software
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