Compiling multi-paradigm declarative programs into Prolog

&
In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 171--185 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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

First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.
N-prolog and equivalence of logic programs.Nicola Olivetti & Lea Terracini - 1992 - Journal of Logic, Language and Information 1 (4):253-340.
What is answer set programming?Vladimir Lifschitz - unknown
Declarative knowledge (see knowledge, declarative) Declarative memory (see memory, declarative) 291.Accountable TalkSM - 2005 - In Peter Gardenfors, Petter Johansson & N. J. Mahwah (eds.), Cognition, Education, and Communication Technology. Erlbaum Associates. pp. 85--291.
Negation As Refutation.Melvin Fitting - unknown
Answer-set programming encodings for argumentation frameworks.Uwe Egly, Sarah Alice Gaggl & Stefan Woltran - 2010 - Argument and Computation 1 (2):147-177.
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
What Differentiates Declarative and Procedural Memories: Reply to Cohen, Poldrack, and Eichenbaum (1997).Daniel B. Willingham - 1998 - Memory 6:689-699.
An intensional programming approach to multi-agent coordination in a distributed network of agents.Kaiyu Wan & Vasu S. Alagar - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies Iii. Springer. pp. 205--222.
Toward a New Paradigm in Social Philosophy.Irina Predborska - 2001 - Social Philosophy Today 17:265-273.
SDML: A multi-agent language for organizational modelling.Bruce Edmonds - manuscript
Philosophiam profiteri or on Derrida's "declarative engagement".Mile Savic - 2003 - Filozofija I Društvo 2003 (21):165-203.
leanTAP Revisited.Melvin Fitting - unknown
Declarative and Nondeclarative Memory: Multiple Brain Systems Supporting Learning and Memory.Larry R. Squire - 1992 - Journal of Cognitive Neuroscience 4:232-243.
Revising psychoanalytic interpretations of the past.J. Timothy Davis - 2001 - International Journal of Psychoanalysis 82:449-462.

Analytics

Added to PP
2014-01-27

Downloads
16 (#909,186)

6 months
1 (#1,475,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references