PROTEAN - Proof Theory and Multi-Agent Systems Discussion Group
Description
We discuss philosophical and computational aspects of belief representation and reasoning in multi-agent systems. Our interests include, but are not limited to:
- Expressivity of various logics
- Multi-agent belief change, revision, fusion, and merging
- Preference & judgement aggregation
- Sequent calculus
Contact
- Matti Nykänen, Ph.D. (primary contact)
- Satu Eloranta, Ph.Lic., Assistant
- Olli Niinivaara, M.Sc., Ph.D. Student
- Raul Hakli, M.Sc., Ph.D. Student
Resources
Logics
- Description Logic
- Hybrid Logic
- Logic of Context
- Modal Logic
- Non-monotonic Logic
- Preference Logic
- Probabilistic Logic
- Propositional Logic
- BIT Logic
- Communication Attitude Logic
- Contextual Default Logic
- Cooperation Logic with Actions
- General Logic of Judgment Aggregation
- Dynamic Epistemic Upgrade Logic
- Logic of Communication Graphs
- Logic of Negotiation Spaces
- Logic of Preferences
- Logic of Social Welfare
- Modal Preferential Entailment Logic
- Multi-Modal Logic of Context (C)
- O3L
- OntoSTIT+
- P-DeLP
- Paranormal Modal Logic
- Prioritized Default Logic
- S-ALC
- X-Logic
Conferences
- AAAI - National Conference on Artificial Intelligence
- AAMAS - International Joint Conference on Autonomous Agents and Multiagent Systems
- CADE - International Conference on Automated Deduction
- CIKM - International Conference on Information and Knowledge Management
- CLIMA - Computational Logic in Multi-Agent Systems
- COMSOC - International Workshop on Computational Social Choice
- CONTEXT - International and Interdisciplinary Conference on Modeling and Using Context
- DALT - Declarative Agent Languages and Technologies
- ECSQARU - Symbolic and Quantitative Approaches to Reasoning and Uncertainty
- EKAW - Knowledge Acquisition, Modeling and Management
- FLoC - Federated Logic Conference
- FoIKS - International Symposium on Foundations of Information and Knowledge Systems
- FroCoS - Frontiers of Combining Systems
- IAT - International Agent Technology Conference
- ICFCA - International Conference on Formal Concept Analysis
- IIWAS - International Conference on Information Integration and Web-based Applications & Services
- IJCAI - International Joint Conference on Artificial Intelligence
- IRI - Information Reuse and Integration
- ISMIS - International Syposium on Methodologies for Intelligent Systems
- JELIA - Logics in Artificial Intelligence
- KR - Principles of Knowledge Representation and Reasoning
- LCD - Workshop on Logics and Collective Decision Making
- LICS - Logic in Computer Science
- LPNMR - Logic Programming and Non-Monotonic Reasoning
- TARK - Theoretical Aspects of Rationality and Knowledge
- UAI - Uncertainty in Artificial Intelligence
Past events
- 2007-06-05: Rott, H., Bounded Revision: Two-Dimensional Belief Change Between Conservatism and Moderation. in: Hommage a Wlodek. Philosophical Papers Dedicated to Wlodek Rabinowicz, hrsg. v. Toni Rønnow-Rasmussen, Björn Petersson, Jonas Josefsson and Dan Egonsson
- 2007-05-22: Schlechta, K., Non-prioritized belief revision based on distances between models. Theoria 63, 1-21-2,(1997), 34-53.
- 2007-05-08: Rott, H., Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators. in: Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, hrsg. v. Henrik Lagerlund, Sten Lindström und Rysiek Sliwinski, Uppsala Philosophical Studies, Vol. 53, Uppsala Universitet, 2006, 359-384.
- 2007-05-08: Hansson, S., A Survey of non-Prioritized Belief Revision. Erkenntnis, 50, 2-3, (1999), 413-427
- 2007-04-17 - 2007-04-24: Katsuno, H., Mendelzon, A., On the Difference between Updating a Knowledge Base and Revising it. In Principles of Knowledge Representation and Reasoning: Proc. Second International Conference (KR '91), 387-394.
- 2007-04-10: Altman A., Tennenholtz, M., On the Axiomatic Foundations of Ranking Systems. IJCAI, 2005.
- 2007-03-20 - 2006-04-03: Gabbay, D., Pigozzi, G., Rodrigues, O., Belief Revision, Belief Merging and Voting. Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06), G. Bonanno, W. van der Hoek, and M. Wooldridge (eds.), 13-15 July, University of Liverpool, UK, 71-78, 2006.
- 2007-03-06: Arrow's Impossibility Theorem, e.g. Feldman and Serrano, 2007
- 2007-02-06: Blackburn, P., Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of IGPL, 8(3), 2000, 339-365.
- 2006-09-15 - 2006-11-24: van Ditmarsch, H., et al., Dynamic Epistemic Logic (book manuscript).
- 2006-06-16: Spohn, W., Ranking Functions, AGM Style. In: Hansson, B., et al. (eds.), Internet Festschrift for Peter Gärdenfors, Lund 1999.
- 2006-06-13: Paglieri, F., Castelfranchi, C., The Toulmin's Test: Framing argumentation within belief revision theories. In D. Hitchcock, B. Verheij (Eds.): Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation. Argumentation Library, Vol. 10. Springer, Dordrecht, 2006.
- 2006-06-07: Spohn, W., Ordinal conditional functions: a dynamic theory of epistemic states. In W.L. Harper and B. Skyrms (Eds.): Causation in Decision, Belief Change, and Statistics 11, 1988, 105-134.
- 2006-06-03: Artemov, S., Nogina, E., Introducing justification into epistemic logic. Journal of Logic and Computation 15, 6, 2005, 1059-1073.
- 2006-05-18: Edgington, D., Conditionals. The Stanford Encyclopedia of Philosophy (Spring 2006 Edition), Edward N. Zalta (ed.)
- 2006-05-05: Halpern, J., Reasoning about Uncertainty. The MIT Press, 2003.
- 2006-04-13: van Ditmarsch, H., Prolegomena to Dynamic Logic for Belief Revision. Synthese 147, 2005, 229-275.
- 2006-03-03: Liau, C.-J., Belief, information acquisition, and trust in multi-agent systems - A modal logic formulation. Artificial Intelligence 149, 2003, 31-60.