The following pages link to Felicidad Aguado (Q2851225):
Displayed 11 items.
- Integrating Temporal Extensions of Answer Set Programming (Q2851228) (← links)
- Loop Formulas for Splitable Temporal Logic Programs (Q3003245) (← links)
- (Q3497623) (← links)
- Strongly Equivalent Temporal Logic Programs (Q3532454) (← links)
- Temporal equilibrium logic: a survey (Q4583305) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- Verification for ASP denotational semantics: a case study using the PVS theorem prover (Q4644478) (← links)
- (Q4999252) (← links)
- (Q5020566) (← links)
- (Q5398067) (← links)