Author:
Demolombe Robert,Fariñas del Cerro Luis,Obeid Naji
Publisher
Springer International Publishing
Reference22 articles.
1. Andréka, H., Németi, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27(3), 217–274 (1998)
2. Chetcuti-Sperandio, N., Fariñas del Cerro, L.: A mixed decision method for duration calculus. J. Log. Comput. 10(6), 877–895 (2000)
3. Demolombe, R., Fariñas del Cerro, L.: An Inference Rule for Hypothesis Generation. In: Proc. of International Joint Conference on Artificial Intelligence, Sydney (1991)
4. Demolombe, R.: Syntactical characterization of a subset of domain-independent formulas. J. ACM 39(1), 71–94 (1992)
5. Demolombe, R., Fariñas del Cerro, L.: Information about a given entity: From semantics towards automated deduction. J. Log. Comput. 20(6), 1231–1250 (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献