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
10Scopus

Keywords

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