Arquivo de In Proceedings - Page 148 of 148 - NOVA LINCS NOVA LINCS

Login

Dynamic Logic Programming

Published in 01/01/1998

Authors

José Júlio Alferes, J. L. Freire Nistal, José Júlio Alferes, A. Cohn, João Leite, M. Falaschi, João Leite, L.Schubert, Luís Moniz Pereira, M. Villares Ferro, Luís Moniz Pereira, H. Przymusinska, H. Przymusinska, T. Przymusinski, T. Przymusinski

Incorporating Specificity in Extended Logic Programs for Belief Revision

Published in 01/01/1998

Authors

B. B. Garcia, Diane J. Cook, Gabriel Pereira Lopes

Argumentation and cooperation for distributed extended logic programs

Published in 01/01/1998

Authors

G. Brewka, José Júlio Alferes, Juergen Dix, M. Schroeder, J. Lobo

Sistema de Apoio a Decisão, Baseado em lógica Difusa, para a gestão de Prioridades de Reparação de Avarias de Equipamentos, em Situação de Combate

Published in 01/01/1998

Authors

Mario S. Marques, Rita Almeida Ribeiro

Rigorous Object-Oriented Analysis

Published in 01/09/1994

Authors

Ana Moreira, Robert Clark

Combining Object-Oriented Analysis and Formal Description Techniques

Published in 01/06/1994

Authors

Ana Moreira, Robert Clark

Timetabling in Constraint Logic Programming

Published in 01/01/1994

Authors

Francisco Azevedo, Pedro Barahona

Modelling Causal and Temporal Knowledge to Support Drug Therapy Planning

Published in 01/01/1994

Authors

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

On the Efficient Implementation of Social Abstract Argumentation

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

Named Entity Recognition using Machine Learning techniques

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