Sfoglia per Autore
Survey on Non-Monotonic Reasoning
1990 Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
A Stable Model Semantics for set covering theory
1990 PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti
NONMONOTONIC REASONING
1990 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Ragionamento Non-Monotono
1991 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Intuitionistic Modal Calculus for Autoepistemic Logic
1991 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Querying Incomplete Knowledge Bases with Abduction
1991 PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti
DATA DICTIONARY DESIGN - A LOGIC PROGRAMMING APPROACH
1992 PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti
Natural properties of abductive hypotheses in three-valued logic
1993 Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti
Using Datalog as a Language for Data Dictionary Design: A Deductive Support
1993 PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti
First order abduction via tableau and sequent calculi
1993 Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora
Characterizing Prime Implicants as Projective Spaces
1993 PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti
A uniform tableau method for intuitionistic modal logics I
1994 Gianni, Amati; PIRRI ARDIZZONE, Maria Fiora
Modal Propositional Abduction
1994 Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora
Defaults as Restrictions on classical Hilbert-style proofs
1994 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
EXPLAINING INCOMPATIBILITIES IN DATA DICTIONARY DESIGN THROUGH ABDUCTION
1994 PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti
Propositional Abduction in Modal Logic
1995 Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora
Finding prime implicants by minimizing integer programming problems
1995 Bruno, Errico; PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti
A Study on the logic of Abduction
1996 MARTA CIALDEA, Mayer; PIRRI ARDIZZONE, Maria Fiora
A structural property on modal frames characterizing default logic
1996 Gianni, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora
Abduction is not deduction-in-reverse
1996 Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Survey on Non-Monotonic Reasoning | 1990 | Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
A Stable Model Semantics for set covering theory | 1990 | PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti | |
NONMONOTONIC REASONING | 1990 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Ragionamento Non-Monotono | 1991 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Intuitionistic Modal Calculus for Autoepistemic Logic | 1991 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
Querying Incomplete Knowledge Bases with Abduction | 1991 | PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti | |
DATA DICTIONARY DESIGN - A LOGIC PROGRAMMING APPROACH | 1992 | PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti | |
Natural properties of abductive hypotheses in three-valued logic | 1993 | Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti | |
Using Datalog as a Language for Data Dictionary Design: A Deductive Support | 1993 | PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti | |
First order abduction via tableau and sequent calculi | 1993 | Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora | |
Characterizing Prime Implicants as Projective Spaces | 1993 | PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti | |
A uniform tableau method for intuitionistic modal logics I | 1994 | Gianni, Amati; PIRRI ARDIZZONE, Maria Fiora | |
Modal Propositional Abduction | 1994 | Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora | |
Defaults as Restrictions on classical Hilbert-style proofs | 1994 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
EXPLAINING INCOMPATIBILITIES IN DATA DICTIONARY DESIGN THROUGH ABDUCTION | 1994 | PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti | |
Propositional Abduction in Modal Logic | 1995 | Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora | |
Finding prime implicants by minimizing integer programming problems | 1995 | Bruno, Errico; PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti | |
A Study on the logic of Abduction | 1996 | MARTA CIALDEA, Mayer; PIRRI ARDIZZONE, Maria Fiora | |
A structural property on modal frames characterizing default logic | 1996 | Gianni, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora | |
Abduction is not deduction-in-reverse | 1996 | Marta Cialdea, Mayer; PIRRI ARDIZZONE, Maria Fiora |
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