Aggregation in probabilistic databases via knowledge compilation

Proceedings of the VLDB Endowment ◽

10.14778/2140436.2140445 ◽

2012 ◽

Vol 5 (5) ◽

pp. 490-501 ◽

Author(s):

Robert Fink ◽

Larisa Han ◽

Dan Olteanu

Keyword(s):

Knowledge Compilation ◽

Probabilistic Databases

Download Full-text

A Compositional Approach to Probabilistic Knowledge Compilation

International Journal of Approximate Reasoning ◽

10.1016/j.ijar.2021.07.007 ◽

2021 ◽

Author(s):

Giso H. Dal ◽

Alfons W. Laarman ◽

Arjen Hommersom ◽

Peter J.F. Lucas

Keyword(s):

Knowledge Compilation ◽

Compositional Approach ◽

Probabilistic Knowledge

Download Full-text

Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case

2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) ◽

10.1109/itsc45102.2020.9294213 ◽

2020 ◽

Author(s):

Salomon Wollenstein-Betech ◽

Christian Muise ◽

Christos G. Cassandras ◽

Ioannis Ch. Paschalidis ◽

Yasaman Khazaeni

Keyword(s):

Intelligent Transportation Systems ◽

Intelligent Transportation ◽

Transportation Systems ◽

Knowledge Compilation ◽

Download Full-text

Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems ◽

10.1145/3375395.3387642 ◽

2020 ◽

Author(s):

Mikaël Monet

Keyword(s):

Probabilistic Databases ◽

Download Full-text

Reasoning with Propositional Logic: From SAT Solvers to Knowledge Compilation

A Guided Tour of Artificial Intelligence Research ◽

10.1007/978-3-030-06167-8_5 ◽

2020 ◽

pp. 115-152

Author(s):

Laurent Simon

Keyword(s):

Propositional Logic ◽

Knowledge Compilation ◽

Download Full-text

Knowledge Compilation for Core Competence Extraction in Organizations

Business Information Systems - Lecture Notes in Business Information Processing ◽

10.1007/978-3-642-38366-3_14 ◽

2013 ◽

pp. 163-174 ◽

Author(s):

Simona Colucci ◽

Eufemia Tinelli ◽

Silvia Giannini ◽

Eugenio Di Sciascio ◽

Francesco M. Donini

Keyword(s):

Core Competence ◽

Knowledge Compilation

Download Full-text

Knowledge Compilation with Empowerment

SOFSEM 2012: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27660-6_50 ◽

2012 ◽

pp. 612-624 ◽

Author(s):

Lucas Bordeaux ◽

Joao Marques-Silva

Keyword(s):

Knowledge Compilation

Download Full-text

Revisiting the formal foundation of Probabilistic Databases

Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology ◽

10.2991/ifsa-eusflat-15.2015.43 ◽

2015 ◽

Author(s):

Brend Wanders ◽

Maurice Van Keulen

Keyword(s):

Probabilistic Databases

Download Full-text

Probabilistic Databases with an Infinite Open-World Assumption

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '19 ◽

10.1145/3294052.3319681 ◽

2019 ◽

Author(s):

Martin Grohe ◽

Peter Lindner

Keyword(s):

Probabilistic Databases ◽

Open World Assumption

Download Full-text

Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_2 ◽

2006 ◽

pp. 3-3 ◽

Author(s):

Adnan Darwiche

Keyword(s):

Knowledge Compilation

Download Full-text

Knowledge Compilation Languages as Proof Systems

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2019 ◽

10.1007/978-3-030-24258-9_6 ◽

2019 ◽

pp. 90-99

Author(s):

Florent Capelli

Keyword(s):

Knowledge Compilation ◽

Download Full-text