H ? « ‹ ← → › »

Language peer sets for TIM:
France↑
France/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

TIM(ID:6837/tim002)

alternate simple view

Country: France
Designed 1991

Extensions to MOLOG to permit selction of clauses by reason of similarity

Related languages

Molog

→

TIM

Extension of

References:

Balbiani, P. (1991) Balbiani, P. ; A. Herzig, and M. Lima-Marques. TIM: The Toulouse inference machine for non-classical logic programming. In PDK'91: International Workshop on Processing Declarative Knowledge, volume 567 of LNAI, pp. 365-382. Springer-Verlag, 1991

Alliot, J-M. (1992) Alliot, J-M. ; A. Herzig, and M. Lima-Marques. Implementing Prolog extensions: a parallel inference machine. In Proc. of the 1992 International Conference on Fifth Generation Computer Systems, pp. 833-842. ICOT, 1992

Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: TIM

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder