-
1
-
-
0022791708
-
LOGIN: A logic programming language with built-in inheritance
-
Ait-Kaci H. and R. Nasr. (1986), LOGIN: A logic programming language with built-in inheritance, Journal Logic Programming, 3, pp. 185-215.
-
(1986)
Journal Logic Programming
, vol.3
, pp. 185-215
-
-
Ait-Kaci, H.1
Nasr, R.2
-
2
-
-
26944496206
-
Logic programming with functions over order-sorted feature terms
-
E. Lamma and P. Mello (Eds.), Springer-Verlag
-
Ait-Kaci H. and A. Podelski (1992), Logic programming with functions over order-sorted feature terms, in E. Lamma and P. Mello (Eds.), Extensions of Logic Programming, Springer-Verlag, pp. 100-119.
-
(1992)
Extensions of Logic Programming
, pp. 100-119
-
-
Ait-Kaci, H.1
Podelski, A.2
-
4
-
-
85026908833
-
Distributed knowledge and data processing
-
Canada
-
Dichev C. (1993), Distributed knowledge and data processing, In Proceeding of ICO’93 Montreal, Canada, pp. 279-282.
-
(1993)
In Proceeding of ICO’93 Montreal
, pp. 279-282
-
-
Dichev, C.1
-
5
-
-
84958677501
-
Logic programming with worlds
-
North-Holland
-
Dichev C. (1992), Logic programming with worlds, in AI: Methodology, Systems, Applications, North-Holland, pp. 57-67.
-
(1992)
AI: Methodology, Systems, Applications
, pp. 57-67
-
-
Dichev, C.1
-
6
-
-
0022472505
-
Conceptual Graphs for semantics and knowledge processing
-
Fargues J., Landau M-C, Duguord A. and Catach L. (1986), Conceptual Graphs for semantics and knowledge processing, IBM Journal of Research and Development, vol. 30:1, pp. 70-79.
-
(1986)
IBM Journal of Research and Development
, vol.30
, Issue.1
, pp. 70-79
-
-
Fargues, J.1
Landau, M.-C.2
Duguord, A.3
Catach, L.4
-
7
-
-
84976714785
-
An experience with a Prolog-based object-oriented language
-
Fukunaga K. and S. Hirose (1986), An experience with a Prolog-based object-oriented language, In Proc. Of OOPSLA’86, pp. 224-231.
-
(1986)
In Proc. Of OOPSLA’86
, pp. 224-231
-
-
Fukunaga, K.1
Hirose, S.2
-
8
-
-
45449124636
-
-
Garner B. J. and E. Tsui (1988), General purpose inference engine for canonical graph models, knowledge-Based Systems, 1:5, pp. 266-278.
-
(1988)
General Purpose Inference Engine for Canonical Graph Models, Knowledge-Based Systems
, vol.1
, Issue.5
, pp. 266-278
-
-
Garner, B.J.1
Tsui, E.2
-
9
-
-
84958599324
-
Extendible Graph Processing in Knowledge Acquisition, Planning and Reasoning
-
Nagle T. E., J. A. Nagle, L. L. Gerholz and P. W. Eklund (Eds.), Ellis Horwood
-
Garner B. J., E. Tsui, D. Lui, D. Lukose and J. Koh (1992), Extendible Graph Processing in Knowledge Acquisition, Planning and Reasoning, in Nagle T. E., J. A. Nagle, L. L. Gerholz and P. W. Eklund (Eds.), Conceptual Structures: Current research and practice, Ellis Horwood.
-
(1992)
Conceptual Structures: Current Research and Practice
-
-
Garner, B.J.1
Tsui, E.2
Lui, D.3
Lukose, D.4
Koh, J.5
-
11
-
-
84997399956
-
A Conceptual and Contextual Object-Oriented Logic Programming: The PROLOG++ language
-
W. M. Tepfenhart, J. P. Dick and J. F. Sowa (Eds.)
-
Kabbaj A., C. Frasson, M. Kaltenbach and J-Y Djamen (1994), A Conceptual and Contextual Object-Oriented Logic Programming: The PROLOG++ language, in W. M. Tepfenhart, J. P. Dick and J. F. Sowa (Eds.), Conceptual Structures: Current Practices, ICCS’94, pp. 251-274.
-
(1994)
Conceptual Structures: Current Practices, ICCS’94
, pp. 251-274
-
-
Kabbaj, A.1
Frasson, C.2
Kaltenbach, M.3
Djamen, J.-Y.4
-
13
-
-
84958644897
-
Self-Organizing Knowledge Bases: The Integration Based Approach
-
Santa Cruz, CA, USA
-
Kabbaj A. (1995), Self-Organizing Knowledge Bases: The Integration Based Approach, In the Proc. Of the Int. KRUSE Symposium: Knowledge Retrieval, Use, and Storage for Efficiency, Santa Cruz, CA, USA, p. 64-68.
-
(1995)
Proc. Of the Int. KRUSE Symposium: Knowledge Retrieval, Use, and Storage for Efficiency
, pp. 64-68
-
-
Kabbaj, A.1
-
18
-
-
84913435373
-
Knowledge Representation in LILOG
-
Blasius and al. (Eds.), LNAI no. 418, Springer-Verlag
-
Pletat U. and K. von Luck (1990), Knowledge Representation in LILOG, in Blasius and al. (Eds.), Sorts and Types in Artificial Intelligence, LNAI no. 418, Springer-Verlag.
-
(1990)
Sorts and Types in Artificial Intelligence
-
-
Pletat, U.1
Von Luck, K.2
|