51
TÍTULO: Prospective logic agents
AUTORES: Luís Moniz Pereira; Gonçalo Lopes;
PUBLICAÇÃO: 2009, FONTE: Int. J. Reason. based Intell. Syst., VOLUME: 1, NÚMERO: 3/4
INDEXADO EM: DBLP CrossRef: 7
NO MEU: ORCID
52
TÍTULO: Modelling morality with prospective logic
AUTORES: Luís Moniz Pereira; Ari Saptawijaya;
PUBLICAÇÃO: 2009, FONTE: Int. J. Reason. based Intell. Syst., VOLUME: 1, NÚMERO: 3/4
INDEXADO EM: DBLP CrossRef: 19
NO MEU: ORCID
53
TÍTULO: Gödel and Computability
AUTORES: Luís Moniz Pereira;
PUBLICAÇÃO: 2007, FONTE: Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings, VOLUME: 4874
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
54
TÍTULO: A declarative characterisation of disjunctive paraconsistent answer sets
AUTORES: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 2004, FONTE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
INDEXADO EM: Scopus
55
TÍTULO: Belief revision via Lamarckian evolution  Full Text
AUTORES: Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira;
PUBLICAÇÃO: 2003, FONTE: NEW GENERATION COMPUTING, VOLUME: 21, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
56
TÍTULO: Paraconsistent logic programs
AUTORES: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2002, FONTE: Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, VOLUME: 2424 LNAI
INDEXADO EM: Scopus CrossRef: 7
NO MEU: ORCID
57
TÍTULO: A compilation of updates plus preferences
AUTORES: Alferes, JJ; Dell'Acqua, P; Pereira, LM;
PUBLICAÇÃO: 2002, FONTE: 8th European Conference on Logics in Artificial Intelligence, JELIA 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2424 LNAI
INDEXADO EM: Scopus
58
TÍTULO: Evolving logic programs
AUTORES: Alferes, JJ; Brogi, A; Leite, JA; Pereira, LM;
PUBLICAÇÃO: 2002, FONTE: 8th European Conference on Logics in Artificial Intelligence, JELIA 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2424 LNAI
INDEXADO EM: Scopus
59
TÍTULO: Preferring and updating in abductive multi-agent systems
AUTORES: Dell’Acqua, P; Pereira, LM;
PUBLICAÇÃO: 2001, FONTE: 2nd International Workshop on Engineering Societies in the Agents World, ESAW 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2203
INDEXADO EM: Scopus
60
TÍTULO: Dynamic knowledge representation and its applications
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLICAÇÃO: 2000, FONTE: 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1904
INDEXADO EM: Scopus
Página 6 de 8. Total de resultados: 73.