Results 1 - 1 of 1
- Journal of the ACM , 1991
"... ..."(Show Context)
...musinska and Przmusinski have defined weakly perfect models to handle programs such as this example . The next example was inspired by an informal presentation by K. Morris of Stanford University =-=-=-. It shows how the negation issues addressed by this paper might easily arise in practical settings. Example 7.4. We imagine a logic program that might be part of a VLSI CAD system, whose function is ...
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2016 The Pennsylvania State University