A formal framework for accountable agent interactions.
Fifth Bar-Ilan Sympossium on Foundation of Artificial Intelligence. :23-24.
A Java-based electronic auction house.
2ond International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM'97. :207-224.
A Knowledge level analysis of taxonomic domanins.
International Journal of Intelligent Systems. 12:105-135.
Cooperative Case-Based Reasoning.
Artificial Intelligence Meets Machine Learning. Lecture Notes in Artificial Intelligence. 1221:180-201.
Workshop on Abstract Algebraic Logic. :23-25.
Generating expressive musical performances with SaxEx.
International Workshop Kansei Technology of Emotion AIMI'97. :147-152.
Induction of Feature Terms with INDIE.
Future Generation Computer Systems Journal. 12:173-188.
Knowledge Acquisition, Modelling and Management.
Lecture Notes in Artificial Intelligence. 1319
MILORD II A language description.
Mathware and Soft Computing. :299-338.
NOOS: an integrated framework for problem solving and learning.
KEML-97 Workshop on Knowledge Engineering Methods and Languages.
Saturated Models and Equality-free Logic.
II Congreso de la Sociedad de Lógica. :470-473.
Some Results on Equality-free Logic.
The Bulletin of the Workshop on Model Theory and Complexity. :13-15.