Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
Genetic algorithms + data structures = evolution programs (3rd ed.)
Genetic algorithms + data structures = evolution programs (3rd ed.)
Artificial Intelligence
New ideas in optimization
Future Generation Computer Systems
Alternative foundations for Reiter's default logic
Artificial Intelligence
Local Search in Combinatorial Optimization
Local Search in Combinatorial Optimization
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic
Proceedings of the 10th International Conference on Automated Deduction
Combining heuristics for default logic reasoning systems
ICTAI '00 Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Towards Local Search for Answer Sets
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Answer Set Programming by Ant Colony Optimization
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |
Default Logic is recognized as a powerful framework for knowledge representation and incomplete information management. Its expressive power is suitable for non monotonic reasoning, but the counterpart is its very high level of computational complexity. The purpose of this paper is to show how heuristics such as Genetic Algorithms, Ant Colony Optimization and Local Search can be used to elaborate an efficient non monotonic reasoning system.