Publikationen in Zusammenarbeit mit Forschern von Universidade Nova de Lisboa (2)

2007

  1. Termination of logic programs with imperfect information: applications and query procedure

    Journal of Applied Logic, Vol. 5, Núm. 3, pp. 435-458

2006

  1. A tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations

    IEEE International Conference on Fuzzy Systems