Logic and geometry of agents in agent-based modeling

DOI10.1007/978-1-0716-0368-0_313MaRDI QIDQ5150306zbMATH OpenOpenAlexFDO

Authors Samson Abramsky

Publication date 15 February 2021

Published in Complex Social and Behavioral Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-0716-0368-0_313

zbMATH Keywords

agent-based modelinglogic and geometry of interaction

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80) 2-person games (91A05) Combinatorial games (91A46)

Recommendations

• Agent-Based Modeling and Artificial Life
• On the probabilistic approach to heterogeneous structure interactions in agent-based computational models
• From equations to patterns: Logic-based approach to general systems theory
• Agent-based modeling, mathematical formalism for
• Complex social and behavioral systems. Game theory and agent-based models

Cites work

• A game semantics for generic polymorphism
• Abstract Physical Traces
• Algebra and Coalgebra in Computer Science
• An Invariant of Regular Isotopy
• Automata, Languages and Programming
• Coherence for compact closed categories
• Foundations of Software Science and Computation Structures
• Full abstraction for idealized Algol with passive expressions
• Full abstraction for PCF
• Games and full completeness for multiplicative linear logic
• scientific article; zbMATH DE number 1670817 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 1342245 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 2110612 (Why is no real title available?)
• scientific article; zbMATH DE number 820895 (Why is no real title available?)
• scientific article; zbMATH DE number 3046665 (Why is no real title available?)
• Linear logic
• New foundations for the geometry of interaction
• On full abstraction for PCF: I, II and III
• Probabilistic game semantics
• Retracing some paths in process algebra
• Softness of hypercoherences and MALL full completeness
• The shuffle Hopf algebra and noncommutative full completeness
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(2)

• scientific article; zbMATH DE number 1773056 (Why is no real title available?)
• Optimal control of sugarscape agent-based model via a PDE approximation model

This page was built for publication: Logic and geometry of agents in agent-based modeling

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