conftrace_

David Pearce

2 papers · 2013–2020 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🧭 Keyword Pioneer 🏃 Academic Marathon (7) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (11) 🚀 Conference Pioneer

Conferences

IJCAI (2)

Top co-authors

Agustín Valverde (1) Pedro Cabalar (1) Gilberto Pérez (1) Jorge Fandinno (1) Concepción Vidal (1) Luis Fariñas del Cerro (1) Felicidad Aguado (1)

Keywords

formal methods (1) logic programming (1) equilibrium logic (1) projective strong equivalence (1) stable model (1) strong equivalence (1) semantic characterization (1)

Papers

Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020 FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions IJCAI 2013