Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2019] Forgetting auxiliary atoms in forks
  • [2019] Revisiting Explicit Negation in Answer Set Programming
  • [2019] Social Intelligence
  • [2018] Answer Set Programming from a Logical Point of View
  • [2018] Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
  • [2017] Infinitary equilibrium logic and strongly equivalent logic programs
  • [2017] On the Properties of Atom Definability and Well-Supportedness in Logic Programming
  • [2016] Collective intentionality and the social status of artifactual kinds
  • [2016] On Logics of Group Belief in Structured Coalitions
  • [2016] On the Expressiveness of Temporal Equilibrium Logic
  • [2015] A denotational semantics for equilibrium logic
  • [2012] Synonymous theories and knowledge representations in answer set programming
  • [2010] A semantical framework for hybrid knowledge bases
  ...
  mostrar más
• Capítulos de libros
  • [2010] A Logical Semantics for Description Logic Programs
  • [2010] Minimal Knowledge and Belief Minimal Topology
• Conferencias invitadas en congresos
  • [2010] The Gödel and the Splitting Translations
• Ponencia en Congresos
  • [2010] Algebraic Semantics for Modal and Superintuitionistic Non-monotonic Logics
  • [2010] Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
• Proyectos de I+D+i
  • [2016] LOGIC AND KNOWLEDGE REPRESENTATION
  • [2015] SINTELNET
  • [2011] SINTELNET: European Network for Social Intelligence
  • [2010] FEAST, Foundations and Extensions of Answer Set Programming Tecnology
  ...
  mostrar más
• Responsabilidades
  • [2010] Member of the Editorial Board
  • [2010] Member of the Editorial Board
  • [2010] PC member: Jelia 10 (European Conference on Logic in Artificial Intelligence)
  • [2010] PC member: WAT 10 (Workshop on Agreement Tecnologies)
  • [2010] PC menber: ASPOCP 10 (Answer Set Programming and other Computing Paradigms)
  • [2010] Steering Committee Member of the European Conference on Logi in Artificial Intelligence
  • [2010] Steering Committee of the European Conference on Logi in Artificial Intelligence
  ...
  mostrar más