Alexandre Miguel dos Santos Martins Pinto


AuthID: R-000-0CA

Confirmed Publications: 12



1
TITLE: Adaptive reasoning for cooperative agents
AUTHORS: Pereira, LM ; Pinto, AM ;
PUBLISHED: 2011, SOURCE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6547 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
2
TITLE: Inspecting side-effects of abduction in logic programs
AUTHORS: Moniz Pereira, L ; Pinto, AM ;
PUBLISHED: 2011, SOURCE: Symposium on Constructive Mathematics in Computer Science in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6565 LNAI
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
TITLE: Stabel model implementation of layer supported models by program transformation
AUTHORS: Pereira, LM ; Pinto, AM ;
PUBLISHED: 2011, SOURCE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6547 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
4
TITLE: TIGHT SEMANTICS FOR LOGIC PROGRAMS
AUTHORS: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming (ICLP) in TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), VOLUME: 7
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
5
TITLE: Incremental Answer Completion in the SLG-WAM  Full Text
AUTHORS: Terrance Swift; Alexandre Miguel Pinto ; Luis Moniz Pereira ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
6
TITLE: Layer Supported Models of Logic Programs
AUTHORS: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLISHED: 2009, SOURCE: 10th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, VOLUME: 5753
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
7
TITLE: Layered Models Top-Down Querying of Normal Logic Programs  Full Text
AUTHORS: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
8
TITLE: Side-Effect Inspection for Decision Making
AUTHORS: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLISHED: 2009, SOURCE: 1st KES International Symposium on Intelligent Decision Technologies in NEW ADVANCES IN INTELLIGENT DECISION TECHNOLOGIES, VOLUME: 199
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
TITLE: Stable versus layered logic program semantics PDF
AUTHORS: Pereira, LM ; Pinto, AM ;
PUBLISHED: 2009, SOURCE: 5th Latin American Workshop on Non-Monotonic Reasoning, LANMR 2009 in CEUR Workshop Proceedings, VOLUME: 533
INDEXED IN: Scopus DBLP
IN MY: ORCID
10
TITLE: Collaborative vs. conflicting learning, evolution and argumentation
AUTHORS: Pereira, LM ; Pinto, AM ;
PUBLISHED: 2008, SOURCE: Studies in Computational Intelligence, VOLUME: 155
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
Page 1 of 2. Total results: 12.

A place for researchers and their institutions

Useful Links

Get Help

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