Keith Clark
- Negation as Failure
1978/01/01 by Keith Clark, Keith L. Clark · 5 citations
Computer Science · #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- PARLOG: parallel programming in logic
1986/01/02 by Keith Clark, Steve Gregory, Steven Gregory · 4 citations
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems