• ABOUT US
  • RESEARCH
  • PEOPLE
  • PUBLICATIONS
    • ARTICLES
    • BOOKS
    • BOOK CHAPTERS
    • DISSERTATIONS
    • EDITORIALS
    • IN PROCEEDINGS
  • ACTIVITIES
    • PROJECTS
    • GRADUATION ACTIVITIES
    • PROTOTYPES
    • SEMINARS
    • DISTINGUISHED LECTURES
    • EVENT ORGANIZATIONS
    • EDITORIAL COMMITTEES
  • SOCIETY
  • LOGIN

    Projects details

  • REAP - Reasoning in Logic Programming
  • Oct 1996 - Jan 2000
  • Use of Logic Programming theory and implementational technology for reasoning tasks.
  • FLAD - Fundação Luso-Americana para o Desenvolvimento
  • National Science Foundation
  • 1 Oct 1996
  • 1 Jan 2000
  • Luís Moniz Pereira [Coordinator]
  • CENTRIA- FCT/UNL - Centro de Inteligência Artificial, FCT/UNL
  • Stony Brook University
  • 2 publications, and 1 visit in 2000.
  • About us

  • Research Areas

  • People

  • Publications

  • Activities

  • Departamento de Informática, FCT/UNL
    Quinta da Torre P-2829-516
    CAPARICA, Portugal

  • nova-lincs.secretariado(AT)fct.unl.pt

  • direct +351 212948536
    central +351 212948300
    central +351 212948500