Add to ORKGExtrait de : Proceedings 10th European Conference on Artificial Intelligence, Vienna (Austria), 3-7 August 1992 ; Wiley & Sons, p. 425-429SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11863 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Published Jan 1996. Supported by MURST Project: "Calcolo algebrico, Sistemi di Manipolazione Al...
In a previous paper we have defined a semantic preorder called operational subsumption, which compar...
Extrait de : Proceedings 10th European Conference on Artificial Intelligence, Vienna (Austria), Augu...
Extrait de : Proceedings ECAI'92 ARMS, Vienna (Austria), August 1992Available at INIST (FR), Documen...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12508 / INIST-CNRS - ...
Extrait de : Proceedings 10th European Conference on Artificial Intelligence, Vienna (Austria), Augu...
This paper deals with structure representation in object oriented knowledge representation systems. ...
We investigate the subsumption problem in logic-based knowledge representation languages of the KL-O...
This paper investigates subsumption algorithms for logic-based knowledge representation languages of...
We adopt a formalism, similar to terminological logic languages developed in AI knowledge representa...
Communication a : Second international symposium on artificial intelligence and mathematics, Fort La...
AbstractIn a previous paper we have defined a semantic preorder called operational subsumption, whic...
Publie dans : Proceedings International Workshop Fundamentals of Artificial Intelligence Research, p...
Oramas Mogrovejo J.A., De Raedt L., Tuytelaars T., ''Reasoning about object relations for object pos...
We adopt a formalism, similar to terminological logic languages developed in AI knowledge representa...
Published Jan 1996. Supported by MURST Project: "Calcolo algebrico, Sistemi di Manipolazione Al...
In a previous paper we have defined a semantic preorder called operational subsumption, which compar...
Extrait de : Proceedings 10th European Conference on Artificial Intelligence, Vienna (Austria), Augu...
Extrait de : Proceedings ECAI'92 ARMS, Vienna (Austria), August 1992Available at INIST (FR), Documen...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12508 / INIST-CNRS - ...
Extrait de : Proceedings 10th European Conference on Artificial Intelligence, Vienna (Austria), Augu...
This paper deals with structure representation in object oriented knowledge representation systems. ...
We investigate the subsumption problem in logic-based knowledge representation languages of the KL-O...
This paper investigates subsumption algorithms for logic-based knowledge representation languages of...
We adopt a formalism, similar to terminological logic languages developed in AI knowledge representa...
Communication a : Second international symposium on artificial intelligence and mathematics, Fort La...
AbstractIn a previous paper we have defined a semantic preorder called operational subsumption, whic...
Publie dans : Proceedings International Workshop Fundamentals of Artificial Intelligence Research, p...
Oramas Mogrovejo J.A., De Raedt L., Tuytelaars T., ''Reasoning about object relations for object pos...
We adopt a formalism, similar to terminological logic languages developed in AI knowledge representa...
Published Jan 1996. Supported by MURST Project: "Calcolo algebrico, Sistemi di Manipolazione Al...
In a previous paper we have defined a semantic preorder called operational subsumption, which compar...
Extrait de : Proceedings 10th European Conference on Artificial Intelligence, Vienna (Austria), Augu...