Integer programming vs. expert systems: an experimental comparison
Communications of the ACM
Extended Horn sets in propositional logic
Journal of the ACM (JACM)
A linear programming approach to logical inference
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
A class of logic problems solvable by linear programming
Journal of the ACM (JACM)
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
State-space planning by integer optimization
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
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
IEEE Transactions on Knowledge and Data Engineering
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Representation for Constraint Satisfaction Problems
IEEE Transactions on Knowledge and Data Engineering
Towards Default Reasoning through MAX-SAT
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Discrete Applied Mathematics
Complexity of many-valued logics
Beyond two
Applying integer programming to AI planning
The Knowledge Engineering Review
Integer optimization models of AI planning problems
The Knowledge Engineering Review
A Comparison between SAT and CSP Techniques
Constraints
Coherent belief revision in games
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Modelling legal reasoning in a mathematical environment through model theoretic semantics
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Theorem Proving for Verification (Invited Tutorial)
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Loosely coupled formulations for automated planning: an integer programming perspective
Journal of Artificial Intelligence Research
On the use of integer programming models in AI planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The consistency of the CADIAG-2 knowledge base: a probabilistic approach
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
A hybrid method for probabilistic satisfiability
CADE'11 Proceedings of the 23rd international conference on Automated deduction
The problem of asking the minimum number of questions in horn clause systems
Mathematical and Computer Modelling: An International Journal
An approach to guided learning of boolean functions
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.02 |