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