Author:
Alliot Jean-Marc,Demolombe Robert,Fariñas del Cerro Luis,Diéguez Martín,Obeid Naji
Publisher
Springer International Publishing
Reference31 articles.
1. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SCIFF abductive proof-procedure. In: AI*IA’05, p. 135147 (2005)
2. Baral, C., Chancellor, K., Tran, N., Tran, N., Joy, A., Berens, M.: A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics 20 (suppl 1), i15–i22 (2004)
3. Clark, K.L.: Negation as failure. In: Logic and Databases, pp. 293–322. Plenum Press (1978)
4. Demolombe, R., Fariñas del Cerro, L., Obeid, N.: Logical model for molecular interactions maps. In: Logical Modeling of Biological Systems, pp. 93–123. Wiley, New York (2014)
5. Demolombe, R., Fariñas del Cerro, L., Obeid, N.: Translation of first order formulas into ground formulas via a completion theory. J. Appl. Logic (), to appear