Author:
Denecker Marc,Vennekens Joost
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Kakas, A.C., Kowalski, R., Toni, F.: Abductive logic programming. Journal of Logic and Computation 2(6), 719–770 (1992)
2. Marek, V.W., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczyński, M., Warren, D.S. (eds.) The Logic Programming Paradigm: a 25-Year Perspective, pp. 375–398. Springer, Heidelberg (1999)
3. Kautz, H., Selman, B.: Pushing the envelope: Planning, propositional logic, and stochastic search. In: AAAI 1996 (1996)
4. Prasad, M., Biere, A., Gupta, A.: A survey of recent advances in sat-based formal verification. Intl. Journal on Software Tools for Technology Transfer (STTT) 7(2) (2005)
5. Stuckenschmidt, H.: Partial matching using approximate subsumption. In: AAAI 2007 (2007)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献