The complexity of logic-based abduction
Journal of the ACM (JACM)
NP trees and Carnap's modal logic
Journal of the ACM (JACM)
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Optimal Satisfiability for Propositional Calculi and Constraint Satisfaction Problems
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Optimal satisfiability for propositional calculi and constraint satisfaction problems
Information and Computation
Complexity of Counting the Optimal Solutions
COCOON '08 Proceedings of the 14th annual international conference on Computing and Combinatorics
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?
Complexity of Constraints
Complexity of counting the optimal solutions
Theoretical Computer Science
Answer set planning under action costs
Journal of Artificial Intelligence Research
Complexity of prioritized default logics
Journal of Artificial Intelligence Research
Capturing missing tuples and missing values
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Counting complexity of propositional abduction
Journal of Computer and System Sciences
Determining the currency of data
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Economies with non-convex production and complexity equilibria
Proceedings of the 12th ACM conference on Electronic commerce
On the complexity of package recommendation problems
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Do hard SAT-related reasoning tasks become easier in the Krom fragment?
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 5.23 |