A procedural semantics for well-founded negation in logic programs
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- May 01, 1992
- Source ID
- 10.1016/0743-1066(92)90019-y
Entities
People
- Kenneth A. Ross
Organizations
- Air Force Office of Scientific Research
- International Business Machines Corporation (Armonk, NY)
- National Science Foundation