51
TITLE: Prospective logic agents
AUTHORS: Luís Moniz Pereira; Gonçalo Lopes;
PUBLISHED: 2009, SOURCE: Int. J. Reason. based Intell. Syst., VOLUME: 1, ISSUE: 3/4
INDEXED IN: DBLP CrossRef: 7
IN MY: ORCID
52
TITLE: Modelling morality with prospective logic
AUTHORS: Luís Moniz Pereira; Ari Saptawijaya;
PUBLISHED: 2009, SOURCE: Int. J. Reason. based Intell. Syst., VOLUME: 1, ISSUE: 3/4
INDEXED IN: DBLP CrossRef: 19
IN MY: ORCID
53
TITLE: Gödel and Computability
AUTHORS: Luís Moniz Pereira;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: DBLP CrossRef
IN MY: DBLP
54
TITLE: A declarative characterisation of disjunctive paraconsistent answer sets
AUTHORS: Alcântara, J; Damásio, CV; Pereira, LM;
PUBLISHED: 2004, SOURCE: 16th European Conference on Artificial Intelligence, ECAI 2004 in Frontiers in Artificial Intelligence and Applications, VOLUME: 110
INDEXED IN: Scopus
55
TITLE: Belief revision via Lamarckian evolution  Full Text
AUTHORS: Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira;
PUBLISHED: 2003, SOURCE: NEW GENERATION COMPUTING, VOLUME: 21, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
56
TITLE: Paraconsistent logic programs
AUTHORS: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 2002, SOURCE: Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, VOLUME: 2424 LNAI
INDEXED IN: Scopus CrossRef: 7
IN MY: ORCID
57
TITLE: A compilation of updates plus preferences
AUTHORS: Alferes, JJ; Dell'Acqua, P; Pereira, LM;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: Scopus
58
TITLE: Evolving logic programs
AUTHORS: Alferes, JJ; Brogi, A; Leite, JA; Pereira, LM;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: Scopus
59
TITLE: Preferring and updating in abductive multi-agent systems
AUTHORS: Dell’Acqua, P; Pereira, LM;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: Scopus
60
TITLE: Dynamic knowledge representation and its applications
AUTHORS: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLISHED: 2000, SOURCE: 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
INDEXED IN: Scopus
Page 6 of 8. Total results: 73.