AgentLing.org | European Co-ordination Action for Agent-Based Computing

Institute Of Computer Science, Polish Academy Of Sciences

Membership Details (Research Institute)

Contact: Barbara Dunin-Kęplicz, PhD
Member node: 186
ul. J.K. Ordona 21 01-237 Warszawa Poland
Poland

Description

Activities and interests of the THEORY OF DISTRIBUTED SYSTEMS Group members at ICS PAS center around the following topics:
- multi-agent systems
- agent virtual organizations
- modelling of knowledge and belief
- models of distributed systems
- automated verification and model checking of concurrent systems
- temporal logics for concurrent systems
- cryptographic algorithms
- network-based programming
- Web services

Conducted projects:

1. Design, construction and verification of reconfigurable multi-agent systems [http://www.mimuw.edu.pl/MAS/]. The main objectives of the project are the following:
- to include new vital aspects of CPS into developed formal theory of BDI.
- to develop methods of analysing and designing reconfigurable MAS.
- to adapt methods of conctruction and verification of distributed systems to designing and analysing of multi-agent systems.
- to develop methods of automated verification by model checking for reconfigurable MAS.
- to implement a prototype BDI system realizing CPS based on the above results.

2. ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the Universal Information Ecosystem

3. enTish - a prototype system implementing the idea of Web services. enTish is a middleware for joining heterogeneous services on the one hand, and for using them via Task Manager on the other hand. Entish Dictionary is the place where you can create your own ontology, i.e., introduce names for new datatypes, new functions and new relations. You can also formulate a task that is a composition of the abstract functions already defined in EntishDictionary, and send it to the TaskManager for realizing. The task does not indicate what services are needed (perhaps there are not such services or the services are down, or there are several services realizing the same abstract function). [http://www.ipipan.waw.pl/mas/ent/]

4. VERICS - a prototype verification system (for scientific purposes so far) aimed at verifying distributed systems described either as timed automata or in the specification language ESTELLE. The present version of the system allows for verification of the reachability properties. [http://www.ipipan.waw.pl/~penczek/abmpw/index.htm]

List of relevant publications [http://www.mimuw.edu.pl/MAS/]:

R. Alur, D. Peled, and W. Penczek, Model-Checking of Causality Properties, Proc. of LICS'95, pp. 90-100, 1995.
S. Ambroszkiewicz, O. Matyja, and W. Penczek, Cooperation Mechanisms in a Multi?Agent Distributed Environment. Proc. ECAI-98 Workshop 8: Synthesis of Intelligent Agent Systems from Experimental Data, Brighton, UK, 1998.
S. Ambroszkiewicz, O. Matyja, and W. Penczek, Team Formation by Self-Interested Mobile Agents. Proc. 4-th Australian DAI-Workshop, Brisbane, Australia, Springer LNAI, 1999.
S. Ambroszkiewicz, W. Penczek, and T. Nowak, Towards Formal Specification and Verification in Cyberspace. In Proc. The first Goddard Workshop on Formal Approaches to Agent-Based Systems,6th-7th April 2000, NASA Goddard Space Flight Center, Greenbelt, MD, USA
S. Ambroszkiewicz, K. Cetnarowicz, and W. Penczek, Towards Flexible Architecture of Middle Agent: common ontology, and knowledge. In Proc. AT2AI-2 Second International Symposium "From Agent Theory to Agent Implementation" Held at the 15th European Meeting on Cybernetics and Systems Research (EMCSR 2000) April 25 ? 28, 2000, Vienna, Austria (EU)
S. Ambroszkiewicz, K. Cetnarowicz, J. Kozlak, T. Nowak, W. Penczek. Modeling Agent Organizations. In Proc. Advances in soft computing, Bystra, Poland, June 12-16, 2000
S. Ambroszkiewicz, W. Penczek, and T. Nowak, Towards formal specification and verification in cyberspace, Proc. of FAMS'00, to appear in Springer LNCS 2001.
F. Brazier, B. Dunin-Keplicz, N. Jennings, J. Treur, Formal Specification of Multi?Agent Systems: a Real-World Case. In: Proc. First International Conference on Multi?Agent Systems, ICMAS'95, IEEE Computer Society Press, San Francisco, 1995, pp. 25-32.
F. Brazier, B. Dunin-Keplicz, N. Jennings, J. Treur, Modelling Distributed Industrial Processes in a Multi-Agent Framework. In: Towards the Intelligent Organisation - The Coordination Perspective, Springer-Verlag, 1996.
F. Brazier, B. Dunin-Keplicz, J. Treur, R. Verbrugge, Modelling Internal Dynamic Behaviour of BDI Agents, In: Proc. of ModelAge Final Workshop, Selected Papers, Siena, 1997, LNAI 1760, pp. 36-56.
F. Brazier, B. Dunin-Keplicz, N. Jennings, J. Treur, Modelling Multi-Agent Systems in a Compositional Framework. In: IJCIS, International Journal of Cooperative Systems, Special Issue on Formal Methods in Cooperative Information Systems, Vol 6, Nr 1, 1997, pp. 67-94.
F. Brazier, F.M.T., Dunin-Keplicz, B., Treur, J., and Verbrugge, R., Modelling Internal Dynamic Behaviour of BDI Agents. W: Gabbay, D., Smets, Ph. (eds.), Dynamics and Management of Reasoning Processes. Series in Defeasible Reasoning and Uncertainty Management Systems, vol. 6. Kluwer Academic Publishers, 2001, pp. 339-361.
E. Clarke, U. Goltz, P. Niebert, W. Penczek (editors): Temporal Logics for Distributed Systems - Paradigms and Algorithms, Dagstuhl-Seminar-Report 254, 2000.
P. Dembinski, A. Mazurkiewicz: Rozproszona numeracja wierzcholkow grafu, ICS PAS Report, Warsaw, 1998, 129-130.
P. Dembinski, W. Penczek, W. Pol rola, Verification of Timed Automata based on similarity, Proc. of CSP, Warsaw, pp. 76-86. 2001, to appear in FI.
F. Dignum, B. Dunin-Keplicz, R. Verbrugge. Dialogue in team formation. In: Issues in Agent Communication, LNAI 1916, pp. 264-280.
F. Dignum, B. Dunin-Keplicz, R. Verbrugge. Creating collective intention through dialogue, accepted to FAPR'2000, London, 2000. To appear in Journal of the IGPL.
F. Dignum, B. Dunin-Keplicz, R. Verbrugge. Agent theory for team formation by dialogue, In: Proc. Seventh International Workshop on Agent Theories, Architectures, and Languages, ATAL-2000, Boston, 2000. To appear in LNAI.
F. Dignum, B. Dunin-Keplicz, L. C. Verbrugge. Agent theory for team formation by dialogue. In: R. Schaeffer, S. Sedziwy (eds.), Advances in multi-agent systems, Krakow, Wydawnictwo Uniwersytetu Jagiellonskiego, 2001, ISBN 83-233-1510-8, pp. 67-85.
F. Dignum, B. Dunin-Keplicz, R. Verbrugge, Creating collective intention through dialogue, Logic Journal of the IGPL, vol. 9, nr. 1, 2001, pp. 289--303.
F. Dignum, B. Dunin-Keplicz, L. C. Verbrugge. Agent theory for team formation by dialogue. In: C. Castelfranchi and Y. Lesperance (eds.) Intelligent Agents VII: Agent Theories, Architectures and Languages. Series Lecture Notes in Computer Science no. 1986, Berlin, Springer Verlag, 2001, pp. 150-166.
B. Dunin-Keplicz and J. Treur, Formal Modelling in Multi-Agent Domains. Position papers 8th European Knowledge Acquisition Workshop, EKAW'94, Technical Report 94-2, Vrije Universiteit Brussel, AI Lab, 1994.
B. Dunin-Keplicz, J. Treur, Modelling Reasoning and Acting Agents. In: Proc. 9th Ban. Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95, University of Calgary, 1995, pp. 22-1 - 22-20.
B. Dunin-Keplicz, A. Radzikowska, Epistemic Approach to Actions with Typical Effects, In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proc. ECSQARU'95, LNAI 946, Fribourg, 1995, pp. 180-189.
B. Dunin-Keplicz, A.Radzikowska, Actions with Typical Effects: Epistemic Characterization of Scenarios. Proc. First International Conference on Multiagent Systems, ICMAS'95, IEEE Computer Society Press, San Francisco, 1995.
B. Dunin-Keplicz, A. Radzikowska, Modelling Nondeterministic Actions with Typical Effects. In: Proc. First International Workshop on Decentralized Intelligent Multi?Agent Systems, DIMAS'95, Cracow, 1995, pp. 158-166.
B. Dunin-Keplicz, J. Treur, Compositional Formal Specification of Multi-Agent Systems. Inteligent Agents Proc. of the 1994 Workshop on Agent Theories, Architectures and Languages, LNAI 890, Springer-Verlag, Amsterdam, 1995, pp. 102-117.
B. Dunin-Keplicz, R. Verbrugge. Collective commitments. In: Proc. Second International Conference on Multi-Agent Systems, ICMAS'96, IEEE Computer Society Press, Kyoto, 1996, pp. 56-63.
B. Dunin-Keplicz, A. Radzikowska, Nondeterministic Actions with Typical Effects: Reasoning about Scenarios, In: Proc. of ModelAge Final Workshop, LNAI 1760, Siena, 1997, pp. 143-156.
B. Dunin-Keplicz, R. Verbrugge. A Methodology for Maintaining Collective Motivational Attitudes during Teamwork, In: Multi Agent Systems Models Architectures and Applications, Proc. II Iberoamerican Workshop on DAI and MAS, Toledo, 1998, pp. 45-60.
B. Dunin-Keplicz, R. Verbrugge. A Reconfiguration Algorithm for the Maintenance of Collective Commitments, In: Proc. Third International Conference on Multi?Agent Systems, ICMAS'98, IEEE Computer Society Press, Paris, 1998, pp. 421-423.
B. Dunin-Keplicz, R. Verbrugge. Evolution of teams in collective problem solving, In: PERVS'98 - Problems of Evolution in Real and Virtual Systems, Proc. First International Conference on Philosophy and Computer Science, Cracow, 1998, pp I/18-I/25.
B. Dunin-Keplicz, R. Verbrugge. Collective decision making in BDI-systems, Integrating Technology and Human Decisions: Global Bridges into the 21st Century, Proc. Fifth International Conference of the Decision Sciences Institute, Ateny, New Technology Publications, 1999, ISBN 0-9667118-1-5, pp. 618-621.
B. Dunin-Keplicz, R. Verbrugge. Collective motivational attitudes in Cooperative Problem Solving, In: Proceedings of The First International Workshop of Central and Eastern Europe on Multi-agent Systems, CEEMAS'99, St. Petersburg, 1999, pp. 22-41.
B. Dunin-Keplicz, R. Verbrugge. The role of dialogue in Cooperative Problem Solving, In: Autonomous Agents 2000 Workshop on: Intelligent Agents for Computer Supported Co-operative Work: Technology and Risks, Barcelona, 2000, pp. 1-16.
B. Dunin-Keplicz, R. Verbrugge, Collective intention constitutes a group. In: Y. Demazeau and F. Garijo (eds.), Proceedings of the 10th European Workshop on Modelling Autonomous Agents in a Mulit-Agent World, MAAMAW'01, 2001, pp.1-16. To appear in LNAI.
B. Dunin-Keplicz, R. Verbrugge, The role of dialogue in collective problem solving. In: E. Davis et al. (eds.) Proceedings of the Fifth International Symposium on the Logical Formalization of Commonsense Reasoning (Commonsense 2001), New York, 2001, pp. 89-104.
B. Dunin-Keplicz, R. Verbrugge, A reconfiguration algorithm for distributed problem solving, Engineering Simulation, 2001 OPA (Overseas Publishers Association), Vol.18, pp. 227-246.
B. Dunin-Keplicz, R. Verbrugge, Evolution of collective commitment during reconfiguration, accepted to the conference Autonomous Agents and Multi?Agent Systems, AAMAS'02, Bolonia, July 2002.
B. Dunin-Keplicz, R. Verbrugge, Collective intentions, accepted to Fundamenta Informaticae.
R. Gerth, R. Kuiper, D. Peled, W. Penczek, A Partial Order Approach to Branching Time Logic Model Checking, Information and Computation, Vol. 150, No. 2, pp. 132-152, 1999.
Mazurkiewicz, A: Traces, Histories, Graphs: Instances of a Process Monoid Proc. of MFCS'84, Lecture Notes in Computer Science, Springer Verlag, vol. 176 (1984) 115-133.
Mazurkiewicz, A: Semantics of Concurrent Systems: a Modular Fixed-Point Trace Approach, Advances in Petri Nets, Lecture Notes in Computer Science, Springer Verlag, vol. 188 (1985) 353-375.
Mazurkiewicz, A: Trace Theory, Advances in Petri Nets, Lecture Notes in Computer Science, Springer Verlag, vol 255 (1986) 279-324.
Mazurkiewicz, A: Complete Processes and Inevitability, Techn. Report of Comp. Sci. Dept. of Leiden University TR 86-06 (1986).
Mazurkiewicz, A: Solvability of the Asynchronous Ranking Problem, Information Processing Letters nr. 28 (1988) 221-224.
Mazurkiewicz, A: Compositional Semantics of Pure Place/Transition Systems, Fundamenta Informaticae vol. XI (1988) 331-356.
Mazurkiewicz, A: Basic Notions of Trace Theory, Proceedings of REX Workshop and Summer School on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, May/June 1987, Lecture Notes in Computer Science, Springer Verlag, vol. 354 (1988) 285-363.
Mazurkiewicz, A: Concurrency, Modularity, and Synchronization, Proceedings of MFCS'89, Porbka - Kozubnik, Lecture Notes in Computer Science, Springer Verlag, vol. 379 (1989) 577-598
Mazurkiewicz, A., Ochmanski, E., Penczek, W.: Concurrent Processes and Inevitability, Theoretical Computer Science vol. 64 nr. 3 (1989) 281-304.
Mazurkiewicz, A: Elections in planar graphs, LaBRI Report 90-105, Universit Bordeaux I (1990)
Mazurkiewicz, A., Rabinovich,A., Trakhtenbrot,B.A.: Connectedness and Synchronization, Theoretical Computer Science vol. 90 nr.1 (1991) 171-184.
Mazurkiewicz, A: Distributed Disassembly of Mosaics, Information Processing Letters 46 (1993) 173-178.
Mazurkiewicz, A: Introduction to Trace Theory, in: Book of Traces, V.Diekert and G.Rozenberg, eds., World Scientific, Singapore, New Jersey, London,Hong Kong, (1994) 3-41.
Mazurkiewicz, A: True versus artificial concurrency, Proc. of the XVth International Symposium on Protocol Specification, Testing, and Verification PSTV'95 (1995) 53-70.
Mazurkiewicz, A: Locally Computable Enumeration, Proceedings of XI International Symposium on Fundamentals of Computation Theory FCT'97, Lecture Notes in Computer Science 1279 (1997) 51-66.
Mazurkiewicz, A: Distributed enumeration, Information Processing Letters 61 (1997) 233-239
Mazurkiewicz, A: Prefix function view on states and events, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 29, Princeton (1997) 1-23.
Mazurkiewicz, A., Wroblewski, D.: Messages, Clocks, and Gravitation, In: Proceedings of the Second International Workshop of Central and Eastern Europe on Multi?Agent Systems, CEEMAS'01, B. Dunin-Keplicz, E. Nawarecki (Eds.) Krakow, 26-29 September 2001., pp. 163-172.
W. Penczek, A temporal logic for event structures, Fundamenta Informaticae XI, pp. 297-326, 1988.
W. Penczek, A Temporal Logic for the Local Specification of Concurrent Systems. Information Processing IFIP-89, pp. 857-862, 1989.
W. Penczek, Model checking for a Fragment of Event Structures, Proceedings of TACAS'97, LNCS 1217, pp. 146-164, 1997.
W. Penczek, S. Ambroszkiewicz, Model checking of causal knowledge formulas, Proc. of FCT'99 Workshop on Distributed Systems, pp. 77 - 96, ENTCS Vol. 28, Elsevier Science, 1999.
W. Penczek, Temporal Approach to Causal Knowledge, International Journal of the IGPL, Vol. 8(1), pp. 87-99, 2000.
W. Penczek, Partial order reductions for checking branching properties of Time Petri Nets, Proc. of CSP, Berlin, 2000.
W. Penczek, M. Szreter, R. Gerth and R. Kuiper, Improving Partial Order Reductions for Universal Branching Time Properties, Fundamenta Informaticae 43, 2000.
W. Penczek i A. Polrola, Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets, Proc. of ICATPN, LNCS 2075, pp. 323-342, 2001.
W. Penczek i B. Wozna, Towards Bounded Model Checking for Timed Automata, Proc. of CSP, Warsaw, pp. 195-209, 2001.
W. Penczek, A local approach to modal logic for multi-agent systems, Proc. of Workshop on Logic and Logical Philosophy, Dresden, 2001.
W. Penczek, Automatyczna weryfikacja systemow zaleznych od czasu, Dzialalnosc naukowa PAN, pp. 115-117, Maj 2001.
W. Penczek, Efficient model checking of causal-knowledge protocols, Proc. of CEEMAS'01, pp. 217-226, 2001, to appear in LNCS.
W. Penczek, Model checking for modal logics, Proc. of Workshop on Theory and Applications of Multiple-Valued Logic, Warsaw, pp. 85-90, 2001.
W. Penczek, P. Dembinski i A. Polrola, Automated verification of infinite state concurrent systems: an improvement in model generation, Proc. of PPAM'01, to appear in LNCS, 2001.
M. Szreter and W. Penczek, Metody automatycznej weryfikacji dla systemow z czasem, Proc. of SCR, Krakow, 2000.
M. Szreter and W. Penczek, More than one, less than all: Linear to Branching revisited, Proc. of CSP, Berlin, 2000.

This list was generated on Mon Sep 10 16:39:40 BST 2007.