Pedro Cabalar

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

Achievements

🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (11)

Conferences

IJCAI (3)

Top co-authors

Jorge Fandinno (2) Max Ostrowski (1) Gilberto Pérez (1) Roland Kaminski (1) Concepción Vidal (1) Luis Fariñas del Cerro (1) David Pearce (1) Torsten Schaub (1) Felicidad Aguado (1)

Keywords

stable model (2) logic programming (2) epistemic logic (1) equilibrium logic (1) projective strong equivalence (1) formal semantics (1) strong equivalence (1) stable model semantics (1) semantic characterization (1) knowledge representation (1) subjective literal (1) formal methods (1)

Papers

On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020

Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020

An ASP Semantics for Default Reasoning with Constraints IJCAI 2016