• 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

A Logic Programming System for Non-monotonic Reasoning

Article

Published in 01/01/1995

Authors

José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira,

Candidate Metrics for Object-Oriented Software within a Taxonomy Framework

Article

Published in 01/07/1994

Authors

Fernando Brito e Abreu,

EPISTOL: the future of knowledge based systems and techniques for the health sector

Article

Published in 01/01/1994

Authors

Pedro Barahona,

Adding Closed World Assumptions to Well Founded Semantics (extended improved version)

Article

Published in 01/01/1994

Authors

Luís Moniz Pereira, José Júlio Alferes,

ESTEEM (European Standardised Telematic Tool to Evaluate EMG Knowledge-Based Systems and Methods): AIM Project A2010

Article

Published in 01/01/1994

Authors

S. Vingtoft, M. Veloso, A. Fuglsang-Fredriksen, B. Johnsen, A. Vila, Pedro Barahona, P. Fawcett, I. Scofield, G. Otte, G. Sieben, A. Talbot, R. Liguori, W. Nix,

Heuristics and Lookahead Integration to Solve Constraint Satisfaction Problems Efficiently

Article

Published in 01/01/1994

Authors

F. Menezes, Pedro Barahona,

A Causal and Temporal Reasoning Model and Its Use in Drug Therapy Applications

Article

Published in 01/01/1994

Authors

Pedro Barahona,

Non-monotonic Reasoning with Logic Programming

Article

Published in 01/01/1993

Authors

Luís Moniz Pereira, José Júlio Alferes,

Object oriented requirements analysis in an Ada project

Article

Published in 01/07/1990

Authors

Maria Manuel Freitas, Ana Moreira, Pedro Guerreiro,

Pesquisa Heurística em Paralelo para Problemas de Decisão

Article

Published in 01/01/1989

Authors

Pedro Barahona,

Posts pagination

Previous 1 … 65 66 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