Filipe Alexandre Azinhais dos Santos
 


      Departamento de Ciências e Tecnologias de Informação (DCTI), Gabinete D6.07
                Instituto Superior de Ciências do Trabalho e da Empresa (ISCTE)
                Av. das Forças Armadas
                1649-026 Lisboa Codex, Portugal
      Filipe.Santos@iscte.pt
         +351 217903968

  Fax:        +351 217903099


Biography

Filipe Santos was born in 1961 in Sintra, Portugal. He received the Licenciatura in Applied Mathematics from FCUL-UL (1987), MSc in Applied Mathematics from IST-UTL (1991) and PhD in Computer Science from FCUL-UL (1998). He is Assistant Professor in the Department of  Information Science and Technology at ISCTE - Lisbon. In the last years he has been a coordinator and teacher of some disciplines of undergraduate and graduate courses on "Computer Science and Management", "Telecommunication and Computer Science " and "Management  Information Systems" at ISCTE: Algorithms and Data Structures, Programming Languages, Computer Science Theory, Logic Programming, Databases, Decision Support Systems and Applied Modal Logic. He develops research activities on Modal Logic and its applications in juridical knowledge representation and specification of information systems and organizations.


Publications

Academic examinations

Uma Lógica Deôntica de Acções para a Representação do Conhecimento Jurídico, MSc dissertation, IST-UTL, 1991

Lógicas Modais de Acção para a Modelação da Interacção entre Agentes e de Organizações, PhD dissertation, FCL-UL, 1998

Last Research papers (internationally refereed)

O. Pacheco and F. Santos, "Delegation in a Role-based Organization". In Proc. Seventh International Workshop on Deontic Logic in Computer Science, (DEON'04), A. Lomuscio e D. Nute (eds), Springer LNAI 3065, 209-227, 2004

F. Santos and O. Pacheco, "Specifying and Reasoning with Institutional Agents". In Proc. The 9th International Conference on Artificial Intelligence and Law (ICAIL 2003), University of Edinburgh, ACM Press, 162-170, 2003

F. Santos, "A Modal Logic Framework for Organization Analysis and Design". In Proc. Sixth International Workshop on Deontic Logic in Computer Science (DEON'02), J. Horty and A.I.J. Jones (eds), Imperial College, 279-297, 2002

F. Santos, A.J.I. Jones and J. Carmo, "Responsibility for Action in Organisations: a Formal Model". In Contemporary Action Theory, vol. I, G. Holmström-Hintikka and R. Tuomela (eds), Kluwer Academic Publishers, 333-348, 1997

F. Santos, A.J.I. Jones and J. Carmo, "Action Concepts for Describing Organised Interaction". In Proc. Thirtieth Annual Hawaii International Conference on System Sciences (HICSS-30), vol. 5, R.H. Sprague (ed), IEEE Computer Society Press, 373-382, 1997

F. Santos and J. Carmo, "A Modal Action Logic Based Framework for Organization Specification and Analysis". In Proc. Fifth European Workshop on Logics in AI (JELIA'96), J.J. Alferes, L.M. Pereira and E. Orlowska (eds), Springer LNAI 1126, 119-133,1996

F. Santos and J. Carmo, "Indirect Action, Influence and Responsibility". In Deontic Logic, Agency and Normative Systems, M. Brown and J. Carmo (eds), Springer, 194-215, 1996