Concepedia

Agustín Valverde

AV

Statistics

Publications

14

Citations

767

H-Index

12

Active since

1999

Affiliations

Universidad de Málaga(Current)

Universidad Politécnica de Madrid

Universidad Rey Juan Carlos

Umeå University

The University of Texas at Austin

Agustín Valverde is an author at Universidad de Málaga specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsLinguisticsComputer ScienceLogic ProgrammingLanguageAnswer Set ProgrammingMechanism Design

Publications per year

1999–2017

14

Publications

14

Strongly equivalent logic programs

Vladimir Lifschitz, David Pearce, Agustín Valverde · ACM Transactions on Computational Logic · 2001 · 525 citations

Applied Logic, Computational Logic, Equivalent Logic Programs +13

A First Order Nonmonotonic Extension of Constructive Logic

David Pearce, Agustín Valverde · Studia Logica · 2005 · 38 citations

Non-classical Logic, Engineering, Automated Reasoning +3

Set functors and generalised terms

Patrik Eklund, M.A. Galán, Manuel Ojeda‐Aciego et al. · 2000 · 28 citations

Monad Compositions, Algebraic Logic, Engineering +12

A semantical framework for hybrid knowledge bases

Jos de Bruijn, David Pearce, Axel Polleres et al. · Knowledge and Information Systems · 2010 · 24 citations

Knowledge Base, Knowledge Representation, Engineering +7

Reductions for non-clausal theorem proving

Inma P. de Guzmán, Manuel Ojeda‐Aciego, Agustín Valverde · Theoretical Computer Science · 2001 · 22 citations

Engineering, Automated Reasoning, Proof Complexity +3

1–5 of 14