Simulations between programs as cellular automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1265, Issue , 1997, Pages 115-131

  Blair, Howard A ^a   Dushin, Fred ^a   Humenn, Polar ^a  

^a SYRACUSE UNIVERSITY   (United States)

Author keywords

Cellular automaton; Logic program; Orbit; Simulation

Indexed keywords

CELLULAR AUTOMATA; COMPUTER CIRCUITS; ORBITS;

GENERAL METHOD; HERBRAND INTERPRETATIONS; HERBRAND MODEL; HORN CLAUSE; LOGIC PROGRAMS; MODEL-THEORETIC; SIMULATION; SPACE-TIME DIAGRAMS;

LOGIC PROGRAMMING;

EID: 84944222122     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63255-7_9     Document Type: Conference Paper

References (14)

1. Apt, K. R. "Logic Programming" in Handbook of Theoretical Computer Science, J. van Leeuwen, ed., Elsevier, 1990, pp. 494-574.
2. Blair, H.A., Jagan Chidella, Fred Dushin, Audrey Ferry & Polar Humenn. "A Continuum of Discrete Systems" Annals of Mathematics and Artificial Intelligence, to appear.
3. Blair, H.A., Marek, W. and Schlipf, J. "The Expressiveness of Locally Stratified Programs", Annals of Mathematics and Artificial Intelligence, 15(1995)209-229.
4. Fitting, M. "Metric methods, three examples and a theorem" Journal of Logic Programming volume 21, 1994, pp 113-127.
5. Gardner, Martin. "The Fantastic Combinations of John Conway’s New Solitaire Game ‘Life’," Scientific American 223(4) (April, 1970), pp. 120-123.
6. Halmos, P.R. A Hilbert Space Problem Book Springer-Verlag, Graduate Texts in Mathematics no. 19, 1982.
7. Kelly, J.L. General Topology, Van Nostrand, 1955, Reprinted by Springer-Verlag, Graduate Texts in Mathematics, no. 27.
8. Mitchell, Melanie (1996). Computation in Cellular Automata: A Selected Review. Santa Fe Institute Working Paper 96-09-074.
9. Nerode, A. and R. Shore, Logic for Applications, Springer-Verlag, 1993.
10. Przymusinski, T. "On the Declarative Semantics of Deductive Databases and Logic Programs," in Foundations of Deductive Databases and Logic Programming, Jack Minker, ed. Morgan-Kaufmann, Los Altos, CA. 1988
11. Rogers, H. Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York, 1967.
12. Shepherdson J. C. "Unsolvable Problems for SLDNF-Resolution’, Journal of Logic Programming, 10(1), 1991, pp.19-22
13. Subrahmanian, V.S. On the Semantics of Quantitative Logic Programs, Proc. 4th IEEE Syrup. on Logic Programming, pps 173-182, Computer Society Press. Sept. 1987.
14. Toffoli, Tommaso & Norman Margolis. Cellular Automata Machines: a new environment for modeling. MIT Press, 1987.