Prolog/Rex - A Way to Extend Prolog for Better Knowledge Representation.

@article{DBLP:journals/tkde/VranesS94,
  author    = {Sanja Vranes and
               Mladen Stanojevic},
  title     = {Prolog/Rex - A Way to Extend Prolog for Better Knowledge Representation},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {1},
  year      = {1994},
  pages     = {22-37},
  ee        = {db/journals/tkde/VranesS94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1994 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

Daniel G. Bobrow, Terry Winograd: On Overview of KRL, a Knowledge Representation Language. Cognitive Science 1(1): 3-46(1977) BibTeX

[3]

Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) BibTeX

[4]

...

[5]

...

[6]

W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
BibTeX

[7]

Luca Console, Gianfranco Rossi: Using Prolog for Building Frog, a Hybrid Knowledge Representation System. New Generation Comput. 6(4): 361-388(1989) BibTeX

[8]

Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162(1986) BibTeX

[9]

Johan de Kleer: Extending the ATMS. Artif. Intell. 28(2): 163-196(1986) BibTeX

[10]

Johan de Kleer: Problem Solving with the ATMS. Artif. Intell. 28(2): 197-224(1986) BibTeX

[11]

...

[12]

Mehmet Dincbas, Jean-Pierre Le Pape: Metacontrol of Logic Programs in Metalog. FGCS 1984: 361-370 BibTeX

[13]

Jon Doyle: A Truth Maintenance System. Artif. Intell. 12(3): 231-272(1979) BibTeX

[14]

Richard Fikes, Tom Kehler: The Role of Frame-Based Representation in Reasoning. Commun. ACM 28(9): 904-920(1985) BibTeX

[15]

...

[16]

Charles Forgy: Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem. Artif. Intell. 19(1): 17-37(1982) BibTeX

[17]

...

[18]

...

[19]

...

[20]

...

[21]

...

[22]

...

[23]

...

[24]

...

[25]

...

[26]

Toramatsu Shintani: A Fast Prolog-Based Production System KORE/IE. ICLP/SLP 1988: 26-41 BibTeX

[27]

Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda: KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language. LP 1986: 22-33 BibTeX

[28]

Marc B. Vilain: The Restricted Language Architecture of a Hybrid Representation System. IJCAI 1985: 547-551 BibTeX

[29]

...

[30]

...