Non-Monotonic Reasoning with Quantified Boolean Constraints

Charlotte-V. Pollet,J. Remmel
DOI: https://doi.org/10.1007/3-540-63255-7_3
1997-07-28
Abstract:
What problem does this paper attempt to address?