2685 search results - page 87 / 537 » A Formal Semantics for SPKI |
MIE
2008
13 years 9 months ago
2008
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
QSIC
2003
IEEE
14 years 1 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
ECMDAFA
2005
Springer
14 years 1 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...