N-Prolog: An extension of Prolog with hypothetical implications. I.

D. M. Gabbay, U. Reyle

Research output: Contribution to journalArticlepeer-review

109 Scopus citations

Fingerprint

Dive into the research topics of 'N-Prolog: An extension of Prolog with hypothetical implications. I.'. Together they form a unique fingerprint.

Arts and Humanities

Keyphrases

Computer Science

Neuroscience