Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 154
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
Mostrati risultati da 1 a 20 di 154
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