Browsing by Subject "logic"
Now showing items 1-6 of 6
-
Jokes and the Logic of the Cognitive Unconscious
(1980-11-01)Freud's theory of jokes explains how they overcome the mental "censors" that make it hard for us to think "forbidden" thoughts. But his theory did not work so well for humorous nonsense as for other comical subjects. ...
-
PrologPF: Parallel Logic and Functions on the Delphi Machine
(University of CambridgeComputer LaboratoryGirton College, 1998-06-16)PrologPF is a parallelising compiler targeting a distributed system of general purpose workstations connected by a relatively low performance network. The source language extends standard Prolog with the integration of ...
-
A Selected Descriptor-Indexed Bibliography to the Literature on Belief Revision
(1980-02-01)This article presents an overview of research in an area loosely called belief revision. Belief revision concentrates on the issue of revising systems of beliefs to reflect perceived changes in the environment or ...
-
Semantics of Inheritance and Attributions in the Description System Omega
(1981-08-01)Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in common sense reasoning such as descriptions, inheritance, quantification, negation, attributions ...
-
Type-alpha DPLs
(2001-10-05)This paper introduces Denotational Proof Languages (DPLs). DPLs are languages for presenting, discovering, and checking formal proofs. In particular, in this paper we discus type-alpha DPLs---a simple class of DPLs for ...
-
Type-omega DPLs
(2001-10-16)Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily ...