Paulo Alexandre Carreira Mateus
AuthID: R-000-E8H
71
TITLE: NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS Full Text
AUTHORS: JAVIER PINTO; AMÍLCAR SERNADAS; CRISTINA SERNADAS; PAULO MATEUS;
PUBLISHED: 2000, SOURCE: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Int. J. Unc. Fuzz. Knowl. Based Syst., VOLUME: 08, ISSUE: 02
AUTHORS: JAVIER PINTO; AMÍLCAR SERNADAS; CRISTINA SERNADAS; PAULO MATEUS;
PUBLISHED: 2000, SOURCE: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Int. J. Unc. Fuzz. Knowl. Based Syst., VOLUME: 08, ISSUE: 02
72
TITLE: Realization of probabilistic automata: Categorical approach
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
