( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Checking Termination of Logic Programs with Function Symbols through Linear Constraints.

, , , и . RuleML, том 8620 из Lecture Notes in Computer Science, стр. 97-111. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Monika Marcotty

Massimiliano Marcon

 

Другие публикации лиц с тем же именем

Checking Termination of Datalog with Function Symbols Through Linear Constraints., , , и . SEBD, стр. 192-199. Curran Associates, Inc., (2015)Querying Data Exchange Settings Beyond Positive Queries., , , и . Datalog, том 3203 из CEUR Workshop Proceedings, стр. 27-41. CEUR-WS.org, (2022)Counting Database Repairs Entailing a Query: The Case of Functional Dependencies., , , и . SEBD, том 3194 из CEUR Workshop Proceedings, стр. 159-166. CEUR-WS.org, (2022)Exploiting Equality Generating Dependencies in Checking Chase Termination., , , и . Proc. VLDB Endow., 9 (5): 396-407 (2016)Logic Program Termination Analysis Using Atom Sizes., , , и . IJCAI, стр. 2833-2839. AAAI Press, (2015)Querying Data Exchange Settings Beyond Positive Queries., , , , , и . SEBD, том 3478 из CEUR Workshop Proceedings, стр. 360-368. CEUR-WS.org, (2023)Benchmarking Approximate Consistent Query Answering (Discussion Paper)., , и . SEBD, том 2994 из CEUR Workshop Proceedings, стр. 209-216. CEUR-WS.org, (2021)Preference-based Inconsistency-Tolerant Query Answering under Existential Rules., , , и . KR, стр. 203-212. (2020)Non-Uniformly Terminating Chase: Size and Complexity., , и . PODS, стр. 369-378. ACM, (2022)Probabilistic Answers over Inconsistent Knowledge Bases., , , , и . SEBD, том 2646 из CEUR Workshop Proceedings, стр. 48-55. CEUR-WS.org, (2020)