Miguel João Gonçalves Areias


AuthID: R-001-QE9

Confirmed Publications: 26



21
TITLE: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs  Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) in PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
22
TITLE: On Extending a Linear Tabling Framework to Support Batched Scheduling
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21
INDEXED IN: DBLP
IN MY: ORCID | DBLP
23
TITLE: Towards multi-threaded local tabling using a common table space
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP
24
TITLE: On combining linear-based strategies for tabled evaluation of logic programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
25
TITLE: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
26
TITLE: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 3 of 3. Total results: 26.

footer slogan

Useful Links

Get Help

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