• 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

In Proceedings

Generalizing Updates: From Models to Programs

InProceedings

Published in 01/01/1998

Authors

João Leite, João Leite, Luís Moniz Pereira, Luís Moniz Pereira,

A general tabulation procedure for extended constraint logic programs

InProceedings

Published in 01/01/1998

Authors

Carlos Viegas Damásio, Luís Moniz Pereira,

Partial Parsing, deduction and Tabling

InProceedings

Published in 01/01/1998

Authors

Vitor Rocio, Vitor Rocio, B. Lang, Gabriel Pereira Lopes, Gabriel Pereira Lopes,

Generalizing Updates: From Models to Programs

InProceedings

Published in 01/01/1998

Authors

João Leite, João Leite, Luís Moniz Pereira, Luís Moniz Pereira,

Rigorous Object-Oriented Analysis

InProceedings

Published in 01/09/1994

Authors

Ana Moreira, Robert Clark,

Combining Object-Oriented Analysis and Formal Description Techniques

InProceedings

Published in 01/06/1994

Authors

Ana Moreira, Robert Clark,

Modelling Causal and Temporal Knowledge to Support Drug Therapy Planning

InProceedings

Published in 01/01/1994

Authors

Pedro Barahona, Francisco Azevedo, Pedro Barahona, M. Veloso, Joaquim Ferreira da Silva, J. Bryant,

Timetabling in Constraint Logic Programming

InProceedings

Published in 01/01/1994

Authors

Francisco Azevedo, Pedro Barahona,

Named Entity Recognition using Machine Learning techniques

InProceedings

Published in 03/01/2011

Authors

Nuno Miranda, Nuno Miranda, Ricardo Raminhos, Ricardo Raminhos, Pedro Seabra, Pedro Seabra, Teresa Gonçalves, Teresa Gonçalves, Paulo Quaresma, Paulo Quaresma,

On the Efficient Implementation of Social Abstract Argumentation

InProceedings

Published in 01/03/2014

Authors

Marco Correia, Torsten Schaub, Marco Correia, Torsten Schaub, Jorge Cruz, Gerhard Friedrich, Jorge Cruz, Gerhard Friedrich, João Leite, Barry O'Sullivan, João Leite, Barry O'Sullivan,

Posts pagination

Previous 1 … 147 148
  • 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