![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Agustín Valverde
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [j17]Pedro Cabalar, David Pearce, Agustín Valverde
:
Answer Set Programming from a Logical Point of View. Künstliche Intell. 32(2-3): 109-118 (2018) - 2017
- [j16]Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde:
Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. 246: 22-33 (2017) - [j15]Pedro Cabalar, David Pearce, Agustín Valverde
:
Stable reasoning. J. Appl. Non Class. Logics 27(3-4): 238-254 (2017) - [c35]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA 2017: 624-636 - 2015
- [c34]Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde:
Infinitary Equilibrium Logic and Strong Equivalence. LPNMR 2015: 398-410 - 2014
- [c33]Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
A Free Logic for Stable Models with Partial Intensional Functions. JELIA 2014: 340-354 - [i2]Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. CoRR abs/1401.3897 (2014) - 2013
- [j14]Pedro Cabalar, Agustín Valverde:
Foreword. J. Appl. Non Class. Logics 23(1-2): 1 (2013) - [c32]Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. IJCAI 2013: 891-897 - 2012
- [j13]David Pearce, Agustín Valverde:
Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci. 78(1): 86-104 (2012) - [c31]Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
Bi-state Logic. Correct Reasoning 2012: 265-278 - 2011
- [j12]Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. 42: 917-943 (2011) - 2010
- [j11]Jos de Bruijn, David Pearce, Axel Polleres
, Agustín Valverde:
A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. 25(1): 81-104 (2010) - [i1]Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case. CoRR abs/1012.3947 (2010)
2000 – 2009
- 2009
- [c30]Pedro Cabalar, David Pearce, Agustín Valverde:
A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70 - 2008
- [c29]David Pearce, Agustín Valverde:
Quantified Equilibrium Logic and Foundations for Answer Set Programs. ICLP 2008: 546-560 - 2007
- [j10]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007) - [j9]Patrik Eklund, Maria A. Galán, Jesús Medina
, Manuel Ojeda-Aciego
, Agustín Valverde:
Powersets of terms and composite monads. Fuzzy Sets Syst. 158(23): 2552-2574 (2007) - [c28]Pedro Cabalar, David Pearce, Agustín Valverde:
Minimal Logic Programs. ICLP 2007: 104-118 - [c27]Vladimir Lifschitz, David Pearce, Agustín Valverde:
A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200 - [c26]David Pearce, Agustín Valverde:
Interpretability and Equivalence in Quantified Equilibrium Logic. CENT 2007 - [c25]Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde:
Quantified Equilibrium Logic and Hybrid Rules. RR 2007: 58-72 - [e1]David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran:
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007. CEUR Workshop Proceedings 265, CEUR-WS.org 2007 [contents] - 2006
- [c24]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP 2006: 346-360 - [c23]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94 - 2005
- [j8]David Pearce, Agustín Valverde:
A First Order Nonmonotonic Extension of Constructive Logic. Stud Logica 80(2-3): 321-346 (2005) - [c22]Pedro Cabalar, David Pearce, Agustín Valverde:
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005 - [c21]Pedro Cabalar, David Pearce, Agustín Valverde:
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17 - [c20]Patrik Eklund, Maria A. Galán, Werner Gähler, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde:
A note on partially ordered generalized terms. EUSFLAT Conf. 2005: 793-796 - 2004
- [j7]Patrik Eklund, Maria A. Galán, Jesús Medina
, Manuel Ojeda-Aciego
, Agustín Valverde:
Similarities between powersets of terms. Fuzzy Sets Syst. 144(1): 213-225 (2004) - [c19]David Pearce, Agustín Valverde:
Synonymus Theories in Answer Set Programming and Equilibrium Logic. ECAI 2004: 388-392 - [c18]David Pearce, Agustín Valverde:
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. JELIA 2004: 147-160 - [c17]Agustín Valverde:
tabeql: A Tableau Based Suite for Equilibrium Logic. JELIA 2004: 734-737 - [c16]Manuel Ojeda-Aciego, Agustín Valverde:
tascpl: TAS Solver for Classical Propositional Logic. JELIA 2004: 738-741 - [c15]David Pearce, Agustín Valverde:
Uniform Equivalence for Equilibrium Logic and Logic Programs. LPNMR 2004: 194-206 - 2003
- [c14]David Pearce, Agustín Valverde:
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE 2003: 350-361 - [c13]Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás:
Towards Biresiduated Multi-adjoint Logic Programming. CAEPIA 2003: 608-617 - 2002
- [j6]Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
Satisfiability Testing for Boolean Formulas Using Delta-trees. Stud Logica 72(1): 85-112 (2002) - [c12]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Restricted Delta-Trees in Multiple-Valued Logics. AIMSA 2002: 223-232 - [c11]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics. IBERAMIA 2002: 161-171 - [c10]Stanislav Krajci, Rastislav Lencses, Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás:
Non-commutativity and Expressive Deductive Logic Databases. JELIA 2002: 149-160 - [c9]Patrik Eklund, Maria A. Galán, Jesús Medina
, Manuel Ojeda-Aciego
, Agustín Valverde:
A categorical approach to unification of generalised terms. UNCL@ICALP 2002: 41-51 - 2001
- [j5]Gabriel Aguilera
, Inman P. de Guzmán, Manuel Ojeda-Aciego
, Agustín Valverde:
Reductions for non-clausal theorem proving. Theor. Comput. Sci. 266(1-2): 81-112 (2001) - [j4]Vladimir Lifschitz, David Pearce, Agustín Valverde:
Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4): 526-541 (2001) - [c8]David Pearce, Agustín Valverde:
Abduction in equilibrium logic. Answer Set Programming 2001 - [c7]Patrik Eklund, Maria A. Galán, Jesús Medina
, Manuel Ojeda-Aciego
, Agustín Valverde:
Composing Submonads. ISMVL 2001: 367-372 - 2000
- [c6]David Pearce, Inman P. de Guzmán, Agustín Valverde:
Computing Equilibrium Models Using Signed Formulas. Computational Logic 2000: 688-702 - [c5]Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
Reduction Theorems for Boolean Formulas Using Delta-Trees. JELIA 2000: 179-192 - [c4]David Pearce, Inman P. de Guzmán, Agustín Valverde:
A Tableau Calculus for Equilibrium Entailment. TABLEAUX 2000: 352-367 - [c3]Patrik Eklund, Maria A. Galán, Jesús Medina
, Manuel Ojeda-Aciego
, Agustín Valverde:
A graphical approach to monad compositions. MFCSIT 2000: 145-160
1990 – 1999
- 1999
- [j3]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Implicates and reduction techniques for temporal logics. Ann. Math. Artif. Intell. 27(1-4): 3-23 (1999) - [c2]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Multiple-Valued Tableaux with delta-reductions. IC-AI 1999: 177-183 - 1998
- [j2]Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Reducing signed propositional formulas. Soft Comput. 2(4): 157-166 (1998) - [c1]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
Implicates and Reduction Techniques for Temporal Logics. JELIA 1998: 309-323 - 1995
- [j1]Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. Acta Informatica 32(1): 61-78 (1995)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint