( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Distributed Subweb Specifications for Traversing the Web.

, , , , , и . CoRR, (2023)

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.

Bart Bogaerts

Bart Cramer

Bart Maris

Bart Kersbergen

Bart Geurts

 

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

Distributed Subweb Specifications for Traversing the Web., , , , , и . CoRR, (2023)Exploiting Game Theory for Analysing Justifications., , и . Theory Pract. Log. Program., 20 (6): 880-894 (2020)Certified Dominance and Symmetry Breaking for Combinatorial Optimisation., , , и . J. Artif. Intell. Res., (2023)Simplifying Step-Wise Explanation Sequences., , , , и . CP, том 280 из LIPIcs, стр. 11:1-11:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Executable First-Order Queries in the Logic of Information Flows., , , , и . ICDT, том 155 из LIPIcs, стр. 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preservation theorems for Tarski's relation algebra., , , и . Log. Methods Comput. Sci., (2024)Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability., , , , , и . CP, том 307 из LIPIcs, стр. 4:1-4:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Tree-Like Justification Systems are Consistent., и . ICLP Technical Communications / Doctoral Consortium, том 364 из EPTCS, стр. 1-11. (2022)On Nested Justification Systems., , , и . Theory Pract. Log. Program., 22 (5): 641-657 (2022)Link Traversal with Distributed Subweb Specifications., , , , , и . RuleML+RR, том 12851 из Lecture Notes in Computer Science, стр. 62-79. Springer, (2021)