858 search results - page 128 / 172 » Abstract Interpretation Based Verification of Logic Programs |
123
click to vote
ARTMED
2010
15 years 3 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...
154
click to vote
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...
133
click to vote
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 ...
124
Voted
CORR
2010
Springer
15 years 3 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...
124
click to vote
SEMWEB
2010
Springer
15 years 1 months 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...