Miguel João Gonçalves Areias


AuthID: R-001-QE9

Confirmed Publications: 32



31
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 | CIÊNCIAVITAE
32
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 | CIÊNCIAVITAE
Page 4 of 4. Total results: 32.

footer slogan

Useful Links

Get Help

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