Search the dblp DataBase

Publications of Author

1. Floris Roelofsen, Luciano Serafini
   Complexity of Contextual Reasoning. [Citation Graph (0, 0)][DBLP]
   AAAI, 2004, pp:118-123 [Conf]
   
2. Floris Roelofsen, Luciano Serafini
   Minimality and Non-determinism in Multi-context Systems. [Citation Graph (0, 0)][DBLP]
   CONTEXT, 2005, pp:424-435 [Conf]
   
3. Floris Roelofsen, Luciano Serafini, Alessandro Cimatti
   Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems. [Citation Graph (0, 0)][DBLP]
   ECAI, 2004, pp:58-62 [Conf]
   
4. Floris Roelofsen, Luciano Serafini
   Minimal and Absent Information in Contexts. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2005, pp:558-563 [Conf]
   
5. Gerhard Brewka, Floris Roelofsen, Luciano Serafini
   Contextual Default Reasoning. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2007, pp:268-273 [Conf]
   
6. Luciano Serafini, Floris Roelofsen
   Satisfiability for Propositional Contexts. [Citation Graph (0, 0)][DBLP]
   KR, 2004, pp:369-376 [Conf]
   
7. 
   Generalized inquisitive logic: completeness via intuitionistic Kripke models. [Citation Graph (, )][DBLP]
   
   
8. 
   Computing Compliance. [Citation Graph (, )][DBLP]