Luis Manuel Sancho Moniz Pereira
AuthID: R-000-9N9
81
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
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
82
TÃTULO: Introduction Full Text
AUTORES: Luís Moniz Pereira; Gregory Wheeler;
PUBLICAÇÃO: 2007, FONTE: Journal of Applied Logic, VOLUME: 5, NÚMERO: 4
AUTORES: Luís Moniz Pereira; Gregory Wheeler;
PUBLICAÇÃO: 2007, FONTE: Journal of Applied Logic, VOLUME: 5, NÚMERO: 4
83
TÃTULO: A Well-Founded Semantics with Disjunction
AUTORES: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Logic Programming - Lecture Notes in Computer Science
AUTORES: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Logic Programming - Lecture Notes in Computer Science
84
TÃTULO: Preference Revision Via Declarative Debugging
AUTORES: Pierangelo Dell’Acqua; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Progress in Artificial Intelligence - Lecture Notes in Computer Science
AUTORES: Pierangelo Dell’Acqua; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Progress in Artificial Intelligence - Lecture Notes in Computer Science
85
TÃTULO: An encompassing framework for Paraconsistent Logic Programs Full Text
AUTORES: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Journal of Applied Logic, VOLUME: 3, NÚMERO: 1
AUTORES: João Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2005, FONTE: Journal of Applied Logic, VOLUME: 3, NÚMERO: 1
86
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
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
Scopus87
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
AUTORES: Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira;
PUBLICAÇÃO: 2003, FONTE: NEW GENERATION COMPUTING, VOLUME: 21, NÚMERO: 3
88
TÃTULO: Preferring and Updating in Logic-Based Agents
AUTORES: Pierangelo Dell’Acqua; Luís Moniz Pereira;
PUBLICAÇÃO: 2003, FONTE: Lecture Notes in Computer Science - Web Knowledge Management and Decision Support
AUTORES: Pierangelo Dell’Acqua; Luís Moniz Pereira;
PUBLICAÇÃO: 2003, FONTE: Lecture Notes in Computer Science - Web Knowledge Management and Decision Support
INDEXADO EM: 
CrossRef
CrossRef89
TÃTULO: Paraconsistent logic programs
AUTORES: Alcântara, J; Damásio, CV; 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
AUTORES: Alcântara, J; Damásio, CV; 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
90
TÃTULO: A Logical Framework for Modelling eMAS
AUTORES: Pierangelo Dell’Acqua; Luís Moniz Pereira;
PUBLICAÇÃO: 2002, FONTE: Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
AUTORES: Pierangelo Dell’Acqua; Luís Moniz Pereira;
PUBLICAÇÃO: 2002, FONTE: Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
CrossRef