Roelofsen, Floris
Roelofsen, Floris
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.009 secondi).
Bounded Model Property for Multi-Context Systems
2004-01-01 Roelofsen, Floris
Complexity of Contextual Reasoning
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Contextual Default Reasoning
2007-01-01 Gerhard, Brewka; Roelofsen, Floris; Serafini, Luciano
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems
2004-01-01 Roelofsen, Floris; Serafini, Luciano; Cimatti, Alessandro
Minimal and Absent Information in Contexts
2005-01-01 Roelofsen, Floris; Serafini, Luciano
Minimality and Non-determinism in Multi-context Systems
2005-01-01 Roelofsen, Floris; Serafini, Luciano
Satisfiability for Propositional Contexts
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Satisfiability for Propositional Contexts
2004-01-01 Serafini, Luciano; Roelofsen, Floris
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 |