• About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society
Login
  • About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society

Articles

Synthesizing advanced transaction models using the situation calculus

Article

Published in 01/07/2009

Authors

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

Evolving Towards an Evolutionary Epistemology

Article

Published in 01/07/2009

Authors

Luís Moniz Pereira,

Are the native states of proteins kinetic traps?

Article

Published in 01/06/2009

Authors

Leonor Cruzeiro, Paulo Afonso Lopes,

Focused Correlation and Confirmation

Article

Published in 01/03/2009

Authors

Gregory Wheeler,

Computational Modelling of Morality

Article

Published in 01/03/2009

Authors

Luís Moniz Pereira, Ari Saptawijaya,

Advanced Separation of Concerns in Agent-Oriented Design Patterns

Article

Published in 01/02/2009

Authors

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

Behavioral Algebraization of Logics

Article

Published in 01/02/2009

Authors

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

Introduction to the Special Issue on Combining Probability and Logic

Article

Published in 01/01/2009

Authors

Fabio Cozman, Rolf Haenni, Jan Willem Romeijn, Gregory Wheeler, Jon Williamson,

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs

Article

Published in 01/01/2009

Authors

Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio,

ERASP – A System for Enhancing Recommendations using Answer-Set Programming

Article

Published in 01/01/2009

Authors

Manoela Ilic, João Leite, Martin Slota,

Posts pagination

Previous 1 … 37 38 39 … 67 Next
  • Home
  • Events
  • About Us
  • News
  • People
  • Society

follow us

NOVA School of Science & Technology
Department of Computer Science
Campus de Caparica
2829-516 Caparica
Portugal

nova-lincs.sec@fct.unl.pt
direct +351 212948536
central +351 212948300

NOVA LINCS receives financial support from FCT under the funding:

UIDB/04516/2020 UIDP/04516/2020