( 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

A three-valued semantics for querying and repairing inconsistent databases., , und . Ann. Math. Artif. Intell., 51 (2-4): 167-193 (2007)Querying Data Exchange Settings Beyond Positive Queries., , , und . Datalog, Volume 3203 von CEUR Workshop Proceedings, Seite 27-41. CEUR-WS.org, (2022)Consistent Queries over Databases with Integrity Constraints., , , und . Database Technologies: Concepts, Methodologies, Tools, and Applications, IGI Global, (2009)Checking Termination of Datalog with Function Symbols Through Linear Constraints., , , und . SEBD, Seite 192-199. Curran Associates, Inc., (2015)Count Queries in Probabilistic Spatio-Temporal Knowledge Bases with Capacity Constraints., , und . ECSQARU, Volume 10369 von Lecture Notes in Computer Science, Seite 459-469. Springer, (2017)Preferred Explanations for Ontology-Mediated Queries under Existential Rules., , , , und . AAAI, Seite 6262-6270. AAAI Press, (2021)Computing Approximate Certain Answers over Incomplete Databases., , und . AMW, Volume 1912 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Algorithms for Computing Approximate Certain Answers over Incomplete Databases., , und . IDEAS, Seite 1-4. ACM, (2018)Querying and Repairing Inconsistent Databases Under Three-Valued Semantics., und . ICLP, Volume 4670 von Lecture Notes in Computer Science, Seite 149-164. Springer, (2007)Efficient Maximum Flow Maintenance on Dynamic Networks., , , und . WWW (Companion Volume), Seite 1383-1385. ACM, (2017)