Author:
Mikitiuk Artur,Truszczynski Miroslaw
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Lecture Notes in Computer Science;M. Denecker,2009
2. Denecker, M., Ternovska, E.: A logic for non-monotone inductive definitions. ACM Transactions on Computational Logic 9(2) (2008)
3. East, D., Iakhiaev, M., Mikitiuk, A., Truszczyński, M.: Tools for modeling and solving search problems. AI Communications 19(4), 301–312 (2006)
4. East, D., Truszczyński, M.: Predicate-calculus based logics for modeling and solving search problems. ACM Transactions on Computational Logic 7, 38–83 (2006)
5. Lecture Notes in Computer Science;O. Febbraro,2011