Add to ORKGA novel framework, Formal, for specifying mathematical domains of computation and their inherently related type inference mechanisms as well as for transforming those specifications into knowledge bases is introduced. This framework [Tja] aims at designing an environment for reasoning about knowledge in symbolic computing. It involves an algebraic specification language, a method to transform specifications into knowledge bases and a hybrid knowledge representation system as well, cf. figure 1
. This paper reports on successful application of algebraic ideas to the formal development of softw...
The specification of the data structures used in EAT, a software system for symbolic computation in ...
AbstractContexts are sets of formulas used to manage the assumptions that arise in the course of a m...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
We propose an approach to represent algebraic knowledge, using a hybrid knowledge representation sy...
It is widely recognized that programming languages should offer features to help structure programs....
New methodological aspects related to design and implementation of symbolic computation systems are ...
. The nature and history of the research area common to artificial intelligence and symbolic mathema...
AbstractThis paper presents a type system for support of subtypes, parameterized types with sharing ...
. This paper describes the efficient integration of the functional, logic and constraint paradigms i...
This thesis concerns the development of a framework that facilitates the design and analysis of form...
The paper introduces a software architecture for the specification and verification of knowledge-bas...
The paper introduces a software architecture for the specification and verification of knowledge-bas...
Rulebased systems constitute a powerful tool for specification of knowledge in design and implementa...
AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming...
. This paper reports on successful application of algebraic ideas to the formal development of softw...
The specification of the data structures used in EAT, a software system for symbolic computation in ...
AbstractContexts are sets of formulas used to manage the assumptions that arise in the course of a m...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
We propose an approach to represent algebraic knowledge, using a hybrid knowledge representation sy...
It is widely recognized that programming languages should offer features to help structure programs....
New methodological aspects related to design and implementation of symbolic computation systems are ...
. The nature and history of the research area common to artificial intelligence and symbolic mathema...
AbstractThis paper presents a type system for support of subtypes, parameterized types with sharing ...
. This paper describes the efficient integration of the functional, logic and constraint paradigms i...
This thesis concerns the development of a framework that facilitates the design and analysis of form...
The paper introduces a software architecture for the specification and verification of knowledge-bas...
The paper introduces a software architecture for the specification and verification of knowledge-bas...
Rulebased systems constitute a powerful tool for specification of knowledge in design and implementa...
AbstractIn this paper we combine concepts from algebraic semantics and first-order logic programming...
. This paper reports on successful application of algebraic ideas to the formal development of softw...
The specification of the data structures used in EAT, a software system for symbolic computation in ...
AbstractContexts are sets of formulas used to manage the assumptions that arise in the course of a m...