( en | de | ru )

 

Disambiguierung von "Ricca, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On look-ahead heuristics in disjunctive logic programming.

, , , und . Ann. Math. Artif. Intell., 51 (2-4): 229-266 (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cristina Ricca

Aldo Riccato

Mattia Riccardi

Annalisa Riccardi

Maria Teresa Riccato

 

Weitere Publikationen von Autoren mit dem selben Namen

New models for generating hard random boolean formulas and disjunctive logic programs., , und . Artif. Intell., (2020)Efficient Application of Answer Set Programming for Advanced Data Integration., , , und . PADL, Volume 5937 von Lecture Notes in Computer Science, Seite 10-24. Springer, (2010)Paracoherent Answer Set Semantics meets Argumentation Frameworks., und . Theory Pract. Log. Program., 19 (5-6): 688-704 (2019)The Seventh Answer Set Programming Competition: Design and Results., , und . Theory Pract. Log. Program., 20 (2): 176-204 (2020)Multi-engine ASP solving with policy adaptation., , und . J. Log. Comput., 25 (6): 1285-1306 (2015)A graphic tool for ontology reasoning under Datalog∃., , , , und . SEBD, Seite 51-62. Curran Associates, (2013)An integrated Graphical User Interface for Debugging Answer Set Programs., , , , , und . CoRR, (2016)New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs., , und . CoRR, (2018)Debugging Non-Ground ASP Programs: Technique and Graphical Tools., , , , und . CoRR, (2018)Parallel Instantiation of ASP Programs: Techniques and Experiments, , und . CoRR, (2011)