Name Card

Full name Familienname, Vorname
Leone, Nicola
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Amendola, Giovanni ; Eiter, Thomas ; Fink, Michael ; Leone, Nicola ; Moura, Joao Semi-equilibrium models for paracoherent answer set programsArtikel Article 2016
2Amendola, Giovanni ; Eiter, Thomas ; Leone, Nicola ; Moura, Joao Semi-equilibrium models for paracoherent answer set programsBericht Report2014
3Amendola, Giovanni ; Eiter, Thomas ; Leone, Nicola Modular Paracoherent Answer SetsKonferenzbeitrag Inproceedings 2014
4Dell´Armi, Tina ; Gallucci, Lorenzo ; Leone, Nicola ; Ricca, Francesco ; Schindlauer, Roman ONTODLV: an ASP-based System for Enterprise OntologiesKonferenzbeitrag Inproceedings 2007
5Leone, Nicola ; Pfeifer, Gerald ; Faber, Wolfgang ; Eiter, Thomas ; Gottlob, Georg ; Perri, Simona ; Scarcello, Francesco The DLV System for knowledge representation and reasoningArtikel Article2006
6Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael Data Integration: a Challenging ASP ApplicationKonferenzbeitrag Inproceedings 2005
7Leone, Nicola ; Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael The INFOMIX System for Advanced Integration of Incomplete and Inconsistent DataKonferenzbeitrag Inproceedings 2005
8Ricca, Francesco ; Faber, Wolfgang ; Leone, Nicola A Backjumping Technique for Disjunctive Logic ProgrammingBericht Report2005
9Faber, Wolfgang ; Leone, Nicola ; Ricca, Francesco Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and BenchmarksBericht Report2005
10Ricca, Francesco ; Leone, Nicola Disjunctive Logic Programming with Types and Objects: The DLV+ SystemBericht Report2005
11Dell´Armi, Tina ; Faber, Wolfgang ; Ielpa, Giuseppe ; Leone, Nicola ; Pfeifer, Gerald Semantics and Computation of Aggregate Functions in Disjunctive Logic ProgrammingBericht Report2003
12Eiter, Thomas ; Faber, Wolfgang ; Leone, Nicola ; Pfeifer, Gerald Computing Preferred Answer Sets by Meta-Interpretation in Answer Set ProgrammingBericht Report2002
13Leone, Nicola ; Pfeifer, Gerald ; Faber, Wolfgang ; Eiter, Thomas ; Gottlob, Georg ; Koch, Christoph ; Mateis, Cristinel ; Perri, Simona ; Scarcello, Francesco The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14)Bericht Report2002
14Eiter, Thomas ; Faber, Wolfgang ; Leone, Nicola ; Pfeifer, Gerald ; Polleres, Axel Florian Answer Set Planning under Action Costs (INFSYS RR-1843-02-13)Bericht Report2002

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Haret, Adrian ; Wallner, Johannes P. Manipulating Skeptical and Credulous Consequences When Merging BeliefsKonferenzbeitrag Inproceedings 2019
2Geibinger, Tobias ; Tompits, Hans Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2019
3Saribatur, Zeynep G. ; Schüller, Peter ; Eiter, Thomas Abstraction for Non-ground Answer Set ProgramsKonferenzbeitrag Inproceedings 2019
4Schindlauer Roman - 2006 - Answer-set programming for the semantic web.pdf.jpgSchindlauer, Roman Answer-set programming for the semantic webThesis Hochschulschrift 2006
5Finzi, Alberto ; Lukasiewicz, Thomas Game-Theoretic Reasoning About Actions in Nonmonotonic Causal TheoriesKonferenzbeitrag Inproceedings2005