858 search results - page 128 / 172 » Abstract Interpretation Based Verification of Logic Programs |
121
Voted
ARTMED
2010
15 years 2 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
152
Voted
DALT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
127
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
118
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
122
Voted
SEMWEB
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...