Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 58
Titolo Data di pubblicazione Autore(i) File
L’agire di Dio nel cosmo: la proposta di John Polkinghorne 1-gen-2014 Amendola, Giovanni
Modular Paracoherent Answer Sets 1-gen-2014 Amendola, G; Eiter, T; Leone, Nicola
Dealing with incoherence in ASP: Split semi-equilibrium semantics 1-gen-2014 Amendola, Giovanni
Come relazionare scienze della natura e teologia? 1-gen-2015 Amendola, Giovanni
Nuova evangelizzazione e mondo scientifico: analisi di un cinquantennio di indicazioni magisteriali 1-gen-2016 Amendola, Giovanni
Le scienze della natura nella riflessione teologica di W. Pannenberg 1-gen-2016 Amendola, Giovanni
Modeling and Reasoning about NTU Games via Answer Set Programming 1-gen-2016 Amendola, G; Greco, G; Leone, N; Veltri, Pierfrancesco
Semi-Equilibrium Models for Paracoherent Answer Set Programs 1-gen-2016 Amendola, Giovanni; Eiter, T; Leone, Nicola; Moura, J.
ASPQ: An ASP-based 2QBF solver 1-gen-2016 Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco
On the application of answer set programming to the conference paper assignment problem 1-gen-2016 Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco
Comunicare la fede nel mondo tardo antico: indagine logico-formale sull’Epistula ad Candidum di Mario Vittorino 1-gen-2017 Amendola, Giovanni
Logica matematica e teologia in dialogo: dalla dimostrazione logica dell’esistenza di Dio alla logica di Dio 1-gen-2017 Amendola, Giovanni
La fede cristiana come appare ad un fisico. In dialogo con Carlo Rovelli 1-gen-2017 Amendola, Giovanni
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 1-gen-2017 Amendola, G.; Leone, N.; Manna, M.
On the Computation of Paracoherent Answer Sets 1-gen-2017 Amendola, G; Dodaro, C; Faber, W; Leone, Nicola; Ricca, Francesco; Amendola, Giovanni
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 1-gen-2017 Amendola, Giovanni; Leone, Nicola; Manna, Marco
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs 1-gen-2017 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
Minimal undefinedness for fuzzy answer sets 1-gen-2017 Alviano, Mario; Amendola, G; Penaloza, R.; Amendola, Giovanni
Finite model reasoning over existential rules 1-gen-2017 Amendola, Giovanni; Leone, Nicola; Manna, Marco
Reasoning on anonymity in Datalog+/- 1-gen-2017 Amendola, Giovanni; Leone, Nicola; Manna, Marco; Veltri, Pierfrancesco
Mostrati risultati da 1 a 20 di 58
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