859 search results - page 20 / 172 » Implementing CMMI using a Combination of Agile Methods |
109
click to vote
AGP
1995
IEEE
15 years 3 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
129
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
HT
1991
ACM
15 years 3 months ago
1991
ACM
In order to combine hypertext with database facilities, we show how to extract an effective storage structure from given instance relationships. The schema of the structure recogn...