Multiagent Compromises‚ Joint Fixpoints‚ and Stable Models

Multiagent Compromises‚ Joint Fixpoints‚ and Stable Models

Bibliographic Details
Main Authors:	Buccafurri, F, Gottlob, G
Format:	Conference item
Published:	Springer 2002

Similar Items

Fixpoint Theory -- Upside Down
by: Paolo Baldan, et al.
Published: (2023-06-01)

On independence-friendly fixpoint logics
by: J. C. Bradfield
Published: (2004-10-01)

Characterizing definability in decidable fixpoint logics
by: Benedikt, M, et al.
Published: (2017)

The Complexity of Independence−Friendly Fixpoint Logic
by: Bradfield, J, et al.
Published: (2007)

The Complexity of Independence−Friendly Fixpoint Logic
by: Bradfield, J, et al.
Published: (2005)

The Complexity of Model Checking Higher-Order Fixpoint Logic
by: Roland Axelsson, et al.
Published: (2007-06-01)

Model-checking games for fixpoint logics with partial order models
by: Gutierrez, J, et al.
Published: (2010)

Model-checking games for fixpoint logics with partial order models
by: Gutierrez, J, et al.
Published: (2009)

Model-checking games for fixpoint logics with partial order models
by: Gutierrez, J, et al.
Published: (2011)

On fixpoint logics and equivalences for processes with restricted nondeterminism
by: Gutierrez, J
Published: (2015)

On fixpoint logics and equivalences for processes with restricted nondeterminism
by: Gutierrez, J
Published: (2015)

Definability and interpolation within decidable fixpoint logics
by: Benedikt, M, et al.
Published: (2019)

A Probabilistic Higher-order Fixpoint Logic
by: Yo Mitani, et al.
Published: (2021-12-01)

Definability and Interpolation within Decidable Fixpoint Logics
by: Michael Benedikt, et al.
Published: (2019-09-01)

A step up in expressiveness of decidable fixpoint logics
by: Boom, M, et al.
Published: (2016)

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
by: Alberto Lluch Lafuente, et al.
Published: (2017-03-01)

LNL-FPC: The Linear/Non-linear Fixpoint Calculus
by: Bert Lindenhovius, et al.
Published: (2021-04-01)

Fixing incremental computation: derivatives of fixpoints, and the recursive semantics of datalog
by: Alvarez-Picallo, M, et al.
Published: (2019)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
by: Lukasiewicz, T
Published: (2001)

Enhancing Model Checking in Verification by AI Techniques
by: Buccafurri, F, et al.
Published: (1999)

Multiagent Hierarchical Cognition Difference Policy for Multiagent Cooperation
by: Huimu Wang, et al.
Published: (2021-03-01)

Multiagent-Based Model For ESCM
by: Delia MARINCAS
Published: (2011-01-01)

Multiagent systems /
by: Weiss, Gerhard, editor
Published: (2013)

On ACTL Formulas Having Linear Counterexamples
by: Buccafurri, F, et al.
Published: (2001)

An introduction to multiagent systems /
by: Wooldridge, Michael J., 1966-
Published: (2002)

An introduction to multiagent systems /
by: 277851 Wooldridge, Michael
Published: (2009)

Exploring the multiage classroom /
by: Bingham, Anne A.
Published: (1995)

Approximating the Stable Model Semantics is Hard
by: Gottlob, G, et al.
Published: (1996)

Application of the multiagent approach for modeling integrated energy systems
by: V. A. Stennikov, et al.
Published: (2021-03-01)

Learning and Cooperation in Multiagent Systems
by: Ma, J
Published: (2007)

Coevolutionary computation and multiagent systems /
by: Jiao, Li-cheng, et al.
Published: (c201)

Synchronization and control of multiagent systems /
by: Sun, Dong, 1967-
Published: (c201)

Cluster Flows and Multiagent Technology
by: Oleg Granichin, et al.
Published: (2020-12-01)

Multiaged silviculture in North America
by: K. L. O'Hara
Published: (2009-09-01)

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
by: Eiter, T, et al.
Published: (1997)

Trajectory Modeling by Distributed Gaussian Processes in Multiagent Systems
by: Dongjin Xin, et al.
Published: (2022-10-01)

A Bayesian multiagent trust model for social networks
by: Sardana, Noel, et al.
Published: (2020)

Applying activity theory in multiagency settings
by: Daniels, H
Published: (2016)

Multiagent engineering : theory and applications in enterprises /
by: Kirn, Stefan
Published: (2006)

Advanced Distributed Consensus for Multiagent Systems /
by: Mahmoud, Magdi S., author 318613, et al.
Published: (2021)