Login / Signup
Agustín Valverde
ORCID
Publication Activity (10 Years)
Years Active: 1995-2018
Publications (10 Years): 4
Top Topics
Propositional Theories
Logic Programs
Knowledge Representation
Answer Set Programming
Top Venues
J. Appl. Non Class. Logics
J. Comput. Syst. Sci.
CoRR
Artif. Intell.
</>
Publications
</>