ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
An explanation-based-learning approach to knowledge compilation: a Pilot's Associate application
IEEE Expert
◽
10.1109/64.143238
◽
1992
◽
Vol 7
(3)
◽
pp. 44-51
◽
Cited By ~ 2
Author(s):
K.R. Levi
◽
D.L. Perschbacher
◽
M.A. Hoffman
◽
C.A. Miller
◽
B.B. Druhan
◽
...
Keyword(s):
Knowledge Compilation
◽
Learning Approach
◽
Explanation Based Learning
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close