Journal article

A three-valued semantics for logic programmers

Lee Naish

Theory and Practice of Logic Programming | CAMBRIDGE UNIV PRESS | Published : 2006

DOI: 10.1017/S1471068406002742

University of Melbourne Researchers

Citation metrics

5Web of Science
9Scopus

Keywords

Diagnosis
Sldnf Resolution
Computer Science
Computer Science, Theory & Methods
Inadmissibility
Science & Technology - Other Topics
Technology
Logic
Science & Technology
Computer Science, Software Engineering
Negation
Declarative Debugging
Immediate Consequence Operator
Verification
Models