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

DOI10.1007/978-3-030-78163-7_18MaRDI QIDQ2089459zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

multi-agent systemincremental reasoninglogical reduction sequencestrongly distributed system

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(1)

• A logic based asynchronous multi-agent system

Describes a project that uses

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)