Computation with run time skolemisation (N-Prolog part 3)

&
Journal of Applied Non-Classical Logics 3 (1):93-128 (1993)
  Copy   BIBTEX

Abstract

No abstract

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1993.10510797

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

N-prolog and equivalence of logic programs.Nicola Olivetti & Lea Terracini - 1992 - Journal of Logic, Language and Information 1 (4):253-340.
.[author unknown] - unknown
How Much of One-Way Computation Is Just Thermodynamics?Janet Anders, Michal Hajdušek, Damian Markham & Vlatko Vedral - 2008 - Foundations of Physics 38 (6):506-522.
Computation, among other things, is beneath us.Selmer Bringsjord - 1994 - Minds and Machines 4 (4):469-88.
A quantum computer only needs one universe.A. M. Steane - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (3):469-478.
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.
In computation, parallel is nothing, physical everything.Selmer Bringsjord - 2001 - Minds and Machines 11 (1):95-99.
From logic to physics: How the meaning of computation changed over time.Itamar Pitowsky - unknown
Computation, Information, and the Arrow of Time.Pieter Adriaans, Peter van Emde Boas & Fnwi Illc - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific.
Direct deductive computation on discourse representation structures.Uwe Reyle & Dov M. Gabbay - 1994 - Linguistics and Philosophy 17 (4):343 - 390.
Explaining computation without semantics: Keeping it simple.Nir Fresco - 2010 - Minds and Machines 20 (2):165-181.
Parallel machines.Andrew Boucher - 1997 - Minds and Machines 7 (4):543-551.
Cognition is not computation: The argument from irreversibility.Selmer Bringsjord - 1997 - Synthese 113 (2):285-320.
leanTAP Revisited.Melvin Fitting - unknown

Analytics

Added to PP
2013-12-01

Downloads
22 (#692,982)

6 months
9 (#295,075)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dov Gabbay
Hebrew University of Jerusalem
Uwe Reyle
Universität Stuttgart

Citations of this work

Add more citations

References found in this work

No references found.

Add more references