Arquivo de Articles - Page 38 of 67 - NOVA LINCS NOVA LINCS

Login

Synthesizing advanced transaction models using the situation calculus

Published in 01/07/2009

Authors

Iluju Kiringa, Iluju Kiringa, Alfredo Gabaldon, Alfredo Gabaldon,

Synthesizing advanced transaction models using the situation calculus

Published in 01/07/2009

Authors

Iluju Kiringa, Iluju Kiringa, Alfredo Gabaldon, Alfredo Gabaldon,

Are the native states of proteins kinetic traps?

Published in 01/06/2009

Authors

Leonor Cruzeiro, Paulo Afonso Lopes,

Computational Modelling of Morality

Published in 01/03/2009

Authors

Luís Moniz Pereira, Ari Saptawijaya,

Focused Correlation and Confirmation

Published in 01/03/2009

Authors

Gregory Wheeler,

Behavioral Algebraization of Logics

Published in 01/02/2009

Authors

C. Caleiro, Ricardo Gonçalves, M. Martins,

Advanced Separation of Concerns in Agent-Oriented Design Patterns

Published in 01/02/2009

Authors

Carla Silva, Jaelson F. B. Castro, João Araújo, Ana Moreira,

Lazy constraint imposing for improving the path constraint

Published in 01/01/2009

Authors

Ruben Viegas, Ruben Viegas, Francisco Azevedo, Francisco Azevedo,

Review of Vincent Hendricks and John Symons’s ‘Formal Philosophy

Published in 01/01/2009

Authors

Gregory Wheeler,

An Evaluation of Radiometric Products from Fixed-Depth and Continuous In-Water Profile Data from Moderately Complex Waters

Published in 01/01/2009

Authors

G. Zibordi, J.-F. Berthon,