Tableaux for Projection Computation and Knowledge Compilation

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-642-02716-1_24 ◽

2009 ◽

pp. 325-340 ◽

Cited By ~ 3

Author(s):

Christoph Wernhard

Keyword(s):

Knowledge Compilation

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 ◽

Traffic Light

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 ◽

Sat Solvers

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 11

Author(s):

Lucas Bordeaux ◽

Joao Marques-Silva

Keyword(s):

Knowledge Compilation

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 ◽

Cited By ~ 2

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 ◽

Proof Systems

Download Full-text

Towards Knowledge Compilation for Automated Diagnosis: A Qualitative, Model-Based Approach with Constraint Programming

Advances in Intelligent Systems and Computing - Advanced and Intelligent Computations in Diagnosis and Control ◽

10.1007/978-3-319-23180-8_26 ◽

2015 ◽

pp. 355-367 ◽

Cited By ~ 2

Author(s):

Antoni Ligęza

Keyword(s):

Constraint Programming ◽

Knowledge Compilation ◽

Qualitative Model ◽

Automated Diagnosis ◽

Model Based

Download Full-text

Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm

Lecture Notes in Computer Science - KI 2018: Advances in Artificial Intelligence ◽

10.1007/978-3-030-00111-7_3 ◽

2018 ◽

pp. 24-37

Author(s):

Tanya Braun ◽

Ralf Möller

Keyword(s):

Knowledge Compilation ◽

Tree Algorithm ◽

First Order ◽

Junction Tree

Download Full-text

Information loss in knowledge compilation: A comparison of Boolean envelopes

Artificial Intelligence ◽

10.1016/j.artint.2010.03.003 ◽

2010 ◽

Vol 174 (9-10) ◽

pp. 585-596 ◽

Cited By ~ 1

Author(s):

Peter Schachte ◽

Harald Søndergaard ◽

Leigh Whiting ◽

Kevin Henshall

Keyword(s):

Information Loss ◽

Knowledge Compilation

Download Full-text