Balder ten Cate – författare
Visar alla böcker från författaren Balder ten Cate. Handla med fri frakt och snabb leverans.
4 produkter
Generating Plans from Proofs
Av Michael Benedikt, Julien Leblay m. fl.
Häftad, 2016
568 kr
Lägg i varukorg
Query reformulation refers to a process of translating a source query—a request for information in some high-level logic-based language—into a target plan that abides by certain interface restrictions. Many practical problems in data management can be seen as instances of the reformulation problem. …
Generating Plans from Proofs
Av Efthymia Tsamoura, Balder ten Cate m. fl.
E-bok, 2022
755 kr
Lägg i varukorg
Query reformulation refers to a process of translating a source query—a request for information in some high-level logic-based language—into a target plan that abides by certain interface restrictions. Many practical problems in data management can be seen as instances of the reformulation problem. …
Web Reasoning and Rule Systems
9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Av Balder ten Cate, Alessandra Mileo
Häftad, 2015
456 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 …
Web Reasoning and Rule Systems
9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Av Alessandra Mileo, Balder ten Cate
E-bok, 2015
588 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 …