Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ana Luísa Duboc
Using the Bottom Clause and Mode Declarations in FOL Theory Revision From Examples
Machine Learning
Artificial Intelligence
Software