M. H. Ibrahim, F. A. Cummins, KSL/Logic: Integration of Logic with Objects, Proc. 1990 Int. Conf. on Comp. Lang., New Orleans, March 1990, Los Alamitos, CA: IEEE Comp. Soc. Press, pages 228--35, 1990.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....dynamics of application on the more general level than class description. To overcome the limited facilities of OO paradigm for expressing general rules of behavior of an application several extensions of OO modeling with deductive capabilities and declarative languages have been proposed [2, 7, 10, 12, 16, 21]. Since declarative languages are inherently logic based, the two different paradigms, OO and deductive approaches, are integrated to the one deductive object oriented approach. OO modeling methods and languages differ in the ways, how these two paradigms are integrated: are concepts of ....

....of deductive and OO approaches to IS modeling. On the one hand, several extensions to OO modeling with deductive capabilities are proposed in [16, 21] On the other hand, incorporation of OO concepts to deductive approach has led to creation of a number of logic languages of complex objects [7, 10, 12, 13, 15]. Some of them have well defined semantics as, for example, F logic [12, 13] The other languages are extensions to already existent logical languages, for example, Prolog as an extension to Prolog [18] In many cases, such an integration of concepts from the two paradigms results to the new ....

M. H. Ibrahim, F. A. Cummins, KSL/Logic: Integration of Logic with Objects, Proc. 1990 Int. Conf. on Comp. Lang., New Orleans, March 1990, Los Alamitos, CA: IEEE Comp. Soc. Press, pages 228--35, 1990.

....query language in the sense that it is possible to express what is wanted without attention to how the answer is to be computed. To overcome the above mentioned disadvantages of OO paradigm several extensions of OO modeling with deductive capabilities and declarative languages have been proposed [2, 3, 10, 12, 15, 27]. Since declarative languages are inherently logic based, the two different paradigms, OO and deductive approaches, are integrated to the one deductive object oriented approach. OO modeling methods and languages differ in the ways, how these two paradigms are integrated: are concepts of ....

M.H.Ibrahim, F.A.Cummins. KSL/Logic: Integration of Logic with Objects. In Proc. 1990 Int. Conf. on Comp. Lang., New Orleans, March 1990, pp 228 - 235. Los Alamitos, CA: IEEE Comp. Soc. Press, 1990.

....three paradigms with the capability of exploiting multi level parallelism. See Table 2 for a brief summary. Logic Functional ObjectOriented Single level Parallelism Multi level Parallelism LogiC [39] Intermission[19] OOPP[41] CPU[27] DLP[11] OLPSC[15] KSL Logic[17] Orient84 K[18] Vulcan[23] Bridge[21] PROOF[40] FLC[4] CLOS[14] HOPE[9] FUNLOG[34] F [28] LEAF[3] Applog[6] LIFE[2] UNIFORM[20] G[31] L O[26] I Table 2 A summary on the paradigms involved ....

Ibrahin, M.H. and Cummins, F.A. KSL/Logic: Integration of Logic with Objects. In Proc. of International Symposium on Logic Programming, IEEE, 1990, pp. 228-235.

....Here a deduction in the meta specification is done. The deduced modifications are applied to the object base so that processing of the initial query can be attempted by the synthesizer. 7 Related work Providing OO systems with declarative features was considered by several authors, for example [4, 7, 22]. Most of these approaches incorporate OO features into declarative languages (basically logic based languages) An interesting method was implemented in [4] were an OO language was extended with a description of hierarchical constraints. The approach to synthesis of methods, which is implemented ....

M. H. Ibrahim and F. A. Cummins. Ksl/logic: Integration of logic with objects. In Proc. of the International Conference on Computer Languages, pages 228--35, New Orleans, March 1990. Los Alamitos, CA: IEEE Comp. Soc. Press.

....subsumption and contradiction among clauses are performed. The language used in the paper substantially hinders its understanding: a typical example is (sic) The knowledge base organization is of taxonomically hierarchical architecture . 2. 5 KSL Logic: Reflexive and Extensible KSL Logic [10, 9, 8] is a LP extension of the OOP language KSL (which stands for Knowledge Specification Language) developed in the OWL programming environment of Electronic Data Systems Corp (EDS OWL) An explicit goal in the design of KSL has been the possibility to integrate different paradigms into the language, ....

....predicate behaviors of the global domain object embody the most general and global relationships in the application domain. This idea seems innovative, however I fail to see why exactly the same could not be implemented in Orient84 K. Probably it is curious to note that the two papers [10] and [9] overlap in at least 3 4 of their content, and the last 1 4 of [9] is included in [8] but the authors do not seem quite concerned about this: in [9] they refer to [10] 2.6 Agents: Cooperating KBS Agents[7] is an architecture for KBS developed by Huang and Brandon at the University of Wales, ....

[Article contains additional citation context not shown here]

Mamdouh H. Ibrahim and Fred A. Cummins. KSL/Logic: Integration of logic with objects. In 1990 IEEE International Conference on Computer Languages, pages 228--235, New Orleans, LA, March 1990. IEEE Computer Society Press.

....Here a deduction in the meta specification is done. The deduced modifications are applied to the object base so that processing of the initial query can be attempted by the synthesizer. 7 Related work Providing OO systems with declarative features was considered by several authors, for example [4, 7, 21]. Most of these approaches incorporate OO features into declarative languages (basically logic based languages) An interesting method was implemented in [4] were an OO language was extended with a description of hierarchical constraints. The approach to synthesis of methods, which is implemented ....

M. H. Ibrahim and F. A. Cummins. Ksl/logic: Integration of logic with objects. In Proc. of the International Conference on Computer Languages, pages 228--35, New Orleans, March 1990. Los Alamitos, CA: IEEE Comp. Soc. Press.

No context found.

M. H. Ibrahim and F. A. Cummins. KSL/Logic: Integration of logic with objects. In Proc. 1990 Int'l Conf. on Comp. Lang., New Orleans, March 1990, pp 228-35. Los Alamitos, CA: IEEE Comp. Soc Press, 1990.

No context found.

M. H. Ibrahim, F. A. Cummins. KSL/Logic: Integration of Logic with Objects. In Proc. 1990 Int. Conf. on Comp. Lang., New Orleans, March 1990, pp 228-35. Los Alamitos, CA: IEEE Comp. Soc. Press, 1990.

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