E. Franconi. The YAK manual. Technical Report 9003-01, IRST, Povo TN, Italy, March 1990. Also as: Progetto Finalizzato CNR `Sist. Informatici e Calcolo Parallelo' report 7/30. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A short presentation of YAK, - Hybrid Knowledge Representation Self-citation (Franconi Irst Tn) (Correct)
No context found.
E. Franconi. The YAK manual. Technical Report 9003-01, IRST, Povo TN, Italy, March 1990. Also as: Progetto Finalizzato CNR `Sist. Informatici e Calcolo Parallelo' report 7/30.
Extending Hybridity within the YAK Knowledge Representation System - Franconi (1992) (2 citations) Self-citation (Franconi) (Correct)
.... Hybridity within the YAK Knowledge Representation System Enrico Franconi IRST I 38050 Povo TN, Italy e mail: franconi irst.it November 19, 1991 1 YAK YAK [6] is a hybrid KR system, and in its foundations is similar to Classic [3] and Loom [8] The core of the system is a traditional TBox ABox hybrid representation language (with some peculiarities) enhanced, possibly in a principled fashion, with other hybrid modules representing di erent kind of ....
Enrico Franconi. The YAK (Yet Another Krapfen) manual. IRST - Manual 9003-01, Trento, Italy (1990). Also as Progetto Finalizzato CNR `Sist. Informatici e Calcolo Parallelo' report 7/30 (1990)
A short presentation of YAK, a Hybrid Knowledge Representation.. - Franconi Self-citation (Franconi Irst Tn) (Correct)
....it is a stand alone, robust, documented and portable piece of software, used within other AI NL projects. The YAK package is composed by the following deliverables: a) Manual (includes installation hints, syntax speci cations, functional interface description, and lisp library reference guide) [3]; b) Tutorial (includes examples and test cases) c) the AlFresco knowledge base (the one with painters and frescoes) d) documented common lisp source code; e) a defsystem to load and compile the code. The package is available with free licence for both academic and not academic sites. ....
E. Franconi. The YAK manual. Technical Report 9003-01, IRST, Povo TN, Italy, March 1990. Also as: Progetto Finalizzato CNR `Sist. Informatici e Calcolo Parallelo' report 7/30.
Description Logics for Natural Language Processing - Franconi (1994) (2 citations) Self-citation (Franconi) (Correct)
....the representation of its meaning. The generation of the rhetorical schemata is strongly correlated with the intensional knowledge represented in the terminology. 2 Description Logics Based Systems The rst KR system developed for the purposes brie y described in the preceding section was YAK [ Franconi, 1990; 1991b ] The core of the system is a traditional TBox ABox description logic (with some peculiarities) enhanced, possibly in a principled fashion, with other hybrid modules representing di erent kind of knowledge and reasoning [ Franconi,1991a ] The goal in the development of YAK was ....
....characteristics: The terminological TBox language, derives from the very simple frame based description language FL ; in addition, it allows for primitive concepts and roles, functional roles and role conjunction. A tractable and complete subsumption procedure is provided [ Cattoni and Franconi,1990 ] An object oriented ABox, with a complete recognition reasoning procedure. Franconi et al. 1992; Nebel,1990 ] A Constraint Box which includes: disjointness, implies rules, transitive roles, test operator to handle concrete domains. Constraints inference ( a la Allen) added to ....
E. Franconi. The YAK manual. Technical Report 9003-01, IRST, Povo TN, Italy, March 1990. Also as: Progetto Finalizzato CNR `Sist. Informatici e Calcolo Parallelo' report 7/30.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC