A logical semantics for hypothetical rulebases with deletion
From MaRDI portal
Publication:4352539
DOI10.1016/S0743-1066(96)00093-3zbMath0882.68087MaRDI QIDQ4352539
Publication date: 4 September 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
68Q55: Semantics in the theory of computing