2007 |
6 | EE | Gerhard Brewka,
Floris Roelofsen,
Luciano Serafini:
Contextual Default Reasoning.
IJCAI 2007: 268-273 |
2005 |
5 | EE | Floris Roelofsen,
Luciano Serafini:
Minimality and Non-determinism in Multi-context Systems.
CONTEXT 2005: 424-435 |
4 | EE | 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 |