The LIIS Group

Interaction, in an amazingly wide range of forms, is a fundamental part of our life. Be it during everyday conversation or within the gates of a logic circuit the way agents and objects interact follows rules and protocols.
The Logics, Interaction and Intelligent Systems (LIIS) Group investigates the behavior of intelligent systems, from both a theoretical and practical perspective. Our research topics are diverse. On the one hand we investigate concrete examples of interaction like those that appear in situated natural language understanding and dialogue systems. These themes leads to research in areas like pragmatics of dialogue, natural language generation, machine learning, planning, and knowledge representation and reasoning. On the other hand we investigate fundamental questions in mathematical logic (e.g., complexity, model theory, algebraic logic, inference algorithms, etc.) that provides the underpinnings for interacting intelligent systems.

LIIS is formed by researchers and students of the Seccion de Ciencias de la Computacion of the Facultad de Matemática, Astronomía, Física y Computación, Universidad Nacional de Córdoba, Argentina.

Researchers

• Carlos Areces (Director)
  • [dblp - Google Scholar]
• Luciana Benotti (Co-Directrix)
  • [dblp - Google Scholar]
• Valentin Cassano
  • [dblp - Google Scholar]
• Pablo F. Castro
  • [dblp - Google Scholar]
• Martin Dominguez
  • [dblp - Google Scholar]
• Raul Fervari
  • [dblp - Google Scholar]
• Guillaume Hoffmann
  • [dblp - Google Scholar]
• Beta Ziliani
  • [dblp - Google Scholar]

PosDoc Fellows

• Mallku Soldevila

PhD Students

• Felipe Areces
• Danae Dutto
• Hernan Maina
• Mauricio Mazuecos
• Marianela Morales
• Nicolás Benjamin Ocampo
• Juliana Putero
• Andres R. Saravia

Undergraduate Students

• Julia Olcese

Main Research Areas (in alphabetic order)

• Automated Reasoning
• Discourse
• Dynamic Logics
• Interactive Proof
• Knowledge Representation
• Modal Logics
• Planning
• Situated Dialogue
• Visual Dialogue

Main Publications

Most publications can be found in the respective pages of the members of the group.