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