( en | de | ru )

 

Disambiguierung von "Molinaro, Cristian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Checking Termination of Logic Programs with Function Symbols through Linear Constraints.

, , , und . RuleML, Volume 8620 von Lecture Notes in Computer Science, Seite 97-111. Springer, (2014)

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.

Fabiano Molinaro

Cristian Sommariva

Cristian Chitu

Remo Molinaro-Huonder

Cristian Picioreanu

 

Weitere Publikationen von Autoren mit dem selben Namen

Checking Termination of Datalog with Function Symbols Through Linear Constraints., , , und . SEBD, Seite 192-199. Curran Associates, Inc., (2015)Abduction in Annotated Probabilistic Temporal Logic., , und . ICLP (Technical Communications), Volume 11 von LIPIcs, Seite 240-250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Customized Policies for Handling Partial Information in Relational Databases., , , und . IEEE Trans. Knowl. Data Eng., 25 (6): 1254-1271 (2013)Consistent Queries over Databases with Integrity Constraints., , , und . Database Technologies: Concepts, Methodologies, Tools, and Applications, IGI Global, (2009)STAR: Summarizing Timed Association Rules., , , , und . Trans. Data Sci., 2 (1): 6:1-6:36 (2021)A three-valued semantics for querying and repairing inconsistent databases., , und . Ann. Math. Artif. Intell., 51 (2-4): 167-193 (2007)Probabilistic query answering over inconsistent databases., und . Ann. Math. Artif. Intell., 64 (2-3): 185-207 (2012)Preference-based inconsistency-tolerant query answering under existential rules., , , und . Artif. Intell., (2022)Efficient Maintenance of Shortest Distances in Dynamic Graphs., , und . IEEE Trans. Knowl. Data Eng., 30 (3): 474-487 (2018)Preferred Explanations for Ontology-Mediated Queries under Existential Rules., , , , und . AAAI, Seite 6262-6270. AAAI Press, (2021)