Any-World Assumptions in Logic Programming

Journal Articles Theoretical Computer Science Year : 2005

(1) ,

1

Yann Loyer

U. Straccia

Databases [cs.DB]

https://hal.science/hal-00328192

Submitted on : Friday, October 10, 2008-7:59:42 AM

Last modification on : Friday, March 24, 2023-2:52:51 PM

hal-00328192 , version 1 (10-10-2008)

Yann Loyer, U. Straccia. Any-World Assumptions in Logic Programming. Theoretical Computer Science, 2005, 342 (2-3), pp.351--381. ⟨hal-00328192⟩