A Logic-Based Approach to Incremental Reasoning on Multi-agent Systems
- 30 September 2021
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 79 references indexed in Scilit:
- From XQuery to relational logicsACM Transactions on Database Systems, 2009
- Quantified epistemic logics for reasoning about knowledge in multi-agent systemsArtificial Intelligence, 2009
- The general α-decomposition problem of fuzzy relationsInformation Sciences, 2007
- Oracles and quantifiersPublished by Springer Science and Business Media LLC ,2006
- On transitive closure logicPublished by Springer Science and Business Media LLC ,2005
- The monadic second-order logic of graphs IX: Machines and their behavioursTheoretical Computer Science, 1995
- Intelligent agents: theory and practiceThe Knowledge Engineering Review, 1995
- LogP: towards a realistic model of parallel computationACM SIGPLAN Notices, 1993
- Modest theory of short chains. IThe Journal of Symbolic Logic, 1979
- First Order Predicate Logic with Generalized QuantifiersTheoria, 1966