( en | de | ru )

 

Disambiguierung von "Calautti, Marco"

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.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Counting Database Repairs Entailing a Query: The Case of Functional Dependencies., , , und . SEBD, Volume 3194 von CEUR Workshop Proceedings, Seite 159-166. CEUR-WS.org, (2022)Querying Data Exchange Settings Beyond Positive Queries., , , und . Datalog, Volume 3203 von CEUR Workshop Proceedings, Seite 27-41. CEUR-WS.org, (2022)Checking Termination of Datalog with Function Symbols Through Linear Constraints., , , und . SEBD, Seite 192-199. Curran Associates, Inc., (2015)Logic Program Termination Analysis Using Atom Sizes., , , und . IJCAI, Seite 2833-2839. AAAI Press, (2015)Exploiting Equality Generating Dependencies in Checking Chase Termination., , , und . Proc. VLDB Endow., 9 (5): 396-407 (2016)Benchmarking Approximate Consistent Query Answering (Discussion Paper)., , und . SEBD, Volume 2994 von CEUR Workshop Proceedings, Seite 209-216. CEUR-WS.org, (2021)Querying Data Exchange Settings Beyond Positive Queries., , , , , und . SEBD, Volume 3478 von CEUR Workshop Proceedings, Seite 360-368. CEUR-WS.org, (2023)Preference-based Inconsistency-Tolerant Query Answering under Existential Rules., , , und . KR, Seite 203-212. (2020)Checking termination of bottom-up evaluation of logic programs with function symbols., , , und . Theory Pract. Log. Program., 15 (6): 854-889 (2015)Termination Criteria for Datalog with Function Symbols., , , und . SEBD, Seite 248-255. (2014)