H ? « »

Language peer sets for Modal Logic Programming:
Designed 1986
1980s languages
Fifth generation
Late Cold War

Modal Logic Programming(ID:6839/mod041)

alternate simple view
Country: Japan
Designed 1986

Modal extensions to Prolog

Related languages
Prolog Modal Logic Programming   Extension of

  • Akama, S. (1986) Akama, S. "A proposal of modal logic programming (extended abstract)" in Proc. of the 6th Canadian Conference on Artificial Intelligence, pp. 99-102, Ecole Fob/technique de Montreal, Montreal, Quebec, Canada, May 1986. Presses de PUniversite du Quebec.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Modal Logic Programming
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder