11
TÍTULO: Approved models for normal logic programs
AUTORES: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLICAÇÃO: 2007, FONTE: 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, VOLUME: 4790
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
12
TÍTULO: Revised Stable Models - A semantics for logic programs
AUTORES: Pereira, LM ; Pinto, AM ;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
Página 2 de 2. Total de resultados: 12.