The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Kristian Reale" ( http://dblp.L3S.de/Authors/Kristian_Reale )

  Author page on DBLP  Author page in RDF  Community of Kristian Reale in ASPL-2

Publication years (Num. hits)
2010-2019 (21)
Publication types (Num. hits)
article(5) inproceedings(16)
Venues (Conferences, Journals, ...)
CILC(4) CoRR(3) LPNMR(3) SEBD(3) Datalog(2) INAP/WLP(1) JELIA(1) KI(1) PADL(1) RR(1) TPLP(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 22 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin Debugging Non-ground ASP Programs: Technique and Graphical Tools. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Large-Scale Reasoning on Expressive Horn Ontologies. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Large Scale DLV: Preliminary Results. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Enhancing DLV for Large-Scale Reasoning. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Querying Large Expressive Horn Ontologies. Search on Bibsonomy SEBD The full citation details ... 2019 DBLP  BibTeX  RDF
1Bernardo Cuteri, Kristian Reale, Francesco Ricca Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper. Search on Bibsonomy SEBD The full citation details ... 2019 DBLP  BibTeX  RDF
1Bernardo Cuteri, Kristian Reale, Francesco Ricca A Logic-Based Question Answering System for Cultural Heritage. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca Developing ASP Programs with ASPIDE and LoIDE. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin Debugging Non-Ground ASP Programs: Technique and Graphical Tools. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri A REST-Based Development Framework for ASP: Tools and Application. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin An integrated Graphical User Interface for Debugging Answer Set Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca Development Tools for Datalog. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina An Integrated Environment for Reasoning over Ontologies via Logic Programming. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca Datalog Development Tools - (Extended Abstract). Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Extending ASPIDE with User-defined Plugins. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Unit Testing in ASPIDE Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Onofrio Febbraro, Kristian Reale, Francesco Ricca Testing ASP programs in ASPIDE. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Unit Testing in ASPIDE. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber 0001, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Kristian Reale, Francesco Ricca ASPIDE: Integrated Development Environment for Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Kristian Reale, Francesco Ricca A Visual Interface for Drawing ASP Programs. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license