conftrace_

Luis Fariñas del Cerro

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

Achievements

Jump to papers ↓

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

Conferences

IJCAI (3)

Top co-authors

Agustín Valverde (1) Ezgi Iraz Su (1) Andreas Herzig (1) Pedro Cabalar (1) Jorge Fandinno (1) David Pearce (1)

Keywords

knowledge representation (1) logic programming (1) epistemic logic (1) stable model (1) formal semantics (1) stable model semantics (1) subjective literal (1)

Papers

On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020 Epistemic Equilibrium Logic IJCAI 2015 FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions IJCAI 2013