Sfoglia per Autore
NONMONOTONIC REASONING
1990 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Survey on Non-Monotonic Reasoning
1990 Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Notes on Ginsberg's multivalued logics
1991 Schaerf, M.
Ragionamento Non-Monotono
1991 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Reasoning about reasoning in a meta-level architecture
1991 Aiello, Luigia Carlucci; Nardi, Daniele; Schaerf, Marco
Approximate entailment
1991 Cadoli, M.; Schaerf, M.
Logic programming and autoepistemic logics: New relations and complexity results
1993 Schaerf, M.
Negation and minimality in non-Horn databases
1993 Schaerf, Marco
A SURVEY OF COMPLEXITY RESULTS FOR NONMONOTONIC LOGICS
1993 Cadoli, Marco; Schaerf, Marco
Approximate Inference in Default Logic and Circumscription
1994 Cadoli, Marco; Schaerf, Marco
Is intractability of non-monotonic reasoning a real drawback?
1994 Cadoli, Marco; Donini Francesco, M.; Schaerf, Marco
NEGATION AND MINIMALITY IN DISJUNCTIVE DATABASES
1995 Schaerf, Marco
Tractable Reasoning via Approximation
1995 Schaerf, Marco; Cadoli, Marco
Size of a revised knowledge base
1995 Cadoli, Marco; Donini Francesco, M.; Liberatore, Paolo; Schaerf, Marco
On compact representations of propositional circumscription
1995 Cadoli, M.; Donini, F. M.; Schaerf, M.
Feasibility and unfeasibility of off-line processing
1996 Cadoli, Marco; Donini, F.; Liberatore, Paolo; Schaerf, Marco
The complexity of model checking for belief revision and update
1996 Liberatore, Paolo; Schaerf, Marco
Is intractability of nonmonotonic reasoning a real drawback?
1996 Cadoli, Marco; Francesco M., Donini; Schaerf, Marco
On the complexity of entailment in propositional multivalued logics
1996 Cadoli, Marco; Schaerf, Marco
Experimental analysis of the computational cost of evaluating Quantified Boolean Formulae
1997 Cadoli, M.; Giovanardi, A.; Schaerf, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
NONMONOTONIC REASONING | 1990 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Survey on Non-Monotonic Reasoning | 1990 | Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Notes on Ginsberg's multivalued logics | 1991 | Schaerf, M. | |
Ragionamento Non-Monotono | 1991 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Reasoning about reasoning in a meta-level architecture | 1991 | Aiello, Luigia Carlucci; Nardi, Daniele; Schaerf, Marco | |
Approximate entailment | 1991 | Cadoli, M.; Schaerf, M. | |
Logic programming and autoepistemic logics: New relations and complexity results | 1993 | Schaerf, M. | |
Negation and minimality in non-Horn databases | 1993 | Schaerf, Marco | |
A SURVEY OF COMPLEXITY RESULTS FOR NONMONOTONIC LOGICS | 1993 | Cadoli, Marco; Schaerf, Marco | |
Approximate Inference in Default Logic and Circumscription | 1994 | Cadoli, Marco; Schaerf, Marco | |
Is intractability of non-monotonic reasoning a real drawback? | 1994 | Cadoli, Marco; Donini Francesco, M.; Schaerf, Marco | |
NEGATION AND MINIMALITY IN DISJUNCTIVE DATABASES | 1995 | Schaerf, Marco | |
Tractable Reasoning via Approximation | 1995 | Schaerf, Marco; Cadoli, Marco | |
Size of a revised knowledge base | 1995 | Cadoli, Marco; Donini Francesco, M.; Liberatore, Paolo; Schaerf, Marco | |
On compact representations of propositional circumscription | 1995 | Cadoli, M.; Donini, F. M.; Schaerf, M. | |
Feasibility and unfeasibility of off-line processing | 1996 | Cadoli, Marco; Donini, F.; Liberatore, Paolo; Schaerf, Marco | |
The complexity of model checking for belief revision and update | 1996 | Liberatore, Paolo; Schaerf, Marco | |
Is intractability of nonmonotonic reasoning a real drawback? | 1996 | Cadoli, Marco; Francesco M., Donini; Schaerf, Marco | |
On the complexity of entailment in propositional multivalued logics | 1996 | Cadoli, Marco; Schaerf, Marco | |
Experimental analysis of the computational cost of evaluating Quantified Boolean Formulae | 1997 | Cadoli, M.; Giovanardi, A.; Schaerf, M. |
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