dblp.uni-trier.dewww.uni-trier.de

Floris Roelofsen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Gerhard Brewka [6]
2Alessandro Cimatti [2]
3Luciano Serafini [1] [2] [3] [4] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)