Alexandre Miguel dos Santos Martins Pinto


AuthID: R-000-0CA

Confirmed Publications: 12



1
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
2
TITLE: TIGHT SEMANTICS FOR LOGIC PROGRAMS
AUTHORS: Pereira, LM ; Pinto, AM ;
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
3
TITLE: Adaptive Reasoning for Cooperative Agents
AUTHORS: Luís Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLISHED: 2009, SOURCE: INAP, VOLUME: 6547 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
4
TITLE: Incremental Answer Completion in the SLG-WAM
AUTHORS: Swift, T; Pinto, AM ; Pereira, LM ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
5
TITLE: Layer Supported Models of Logic Programs
AUTHORS: Pereira, LM ; Pinto, AM ;
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: 2
IN MY: ORCID
6
TITLE: Layered Models Top-Down Querying of Normal Logic Programs
AUTHORS: Pereira, LM ; Pinto, AM ;
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: 7
IN MY: ORCID
7
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
8
TITLE: Stabel Model Implementation of Layer Supported Models by Program Transformation
AUTHORS: Luís Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLISHED: 2009, SOURCE: INAP, VOLUME: 6547 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
9
TITLE: Stable versus Layered Logic Program Semantics
AUTHORS: Luís Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLISHED: 2009, SOURCE: LA-NMR, VOLUME: 533
INDEXED IN: Scopus DBLP
IN MY: ORCID
10
TITLE: Collaborative vs. Conflicting Learning, Evolution and Argumentation
AUTHORS: Luís Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLISHED: 2008, SOURCE: Oppositional Concepts in Computational Intelligence, VOLUME: 155
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
Page 1 of 2. Total results: 12.

footer slogan

Useful Links

Get Help

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