246
Bibliography
Cybernetics and Informatics, SCI2001, and the 7th International Conference on Information Systems Analysis and Synthesis, ISAS2001, Volume
XVII, Orlando, Florida, USA, pages 218–222. International Institute of
Informatics and Systemics: IIIS, Winter Garden, FL.
[Blair et al., 1997a] Blair, H. A., Chidella, J., Dushin, F., Ferry, A., and Humenn, P. (1997a). A continuum of discrete systems. Annals of Mathematics and Artificial Intelligence, 21(2–4):155–185.
[Blair et al., 1997b] Blair, H. A., Dushin, F., and Humenn, P. (1997b). Simulations between programs as cellular automata. In Dix, J., Furbach,
U., and Nerode, A., editors, Logic Programming and Non-Monotonic
Reasoning, Proceedings of the 4th International Conference LPNMR97,
Dagstuhl, Lecture Notes in Artificial Intelligence, Volume 1265, pages
115–131. Springer, Berlin.
[Blair et al., 1999] Blair, H. A., Dushin, F., Jakel, D. W., Rivera, A. J., and
Sezgin, M. (1999). Continuous models of computation for logic programs.
In Apt, K. R., Marek, V. W., Truszczy´ nski, M., and Warren, D. S., editors, The Logic Programming Paradigm: A 25-Year Persepective, pages
231–255. Springer, Berlin.
[Blair et al., 2007] Blair, H. A., Jakel, D. W., Irwin, R. J., and Rivera, A.
(2007). Elementary differential calculus on discrete and hybrid structures. In Art¨ emov, S. N. and Nerode, A., editors, Logical Foundations
of Computer Science, International Symposium, LFCS 2007, New York,
NY, USA, June 4-7, 2007, Proceedings, Lecture Notes in Computer Science, Volume 4514, pages 41–53. Springer, Berlin.
[Bochman, 1995] Bochman, A. (1995). Default consequence relations as a
logical framework for logic programs. In Marek, V. W. and Nerode,
A., editors, Proceedings of the Third International Conference on Logic
Programming and Non-Monotonic Reasoning (LPNMR’95), Lexington,
KY, USA, June 26-28, 1995, Lecture Notes in Computer Science, Volume
928, pages 245–258. Springer-Verlag, Berlin.
[Boley and Kifer, 2010] Boley, H. and Kifer, M., editors (22 June, 2010). RIF
Basic Logic Dialect. W3C Recommendation. Available from the website
http://www.w3.org/TR/rif-bld/.
[Bonnier et al., 1991] Bonnier, S., Nilsson, U., and N¨ aslund, T. (1991). A
simple fixed-point characterization of the three-valued stable model semantics. Information Processing Letters, 40(2):73–78.
[Bonsangue et al., 1996] Bonsangue, M. M., van Breugel, F., and Rutten, J. J.
(1996). Alexandroff and Scott topologies for generalized metric spaces.
In Andima, S., Flagg, R., Itzkowitz, G., et al., editors, Papers on General Topology and Applications: Eleventh Summer Conference on General
Bibliography
Cybernetics and Informatics, SCI2001, and the 7th International Conference on Information Systems Analysis and Synthesis, ISAS2001, Volume
XVII, Orlando, Florida, USA, pages 218–222. International Institute of
Informatics and Systemics: IIIS, Winter Garden, FL.
[Blair et al., 1997a] Blair, H. A., Chidella, J., Dushin, F., Ferry, A., and Humenn, P. (1997a). A continuum of discrete systems. Annals of Mathematics and Artificial Intelligence, 21(2–4):155–185.
[Blair et al., 1997b] Blair, H. A., Dushin, F., and Humenn, P. (1997b). Simulations between programs as cellular automata. In Dix, J., Furbach,
U., and Nerode, A., editors, Logic Programming and Non-Monotonic
Reasoning, Proceedings of the 4th International Conference LPNMR97,
Dagstuhl, Lecture Notes in Artificial Intelligence, Volume 1265, pages
115–131. Springer, Berlin.
[Blair et al., 1999] Blair, H. A., Dushin, F., Jakel, D. W., Rivera, A. J., and
Sezgin, M. (1999). Continuous models of computation for logic programs.
In Apt, K. R., Marek, V. W., Truszczy´ nski, M., and Warren, D. S., editors, The Logic Programming Paradigm: A 25-Year Persepective, pages
231–255. Springer, Berlin.
[Blair et al., 2007] Blair, H. A., Jakel, D. W., Irwin, R. J., and Rivera, A.
(2007). Elementary differential calculus on discrete and hybrid structures. In Art¨ emov, S. N. and Nerode, A., editors, Logical Foundations
of Computer Science, International Symposium, LFCS 2007, New York,
NY, USA, June 4-7, 2007, Proceedings, Lecture Notes in Computer Science, Volume 4514, pages 41–53. Springer, Berlin.
[Bochman, 1995] Bochman, A. (1995). Default consequence relations as a
logical framework for logic programs. In Marek, V. W. and Nerode,
A., editors, Proceedings of the Third International Conference on Logic
Programming and Non-Monotonic Reasoning (LPNMR’95), Lexington,
KY, USA, June 26-28, 1995, Lecture Notes in Computer Science, Volume
928, pages 245–258. Springer-Verlag, Berlin.
[Boley and Kifer, 2010] Boley, H. and Kifer, M., editors (22 June, 2010). RIF
Basic Logic Dialect. W3C Recommendation. Available from the website
http://www.w3.org/TR/rif-bld/.
[Bonnier et al., 1991] Bonnier, S., Nilsson, U., and N¨ aslund, T. (1991). A
simple fixed-point characterization of the three-valued stable model semantics. Information Processing Letters, 40(2):73–78.
[Bonsangue et al., 1996] Bonsangue, M. M., van Breugel, F., and Rutten, J. J.
(1996). Alexandroff and Scott topologies for generalized metric spaces.
In Andima, S., Flagg, R., Itzkowitz, G., et al., editors, Papers on General Topology and Applications: Eleventh Summer Conference on General