Author:
Jansen Joachim,Dasseville Ingmar,Devriendt Jo,Janssens Gerda
Reference22 articles.
1. Aavani, A., Wu, X.N., Tasharrofi, S., Ternovska, E., Mitchell, D.G.: Enfragmo: A system for modelling and solving search problems with logic. In Bjørner, N., Voronkov, A., eds.: LPAR. Volume 7180 of LNCS., Springer (2012) 15--22
2. Bancilhon, F.: Naive evaluation of recursively defined relations. In Brodie, M., Mylopoulos, J., eds.: On Knowledge Base Management Systems. Topics in Information Systems. Springer New York (1986) 165--178
3. De Cat, B.: Separating Knowledge from Computation: An FO(.) Knowledge Base System and its Model Expansion Inference. PhD thesis, KU Leuven, Leuven, Belgium (May 2014)
4. De Cat, B., Bogaerts, B., Devriendt, J., Denecker, M.: Model expansion in the presence of function symbols using constraint programming. In: ICTAI, IEEE (2013) 1068--1075
5. De Cat, B., Jansen, J., Janssens, G.: IDP3: Combining symbolic and ground reasoning for model generation. (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献