Skip Nav Destination
Logic Programming
Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Edited by
The MIT Press
ISBN electronic:
9780262291309
Publication date:
1996
Book Chapter
A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs
-
Published:1996
Citation
Michael Thielscher, 1996. "A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs", Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Michael Maher
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.