Sfoglia per Autore Roelofsen, Floris
Mostrati risultati da 1 a 8 di 8
Complexity of Contextual Reasoning
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Bounded Model Property for Multi-Context Systems
2004-01-01 Roelofsen, Floris
Satisfiability for Propositional Contexts
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems
2004-01-01 Roelofsen, Floris; Serafini, Luciano; Cimatti, Alessandro
Satisfiability for Propositional Contexts
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Minimality and Non-determinism in Multi-context Systems
2005-01-01 Roelofsen, Floris; Serafini, Luciano
Minimal and Absent Information in Contexts
2005-01-01 Roelofsen, Floris; Serafini, Luciano
Contextual Default Reasoning
2007-01-01 Gerhard, Brewka; Roelofsen, Floris; Serafini, Luciano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Complexity of Contextual Reasoning | 1-gen-2004 | Serafini, Luciano; Roelofsen, Floris | |
| Bounded Model Property for Multi-Context Systems | 1-gen-2004 | Roelofsen, Floris | |
| Satisfiability for Propositional Contexts | 1-gen-2004 | Serafini, Luciano; Roelofsen, Floris | |
| Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems | 1-gen-2004 | Roelofsen, Floris; Serafini, Luciano; Cimatti, Alessandro | |
| Satisfiability for Propositional Contexts | 1-gen-2004 | Serafini, Luciano; Roelofsen, Floris | |
| Minimality and Non-determinism in Multi-context Systems | 1-gen-2005 | Roelofsen, Floris; Serafini, Luciano | |
| Minimal and Absent Information in Contexts | 1-gen-2005 | Roelofsen, Floris; Serafini, Luciano | |
| Contextual Default Reasoning | 1-gen-2007 | Gerhard, Brewka; Roelofsen, Floris; Serafini, Luciano |
Mostrati risultati da 1 a 8 di 8
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile