Roelofsen, Floris

Roelofsen, Floris  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
Bounded Model Property for Multi-Context Systems 1-gen-2004 Roelofsen, Floris
Complexity of Contextual Reasoning 1-gen-2004 Serafini, Luciano; Roelofsen, Floris
Contextual Default Reasoning 1-gen-2007 Gerhard, Brewka; Roelofsen, Floris; Serafini, Luciano
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems 1-gen-2004 Roelofsen, Floris; Serafini, Luciano; Cimatti, Alessandro
Minimal and Absent Information in Contexts 1-gen-2005 Roelofsen, Floris; Serafini, Luciano
Minimality and Non-determinism in Multi-context Systems 1-gen-2005 Roelofsen, Floris; Serafini, Luciano
Satisfiability for Propositional Contexts 1-gen-2004 Serafini, Luciano; Roelofsen, Floris
Satisfiability for Propositional Contexts 1-gen-2004 Serafini, Luciano; Roelofsen, Floris