- 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.