• 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

Books Chapters

Inspecting Side-Effects of Abduction in Logic Programs

Book Chapter

Published in 01/01/2011

Authors

Luís Moniz Pereira, M. Balduccini, Luís Moniz Pereira, M. Balduccini, Alexandre Pinto, Tran Cao Son, Alexandre Pinto, S. Tran,

The messianic effect of pathological altruism

Book Chapter

Published in 01/01/2011

Authors

Jorge M. Pacheco, Francisco Santos,

Hybrid Assessment Method for SPL

Book Chapter

Published in 01/01/2011

Authors

Afonso Pimentel, Rita Ribeiro, Ana Moreira, João Araújo, Pim van den Broek,

Evidential Probability and Objective Bayesian Epistemology

Book Chapter

Published in 01/01/2011

Authors

Prasanta Bandyopadhyay, Gregory Wheeler, Jon Williamson, Malcolm Forster,

Poincaré, Hilbert and the Paradoxes

Book Chapter

Published in 01/01/2011

Authors

Reinhard Kahle, Hassan Tahiri,

Managing Information Flow in SPL Development Processes

Book Chapter

Published in 01/01/2011

Authors

Nicolas Anquetil , Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler,

Advanced Mechanisms for Service Combination and Transactions

Book Chapter

Published in 01/01/2011

Authors

Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro,

Adaptive Reasoning for Cooperative Agents

Book Chapter

Published in 01/01/2011

Authors

Luís Moniz Pereira, Salvador Abreu, Alexandre Pinto, Deitmar Seipel,

Reference Model and Perspective Schemata Inference for Enterprise Data Integration

Book Chapter

Published in 01/01/2011

Authors

Salvador Abreu, João Moura Pires, Deitmar Seipel,

Tools and Verification

Book Chapter

Published in 01/01/2011

Authors

Massimo Bartoletti, Luis Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino,

Posts pagination

Previous 1 … 8 9 10 … 21 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