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
72
TITLE: A declarative characterisation of disjunctive paraconsistent answer sets
AUTHORS: Alcantara, J; Damasio, 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: TPLP, VOLUME: 4, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
74
TITLE: Abduction in well-founded semantics and generalized stable models via tabled dual programs PDF
AUTHORS: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLISHED: 2004, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
INDEXED IN: WOS DBLP arXiv
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
76
TITLE: Common-sense reasoning as proto-scientific agent activity  Full Text
AUTHORS: Dell'Acqua, P; Pereira, LM ;
PUBLISHED: 2004, SOURCE: Journal of Applied Logic, VOLUME: 2, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
77
TITLE: Epistemology and artificial intelligence  Full Text
AUTHORS: Wheeler, GR; Pereira, LM ;
PUBLISHED: 2004, SOURCE: Journal of Applied Logic, VOLUME: 2, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
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
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
Página 8 de 24. Total de resultados: 232.