 | 2009 |
|---|
| 8 |       | Ivano Ciardelli,
Irma Cornelisse,
Jeroen Groenendijk,
Floris Roelofsen:
Computing Compliance.
LORI 2009: 55-65 |
| 7 | | Ivano Ciardelli,
Floris Roelofsen:
Generalized inquisitive logic: completeness via intuitionistic Kripke models.
TARK 2009: 71-80 |
| 2007 |
|---|
| 6 | | Gerhard Brewka,
Floris Roelofsen,
Luciano Serafini:
Contextual Default Reasoning.
IJCAI 2007: 268-273 |
| 2005 |
|---|
| 5 | | Floris Roelofsen,
Luciano Serafini:
Minimality and Non-determinism in Multi-context Systems.
CONTEXT 2005: 424-435 |
| 4 | | Floris Roelofsen,
Luciano Serafini:
Minimal and Absent Information in Contexts.
IJCAI 2005: 558-563 |
| 2004 |
|---|
| 3 |  | Floris Roelofsen,
Luciano Serafini:
Complexity of Contextual Reasoning.
AAAI 2004: 118-123 |
| 2 | | Floris Roelofsen,
Luciano Serafini,
Alessandro Cimatti:
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems.
ECAI 2004: 58-62 |
| 1 | | Luciano Serafini,
Floris Roelofsen:
Satisfiability for Propositional Contexts.
KR 2004: 369-376 |
