Marta Arias

From MaRDI portal
(Redirected from Person:415619)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Learning definite Horn formulas from closure queries
Theoretical Computer Science
2017-02-06Paper
Compact roundtrip routing with topology-independent node names
Proceedings of the twenty-second annual symposium on Principles of distributed computing
2015-09-04Paper
Construction and learnability of canonical Horn formulas
Machine Learning
2012-05-08Paper
Learning Horn expressions with LOGAN-H2011-10-12Paper
Polynomial certificates for propositional classes.
Lecture Notes in Computer Science
2010-03-23Paper
Inductive Logic Programming
Lecture Notes in Computer Science
2010-02-23Paper
Canonical Horn representations and query learning
Lecture Notes in Computer Science
2009-12-01Paper
Query Learning and Certificates in Lattices
Lecture Notes in Computer Science
2008-10-14Paper
Compact roundtrip routing with topology-independent node names
Journal of Computer and System Sciences
2008-06-26Paper
Compact Routing with Name Independence
SIAM Journal on Discrete Mathematics
2007-09-06Paper
Complexity parameters for first order classes
Machine Learning
2006-10-27Paper
Inductive Logic Programming
Lecture Notes in Computer Science
2006-10-19Paper
Polynomial certificates for propositional classes
Information and Computation
2006-06-30Paper
The subsumption lattice and query learning
Journal of Computer and System Sciences
2006-01-10Paper
Algorithmic Learning Theory
Lecture Notes in Computer Science
2005-08-18Paper
Learning closed Horn expressions
Information and Computation
2003-01-14Paper
scientific article; zbMATH DE number 1759243 (Why is no real title available?)2002-10-13Paper


Research outcomes over time


This page was built for person: Marta Arias