Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
On computing all abductive explanations
Eighteenth national conference on Artificial intelligence
Complexity results for explanations in the structural-model approach
Artificial Intelligence
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Compilability of propositional abduction
ACM Transactions on Computational Logic (TOCL)
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Incremental Generation of Abductive Explanations for Tactical Behavior
RoboCup 2007: Robot Soccer World Cup XI
Stochastic search and phase transitions: AI meets physics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Equivalence in abductive logic
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
A new algorithm for enumerating all maximal cliques in complex network
ADMA'06 Proceedings of the Second international conference on Advanced Data Mining and Applications
| Hi-index | 0.00 |