Login
Research

Intelligent Systems

Intelligent Systems

Information Team Publications Projects Graduations Prototypes Seminars

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,

Non-monotonic Reasoning with Logic Programming

Article

Published in 01/01/1993

Authors

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

EPIA 91, Proceedings of the 5th Portuguese Conference on Artificial Intelligence

Editorials

Published in 01-01-1991

Authors

Pedro Barahona, Luís Moniz Pereira, A. Porto,

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

Article

Published in 01/01/1989

Authors

Pedro Barahona,

How to Solve it with Prolog

Book

Published in 01/01/1979

Authors

J. C. Cotta, Helder Coelho, Luís Moniz Pereira,

GEOM: a Prolog geometry theorem prover

Book

Published in 01/01/1976

Authors

Helder Coelho, Luís Moniz Pereira,

Layout schemes from adjacency graphs

Book

Published in 01/01/1974

Authors

Luís Moniz Pereira,

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,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems