BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:
D.Pearce P.Cabalar I.P.d.Guzmán S.P.Odintsov
Talks about:
equilibrium (3) logic (3) program (2) partial (2) use (2) quantifi (1) foundat (1) formula (1) semant (1) extend (1)

Person: Agustín Valverde

DBLP DBLP: Valverde:Agust=iacute=n

Contributed to:

ICLP 20082008
ICLP 20072007
ICLP 20062006
CL 20002000

Wrote 4 papers:

ICLP-2008-PearceV #equilibrium #logic #quantifier #set #source code
Quantified Equilibrium Logic and Foundations for Answer Set Programs (DP, AV), pp. 546–560.
ICLP-2007-CabalarPV #logic programming #source code
Minimal Logic Programs (PC, DP, AV), pp. 104–118.
ICLP-2006-CabalarOPV #equilibrium #logic #semantics #using
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic (PC, SPO, DP, AV), pp. 346–360.
CL-2000-PearceGV #equilibrium #modelling #using
Computing Equilibrium Models Using Signed Formulas (DP, IPdG, AV), pp. 688–702.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.