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

DOI10.1007/978-3-030-78163-7_18zbMATH Open1500.93004OpenAlexW3202774066MaRDI QIDQ2089459FDOQ2089459

Authors: E. Ravve, Gerhard-Wilhelm Weber, Z. Volkovich 

Publication date: 22 October 2022

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

Recommendations

• Distributed first order logics
• scientific article; zbMATH DE number 1612553
• Logics modulo theories: a logical framework for multi-agent systems
• A strong completeness result for a MAS logic
• Distributed reason maintenance for multiagent systems

zbMATH Keywords

multi-agent systemincremental reasoninglogical reduction sequencestrongly distributed system

Mathematics Subject Classification ID

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

Cites Work

• Fuzzy sets
• Handbook of constraint programming.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Distributed coordination of multi-agent networks. Emergent problems, models, and issues.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Title not available (Why is that?)
• Model theory.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Resolution of composite fuzzy relation equations
• Title not available (Why is that?)
• On a generalization of quantifiers
• An application of games to the completeness problem for formalized theories
• Languages that Capture Complexity Classes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weighted versus Probabilistic Logics
• The monadic second-order logic of graphs. VIII: Orientations
• The complexity of first-order and monadic second-order logic revisited
• On Extensions of Elementary Logic
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Title not available (Why is that?)
• The first order properties of products of algebraic systems
• Modest theory of short chains. I
• Algorithmic uses of the Feferman-Vaught theorem
• Expressibility and Parallel Complexity
• Title not available (Why is that?)
• Weighted automata and weighted logics
• Title not available (Why is that?)
• Weighted logics for unranked tree automata
• Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Weighted Logics for Traces
• Definable Transductions and Weighted Logics for Texts
• Weighted Picture Automata and Weighted Logics
• Incremental model checking for decomposable structures
• Some observations on Uniform Reduction for properties invariant on the range of definable relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weighted automata and monadic second order logic
• The monadic second-order logic of graphs. IX: Machines and their behaviours
• General decomposition problem of fuzzy relations
• The general \(\alpha \)-decomposition problem of fuzzy relations
• Monadic second-order logic, graph coverings and unfoldings of transition systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Finite automata over structures (extended abstract)
• On the convergence exponent of decomposable relations
• On the Decomposition of Fuzzy Functions
• Fuzzy types: A framework for handling uncertainty about types of objects
• An incremental clustering algorithm based on hyperbolic smoothing
• Quantitative Monadic Second-Order Logic
• An analytical approach to evaluating nonmonotonic functions of fuzzy numbers
• Title not available (Why is that?)
• Describing average- and longtime-behavior by weighted MSO logics
• Distributed Reasoning for Multiagent Simple Temporal Problems
• Title not available (Why is that?)
• Periodic generalized automata over the reals
• Maintenance of queries under database changes: a unified logic based approach
• Logics of finite Hankel rank
• BCNF via attribute splitting
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized finite automata over real and complex numbers
• Effective optimization with weighted automata on decomposable trees

Cited In (1)

• A logic based asynchronous multi-agent system

Uses Software

• Easychair

This page was built for publication: A logic-based approach to incremental reasoning on multi-agent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2089459)