Search Results

Documents authored by Rocha, Ricardo

Document
DOI: 10.4230/OASIcs.ICLP.2018.6
Improving Candidate Quality of Probabilistic Logic Models

Authors: Joana Côrte-Real, Anton Dries, Inês Dutra, and Ricardo Rocha

Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)

Abstract
Many real-world phenomena exhibit both relational structure and uncertainty. Probabilistic Inductive Logic Programming (PILP) uses Inductive Logic Programming (ILP) extended with probabilistic facts to produce meaningful and interpretable models for real-world phenomena. This merge between First Order Logic (FOL) theories and uncertainty makes PILP a very adequate tool for knowledge representation and extraction. However, this flexibility is coupled with a problem (inherited from ILP) of exponential search space growth and so, often, only a subset of all possible models is explored due to limited resources. Furthermore, the probabilistic evaluation of FOL theories, coming from the underlying probabilistic logic language and its solver, is also computationally demanding. This work introduces a prediction-based pruning strategy, which can reduce the search space based on the probabilistic evaluation of models, and a safe pruning criterion, which guarantees that the optimal model is not pruned away, as well as two alternative more aggressive criteria that do not provide this guarantee. Experiments performed using three benchmarks from different areas show that prediction pruning is effective in (i) maintaining predictive accuracy for all criteria and experimental settings; (ii) reducing the execution time when using some of the more aggressive criteria, compared to using no pruning; and (iii) selecting better candidate models in limited resource settings, also when compared to using no pruning.
Cite as

Joana Côrte-Real, Anton Dries, Inês Dutra, and Ricardo Rocha. Improving Candidate Quality of Probabilistic Logic Models. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 6:1-6:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{cortereal_et_al:OASIcs.ICLP.2018.6,
  author =	{C\^{o}rte-Real, Joana and Dries, Anton and Dutra, In\^{e}s and Rocha, Ricardo},
  title =	{{Improving Candidate Quality of Probabilistic Logic Models}},
  booktitle =	{Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)},
  pages =	{6:1--6:14},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.6},
  URN =		{urn:nbn:de:0030-drops-98722},
  doi =		{10.4230/OASIcs.ICLP.2018.6},
  annote =	{Keywords: Relational Machine Learning, Probabilistic Inductive Logic Programming, Search Space Pruning, Model Quality, Experiments}
}
Document
Complete Volume
DOI: 10.4230/OASIcs.ICLP.2017
OASIcs, Volume 58, ICLP'17, Complete Volume

Authors: Ricardo Rocha, Tran Cao Son, Christopher Mears, and Neda Saeedloei

Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)

Abstract
OASIcs, Volume 58, ICLP'17, Complete Volume
Cite as

Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@Proceedings{rocha_et_al:OASIcs.ICLP.2017,
  title =	{{OASIcs, Volume 58, ICLP'17, Complete Volume}},
  booktitle =	{Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-058-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{58},
  editor =	{Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017},
  URN =		{urn:nbn:de:0030-drops-85407},
  doi =		{10.4230/OASIcs.ICLP.2017},
  annote =	{Keywords: Logic Programming, Software/Program Verification, Testing and Debugging, Programming Languages, Language Classifications}
}
Document
Front Matter
DOI: 10.4230/OASIcs.ICLP.2017.0
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Ricardo Rocha, Tran Cao Son, Christopher Mears, and Neda Saeedloei

Published in: OASIcs, Volume 58, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)

Abstract
Front Matter, Table of Contents, Preface, Conference Organization
Cite as

Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017). Open Access Series in Informatics (OASIcs), Volume 58, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{rocha_et_al:OASIcs.ICLP.2017.0,
  author =	{Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda},
  title =	{{Front Matter, Table of Contents, Preface, Conference Organization}},
  booktitle =	{Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017)},
  pages =	{0:i--0:xii},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-058-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{58},
  editor =	{Rocha, Ricardo and Son, Tran Cao and Mears, Christopher and Saeedloei, Neda},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2017.0},
  URN =		{urn:nbn:de:0030-drops-84525},
  doi =		{10.4230/OASIcs.ICLP.2017.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Document
DOI: 10.4230/OASIcs.SLATE.2017.2
Towards an Automated Test Bench Environment for Prolog Systems

Authors: Ricardo Gonçalves, Miguel Areias, and Ricardo Rocha

Published in: OASIcs, Volume 56, 6th Symposium on Languages, Applications and Technologies (SLATE 2017)

Abstract
Software testing and benchmarking is a key component of the software development process. Nowadays, a good practice in big software projects is the Continuous Integration (CI) software development technique. The key idea of CI is to let developers integrate their work as they produce it, instead of doing the integration at the end of each software module. In this paper, we extend a previous work on a benchmark suite for the Yap Prolog system and we propose a fully automated test bench environment for Prolog systems, named Yet Another Prolog Test Bench Environment (YAPTBE), aimed to assist developers in the development and CI of Prolog systems. YAPTBE is based on a cloud computing architecture and relies on the Jenkins framework and in a set of new Jenkins plugins to manage the underneath infrastructure. We present the key design and implementation aspects of YAPTBE and show its most important features, such as its graphical user interface and the automated process that builds and runs Prolog systems and benchmarks.
Cite as

Ricardo Gonçalves, Miguel Areias, and Ricardo Rocha. Towards an Automated Test Bench Environment for Prolog Systems. In 6th Symposium on Languages, Applications and Technologies (SLATE 2017). Open Access Series in Informatics (OASIcs), Volume 56, pp. 2:1-2:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{goncalves_et_al:OASIcs.SLATE.2017.2,
  author =	{Gon\c{c}alves, Ricardo and Areias, Miguel and Rocha, Ricardo},
  title =	{{Towards an Automated Test Bench Environment for Prolog Systems}},
  booktitle =	{6th Symposium on Languages, Applications and Technologies (SLATE 2017)},
  pages =	{2:1--2:13},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-056-9},
  ISSN =	{2190-6807},
  year =	{2017},
  volume =	{56},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Leal, Jos\'{e} Paulo and Varanda, Maria Jo\~{a}o},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2017.2},
  URN =		{urn:nbn:de:0030-drops-79385},
  doi =		{10.4230/OASIcs.SLATE.2017.2},
  annote =	{Keywords: Software Engineering, Program Correctness, Benchmarking, Prolog}
}
Document
Complete Volume
DOI: 10.4230/OASIcs.SLATE.2013
OASIcs, Volume 29, SLATE'13, Complete Volume

Authors: José Paulo Leal, Ricardo Rocha, and Alberto Simões

Published in: OASIcs, Volume 29, 2nd Symposium on Languages, Applications and Technologies (2013)

Abstract
OASIcs, Volume 29, SLATE'13, Complete Volume
Cite as

2nd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Proceedings{leal_et_al:OASIcs.SLATE.2013,
  title =	{{OASIcs, Volume 29, SLATE'13, Complete Volume}},
  booktitle =	{2nd Symposium on Languages, Applications and Technologies},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-52-1},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{29},
  editor =	{Leal, Jos\'{e} Paulo and Rocha, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2013},
  URN =		{urn:nbn:de:0030-drops-40805},
  doi =		{10.4230/OASIcs.SLATE.2013},
  annote =	{Keywords: Programming Languages; Interoperability; Natural Language Processing}
}
Document
Front Matter
DOI: 10.4230/OASIcs.SLATE.2013.i
Frontmatter

Authors: José Paulo Leal, Ricardo Rocha, and Alberto Simões

Published in: OASIcs, Volume 29, 2nd Symposium on Languages, Applications and Technologies (2013)

Abstract
The success of the humankind relies on our ability to communicate and transform the world. For ages we developed tools and technologies that allowed us to thrive and prosper. As we expanded to every corner of the planet we created languages that enabled us to communicate and record knowledge, even if they also become barriers to communication in themselves. Technology and language have always been interconnected. Technologies to record language gave birth to history and the written language allowed us to preserve knowledge, including knowledge on technologies. Technology reshaped language as books, radio shows or motion pictures made us aware of how other people communicate. But technologies and language were not completely blend together until computers and networks become our favourite tool to communicate and transform the world. The goal of the Symposium on Languages, Applications and Technologies (SLATE) is to be a forum to discuss the different ways in which language and technology interplay in computer science, and they are many. The symposium is divided into three main tracks, each one focusing a specific aspect of languages, from natural languages to compilers. * The HHL (Human-Human Languages) track is dedicated to the discussion of research projects and ideas involving natural language processing and their industrial application. * The HCL (Human-Computer Languages) track is where researchers, developers and educators exchange ideas and information on the latest academic or industrial work on language design, processing, assessment and applications. * The CCL (Computer-Computer Languages) track main goal is to provide a broad space for discussion about the XML markup language, examples of usage and associated technologies. SLATE follows the footsteps of two former conferences: CoRTA, the Conference on Compilers, Related Technologies and Applications; and XATA, the conference on XML, Applications and Applied Technologies, both with more than a decade of history. This volume contains the proceedings of the 2nd edition of SLATE, held in the Department of Computer Science, Faculty of Sciences, University of Porto, Portugal, during June 20-21, 2013. This year, SLATE received a total of 26 paper submissions for the three tracks. Each submission was reviewed by at least three Program Committee members, which included 55 researchers (counting sub-reviewers). At the end, 19 papers were selected for publication and presentation at the symposium, resulting in a 27% rejection rate. The set of accepted papers present a variety of contributions and were divided into the following five sessions for presentation at the symposium: * Software Development Tools, includes four articles on programming languages compilation and analysis; * XML and Applications, includes four articles on the usage of XML in different areas, ranging from the annotation of documents to its use on the semantic web; * Languages on Learning Environments, includes three articles that focus the automation on exercises generation and evaluation; * Domain Specific Languages, includes four articles on languages for specific languages, from music, robots or graphical user interfaces; * Natural Language Processing, includes four articles related to processing and teaching natural languages. In addition to these sessions, the program also included two keynote presentations, one on the PICAT system, a scalable logic-based language, by Neng-Fa Zhou (Brooklyn College, New York), and another on software languages and their history, by Jean-Marie Favre (University of Grenoble, France). The organizers of SLATE 2013 are in debt to many people without whom this event would never been possible. We wish to thank to our sponsors for making this event possible and to the EasyChair conference management system for simplifying our task. Thanks must go also to the authors of all submitted papers for their contribution and interest in the symposium and to the participants for making the event a meeting point for a fruitful exchange of ideas and feedback on recent developments. Finally, we want to express our gratitude to the Program Committee members and sub-reviewers, as the symposium would not have been possible without their dedicated time and knowledge in evaluating and ranking so many submissions from so many different topics. To all, our deepest thanks!
Cite as

2nd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 29, pp. i-xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{leal_et_al:OASIcs.SLATE.2013.i,
  author =	{Leal, Jos\'{e} Paulo and Rocha, Ricardo and Sim\~{o}es, Alberto},
  title =	{{Frontmatter}},
  booktitle =	{2nd Symposium on Languages, Applications and Technologies},
  pages =	{i--xiv},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-52-1},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{29},
  editor =	{Leal, Jos\'{e} Paulo and Rocha, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2013.i},
  URN =		{urn:nbn:de:0030-drops-40473},
  doi =		{10.4230/OASIcs.SLATE.2013.i},
  annote =	{Keywords: natural language processing, interoperabilty languages, compilers, languages}
}
Document
DOI: 10.4230/OASIcs.SLATE.2013.9
Or-Parallel Prolog Execution on Clusters of Multicores

Authors: João Santos and Ricardo Rocha

Published in: OASIcs, Volume 29, 2nd Symposium on Languages, Applications and Technologies (2013)

Abstract
Logic Programming languages, such as Prolog, provide an excellent framework for the parallel execution of logic programs. In particular, the inherent non-determinism in the way logic programs are structured makes Prolog very attractive for the exploitation of implicit parallelism. One of the most noticeable sources of implicit parallelism in Prolog programs is or-parallelism. Or-parallelism arises from the simultaneous evaluation of a subgoal call against the clauses that match that call. Arguably, the most successful model for or-parallelism is environment copying, that has been efficiently used in the implementation of or-parallel Prolog systems both on shared memory and distributed memory architectures. Nowadays, multicores and clusters of multicores are becoming the norm and, although, many parallel Prolog systems have been developed in the past, to the best of our knowledge, none of them was specially designed to explore the combination of shared with distributed memory architectures. Motivated by our past experience, in designing and developing parallel Prolog systems based on environment copying, we propose a novel computational model to efficiently exploit implicit parallelism from large scale real-world applications specialized for the novel architectures based on clusters of multicores.
Cite as

João Santos and Ricardo Rocha. Or-Parallel Prolog Execution on Clusters of Multicores. In 2nd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 29, pp. 9-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{santos_et_al:OASIcs.SLATE.2013.9,
  author =	{Santos, Jo\~{a}o and Rocha, Ricardo},
  title =	{{Or-Parallel Prolog Execution on Clusters of Multicores}},
  booktitle =	{2nd Symposium on Languages, Applications and Technologies},
  pages =	{9--20},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-52-1},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{29},
  editor =	{Leal, Jos\'{e} Paulo and Rocha, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2013.9},
  URN =		{urn:nbn:de:0030-drops-40465},
  doi =		{10.4230/OASIcs.SLATE.2013.9},
  annote =	{Keywords: Logic Programming, Or-Parallelism, Environment Copying, Scheduling}
}
Document
DOI: 10.4230/OASIcs.SLATE.2012.9
On Extending a Linear Tabling Framework to Support Batched Scheduling

Authors: Miguel Areias and Ricardo Rocha

Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)

Abstract
Tabled evaluation is a recognized and powerful technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant sub-computations. During tabled execution, several decisions have to be made. These are determined by the scheduling strategy. Whereas a strategy can achieve very good performance for certain applications, for others it might add overheads and even lead to unacceptable inefficiency. The two most successful tabling scheduling strategies are local scheduling and batched scheduling. In previous work, we have developed a framework, on top of the Yap system, that supports the combination of different linear tabling strategies for local scheduling. In this work, we propose the extension of our framework, to support batched scheduling. In particular, we are interested in the two most successful linear tabling strategies, the DRA and DRE strategies. To the best of our knowledge, no single tabling Prolog system supports both strategies simultaneously for batched scheduling.
Cite as

Miguel Areias and Ricardo Rocha. On Extending a Linear Tabling Framework to Support Batched Scheduling. In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, pp. 9-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{areias_et_al:OASIcs.SLATE.2012.9,
  author =	{Areias, Miguel and Rocha, Ricardo},
  title =	{{On Extending a Linear Tabling Framework to Support Batched Scheduling}},
  booktitle =	{1st Symposium on Languages, Applications and Technologies},
  pages =	{9--24},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-40-8},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{21},
  editor =	{Sim\~{o}es, Alberto and Queir\'{o}s, Ricardo and da Cruz, Daniela},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.9},
  URN =		{urn:nbn:de:0030-drops-35113},
  doi =		{10.4230/OASIcs.SLATE.2012.9},
  annote =	{Keywords: Linear Tabling, Scheduling, Implementation}
}
Document
DOI: 10.4230/OASIcs.SLATE.2012.25
Mode-Directed Tabling and Applications in the YapTab System

Authors: João Santos and Ricardo Rocha

Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)

Abstract
Tabling is an implementation technique that solves some limitations of Prolog's operational semantics in dealing with recursion and redundant sub-computations. Tabling works by memorizing generated answers and then by reusing them on similar calls that appear during the resolution process. In a traditional tabling system, all the arguments of a tabled subgoal call are considered when storing answers into the table space. Traditional tabling systems are thus very good for problems that require finding all answers. Mode-directed tabling is an extension to the tabling technique that supports the definition of selective criteria for specifying how answers are inserted into the table space. Implementations of mode-directed tabling are already available in systems like ALS-Prolog, B-Prolog and XSB. In this paper, we propose a more general approach to the declaration and use of mode-directed tabling, implemented on top of the YapTab tabling system, and we show applications of our approach to problems involving Justification, Preferences and Answer Subsumption.
Cite as

João Santos and Ricardo Rocha. Mode-Directed Tabling and Applications in the YapTab System. In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, pp. 25-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{santos_et_al:OASIcs.SLATE.2012.25,
  author =	{Santos, Jo\~{a}o and Rocha, Ricardo},
  title =	{{Mode-Directed Tabling and Applications in the YapTab System}},
  booktitle =	{1st Symposium on Languages, Applications and Technologies},
  pages =	{25--40},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-40-8},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{21},
  editor =	{Sim\~{o}es, Alberto and Queir\'{o}s, Ricardo and da Cruz, Daniela},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.25},
  URN =		{urn:nbn:de:0030-drops-35123},
  doi =		{10.4230/OASIcs.SLATE.2012.25},
  annote =	{Keywords: Tabling, Mode Operators, Applications}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact