Logic for Multiagent Systems
Master 1st Year, Department of Computer Science,
Faculty of Mathematics and Computer Science,
1st Semester 2024/2025
Instructors:
Laurenţiu Leuştean,
Horaţiu Cheval
Administrative information
Informations about the exam
Exam 2024: Problems
Solutions
Test Lab 2024: Problems
Solutions
Lectures:
Handout, Handout - 4 slides on page
(version 16.12.2024)
Textbooks
- Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Vardi,
Reasoning About Knowledge, MIT Press, 2004
- P. Blackburn, M. de Rijke, Y. Venema, Modal Logic,
Cambridge University Press, 2002.
- Michael Wooldridge,
An Introduction to MultiAgent Systems - Second Edition, John Wiley & Sons, 2009
Lean resources
Useful links
Bibliography
Multiagent Systems
- M.R. Genesereth, N.J. Nilsson
Logical Foundations of Artificial Intelligence, Morgan Kaufmann, 2014
- S. Russell, P. Norvig, Artificial Intelligence: A
Modern Approach, 4th edition, Pearson, 2020
- Y. Shoham, K. Leyton-Brown, Multiagent Systems
Algorithmic, Game-Theoretic, and Logical Foundations, Cambridge University Press, 2009
- G. Weiss (Ed.), Multiagent
Systems, Second Edition, MIT Press, 2013
Logic
- Open Logic Project
- Logic Matters
- A. Bradley, Z. Manna, The Calculus of Computation, Springer, 2007
- J. Gallier, Logic for Computer Science:
Foundations of Automatic Theorem Proving, Second Edition, Dover, 2015
- G. Georgescu, Elemente de logică matematică, Academia Militară, 1978
- P. G. Hinman,
Fundamentals of mathematical logic, A K Peters, 2005
- M. Huth, M. Ryan,
Logic in Computer Science, Cambridge University Press, 2004
- J.D. Monk, Mathematical Logic,
Springer Verlag, 1976
- U. Schöning, Logic for Computer Scientists,
Birkhäuser, 1989