• W. A. Carnielli, C. Sernadas, and A. Zanardo. Preservation of interpolation by fibring. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 151--157, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.
    Get a preprint: 04-CSZ-fiblog21s.pdf 
  • J. Pinto, A. Sernadas, C. Sernadas, and P. Mateus. Non-determinism and uncertainty in the Situation Calculus. In A. Kumar and I. Russell, editors, Proceedings of the FLAIRS'99 - the 12th International Florida AI Research Symposium, pages 454--460. AAAI Press, 1999. Short version of pin:acs:css:pmat:99b.
    Get a preprint: 98-PSSM-probsc.ps 
  • P. Gouveia and C. Sernadas. Abduction in temporal object specification using tableaux. In P. Baumgartner, R. Hahnle, and J. Possega, editors, 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods - Poster Session and Short Papers, pages 43--48. University of Koblenz, 1995.
  • P. Gouveia and C. Sernadas. Reasoning aspects in information systems and databases. In A. Olivé, editor, The Deductive Approach to Information Systems and Databases 93, pages 201--224. Universitat Politècnica de Catalunya, 1993.
  • P. Gouveia, C. Sernadas, J. Gomes, and J. Apolinário. Tableaux for reasoning about objects. In D. Basin, R. Hahnle, B. Fronhofer, J. Possegge, and C. Schwind, editors, Theorem Proving with Analytic Tableaux and Related Methods, pages 113--125. Max-Planck-Institut für Informatik, 1993.
    Get a preprint: 93-GSGA-tfrab.ps 
  • C. Sernadas, P. Gouveia, and M. A. Lopes. Gentzen-type system for verification in conceptual modeling. In J. Göers, A. Heuer, and G. Saake, editors, Foundations of Models and Languages for Data and Objects, pages 215--228. TU Clausthal, 1991.
  • C. Sernadas, P. Gouveia, L. Silva, and M. A. Lopes. Objects as structuring units for incorporating dynamics in deductive conceptual modeling. In The Deductive Approach to Information Systems and Databases 90, pages 93--110. Universitat Politècnica de Catalunya, 1990.
  • C. Sernadas, P. Mendes, A. Hespanha, F. Santos, S. Mascarenhas, and A. Sernadas. An object-oriented representation of the dogmatics of omission to help in criminal law. In A. Martino, editor, Computers, Logic and Law, pages 781--809. Istituto per la Documentazione Giuridica, Pisa, Italy, 1989.
  • H. Coelho, G. Gaspar, and C. Sernadas. Societies of knowledge based systems. In Proceedings of EuropIA. Hermes Editions, 1988.