Author:
Vennekens Joost,Denecker Marc,Bruynooghe Maurice
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference23 articles.
1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Theory, Implementation and Applications. Cambridge University Press (2002)
2. Bruijn, J.D., Pearce, D., Polleres, A., Valverde, A.: Quantified equilibrium logic and hybrid rules. In: International Conference on Web Reasoning and Rule Systems (RR) (2007)
3. Büchi, J.R.: Weak second order arithmetic and finite automata. Z. Math. Log. Grundl. Math. 6, 66–92 (1960)
4. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Perspectives in Mathematical Logic. Springer (1997)
5. Denecker, M., Vennekens, J.: Well-founded semantics and the algebraic theory of non-monotone inductive definitions. In: Baral, C., Brewka, G., Schlipf, J. (eds.) Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR. Lecture Notes in Artificial Intelligence, vol. LNAI 4483, pp. 84–96. Springer (2007)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献