71
TITLE: Revised Stable Models - A semantics for logic programs
AUTHORS: Pereira, LM ; Pinto, AM ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID
72
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 in ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 110
INDEXED IN: WOS DBLP
73
TITLE: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ; Terrance Swift;
PUBLISHED: 2004, SOURCE: Theory Pract. Log. Program., VOLUME: 4, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 42
IN MY: ORCID
74
TITLE: Abduction in well-founded semantics and generalized stable models via tabled dual programs
AUTHORS: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLISHED: 2004, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
INDEXED IN: WOS DBLP
75
TITLE: Abductive validation of a power-grid expert system diagnoser  Full Text
AUTHORS: de Castro, JF; Pereira, LM ;
PUBLISHED: 2004, SOURCE: 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems in INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE, VOLUME: 3029
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
76
TITLE: Common-sense reasoning as proto-scientific agent activity
AUTHORS: Pierangelo Dell'Acqua; Luís Moniz Pereira ;
PUBLISHED: 2004, SOURCE: J. Appl. Log., VOLUME: 2, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
77
TITLE: Epistemology and artificial intelligence
AUTHORS: Gregory R Wheeler; Luís Moniz Pereira ;
PUBLISHED: 2004, SOURCE: J. Appl. Log., VOLUME: 2, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 18
IN MY: ORCID
78
TITLE: Mentally impaired persons' performance evaluation using an e-mail programme: A follow up study
AUTHORS: Pereira, LM ; Saragoca, E; Loura, LC ; Espadinha, C;
PUBLISHED: 2004, SOURCE: Technology and Disability, VOLUME: 16, ISSUE: 3
INDEXED IN: Scopus
79
TITLE: Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications  Full Text
AUTHORS: Claudio Delrieux; Luís Moniz Pereira ;
PUBLISHED: 2004, SOURCE: J. Appl. Log., VOLUME: 2, ISSUE: 4
INDEXED IN: DBLP CrossRef
80
TITLE: A logical framework for modelling eMAS
AUTHORS: Dell'Acqua, P; Pereira, LM ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
Page 8 of 23. Total results: 228.