An incremental method for generating prime implicants/implicates
Journal of Symbolic Computation
Structure identification in relational data
Artificial Intelligence - Special volume on constraint-based reasoning
Linear resolution for consequence finding
Artificial Intelligence
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
A General Framework for Knowledge Compilation
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Algorithms for propositional KB approximation
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A new method for consequence finding and compilation in restricted languages
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Annals of Mathematics and Artificial Intelligence
Propositional lower bounds: Algorithms and complexity
Annals of Mathematics and Artificial Intelligence
Approximation of Relations by Propositional Formulas: Complexity and Semantics
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Disjunctions of Horn Theories and Their Cores
ISAAC '98 Proceedings of the 9th International Symposium on Algorithms and Computation
Propositional Lower Bounds: Generalization and Algorithms
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Knowledge Compilation Using the Extension Rule
Journal of Automated Reasoning
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
A survey on knowledge compilation
AI Communications
Approximation of Ontologies in CASL
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
New Results for Horn Cores and Envelopes of Horn Disjunctions
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Approximate compilation for embedded model-based reasoning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Journal of Artificial Intelligence Research
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Information loss in knowledge compilation: A comparison of Boolean envelopes
Artificial Intelligence
Approximate knowledge compilation: the first order case
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Approximate model-based diagnosis using preference-based compilation
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Hi-index | 0.00 |
Many representations in early vision can be constructed by performing orientation analysis along several sampling dimensions. Texture is often oriented in space, motion is oriented in space-time, and stereo is oriented in space-disparity. In these modalities, ...