[agents] Special Issue of the Journal Information and Computation on “Logical Aspects of Multi-Agent Systems and Strategic Reasoning”

[Munyque Mittelmann]

*** Call for Papers ***

Logical Aspects of Multi-Agent Systems and Strategic Reasoning

Special Issue of the Journal Information and Computation


*** Important Dates ***

- Manuscript submission deadline: June 30th, 2025

- Author notification: August 30th, 2025

- Revised manuscripts due: October 30th, 2025

- Expected publication by December 30th, 2025


**** Overview *****

Following the 2024 edition of the International Workshop on Logical 
Aspects of Multi-Agent Systems and Strategic Reasoning, it is our 
pleasure to announce the possibility of publishing work on the workshop 
topics in the upcoming Special Issue of the Journal Information and 
Computation.


**** List of Topics ****

Manuscripts are invited on topics related to logics and strategic 
reasoning in multi-agent systems, from theoretical foundations to 
algorithmic methods and implemented tools. The topics include (but are 
not restricted to):

- Logical systems for specification, analysis, and reasoning about 
multi-agent systems

- Logic-based modelling of multi-agent systems

- Dynamical multi-agent systems

- Deductive systems and decision procedures for logics for multi-agent 
systems

- Development and implementation of methods for verification of 
multi-agent systems

- Logic-based tools for multi-agent systems

- Logics for reasoning about strategic abilities

- Logics for multi-agent mechanism design, verification, and synthesis

- Logical foundations of decision theory for multi-agent systems

- Strategic reasoning in formal verification

- Automata theory for strategy synthesis

- Applications and tools for cooperative and adversarial reasoning

- Robust planning and optimization in multi-agent systems

- Risk and uncertainty in multi-agent systems

- Quantitative aspects in strategic reasoning


**** Guest Editors ****

Angelo Ferrando, Munyque Mittelmann, and Aniello Murano


**** Submission ****

Submissions of original papers (unpublished and not submitted for 
publication elsewhere), up to 40 pages (excluding references) are 
invited through the following website: 
https://www.editorialmanager.com/yinco/default2.aspx 
<https://www.editorialmanager.com/yinco/default2.aspx>

(Select article type: VSI:LAMAS&SR 2024).

Manuscripts should be typeset according to the journal guidelines

https://www.sciencedirect.com/journal/information-and-computation/publish/guide-for-authors 
<https://www.sciencedirect.com/journal/information-and-computation/publish/guide-for-authors>


For LaTeX submissions, authors are encouraged to use the journal article 
template that can be downloaded here:

https://www.elsevier.com/researcher/author/policies-and-guidelines/latex-instructions 
<https://www.elsevier.com/researcher/author/policies-and-guidelines/latex-instructions>


To express interest in submission and for more information, please 
contact Munyque Mittelmann at munyque.mittelmann at unina.it
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20250429/9b9258d1/attachment-0001.htm>