Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Confirmed Publications: 232



91
TITLE: A Logic Based Asynchronous Multi-Agent System
AUTHORS: Pierangelo Dell'Acqua; Ulf Nilsson; Luís Moniz Pereira ;
PUBLISHED: 2002, SOURCE: CLIMA'2002, Computational Logic in Multi-Agent Systems (FLoC Satellite Event) in Electr. Notes Theor. Comput. Sci., VOLUME: 70, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
92
TITLE: A portrait of a scientist as a computational logician
AUTHORS: Bruynooghe, M; Pereira, LM ; Siekmann, JH; van Emden, M;
PUBLISHED: 2002, SOURCE: COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, VOLUME: 2407
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
93
TITLE: Belief Revision via Lamarckian Evolution
AUTHORS: Evelina Lamma; Fabrizio Riguzzi; Luís Moniz Pereira ;
PUBLISHED: 2002, SOURCE: Proceedings of the International Conference on Artificial Intelligence, IC-AI '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3
INDEXED IN: DBLP
IN MY: DBLP
94
TITLE: Computing environment-aware agent behaviours with logic program updates  Full Text
AUTHORS: Alferes, JJ ; Brogi, A; Leite, JA ; Pereira, LM ;
PUBLISHED: 2002, SOURCE: 11th International Workshop on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, VOLUME: 2372
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
95
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 02) in LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, VOLUME: 2424
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
96
TITLE: Hybrid Probabilistic Logic Programs as Residuated Logic Programs  Full Text
AUTHORS: Carlos Viegas Damásio ; Luís Moniz Pereira ;
PUBLISHED: 2002, SOURCE: Studia Logica, VOLUME: 72, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
97
TITLE: Logic programming updating - A guided approach
AUTHORS: Alferes, JJ ; Pereira, LM ;
PUBLISHED: 2002, SOURCE: COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, VOLUME: 2408, ISSUE: PART2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
98
TITLE: LUPS - A language for updating logic programs  Full Text
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLISHED: 2002, SOURCE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in ARTIFICIAL INTELLIGENCE, VOLUME: 138, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
99
TITLE: MINERVA - Dynamic Logic Programming agent architecture
AUTHORS: Leite, JA ; Alferes, JJ ; Pereira, LM ;
PUBLISHED: 2002, SOURCE: 8th International Workshop on Agent Theories, Architectures, and Language (ATAL 2001) in INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, VOLUME: 2333
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
100
TITLE: On Philosophical Incidences of Logic Programming
AUTHORS: Luís Moniz Pereira ;
PUBLISHED: 2002, SOURCE: Proceedings of the International Conference on Artificial Intelligence, IC-AI '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3
INDEXED IN: DBLP
IN MY: DBLP
Page 10 of 24. Total results: 232.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service