Evaluation of an Algorithm for the Transversal Hypergraph Problem
WAE '99 Proceedings of the 3rd International Workshop on Algorithm Engineering
Local Search Techniques for Disjunctive Logic Programs
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Detecting outlying properties of exceptional objects
ACM Transactions on Database Systems (TODS)
On the complexity of constrained Nash equilibria in graphical games
Theoretical Computer Science
Finding Similar or Diverse Solutions in Answer Set Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Substitutional definition of satisfiability in classical propositional logic
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Hi-index | 0.00 |