1194 search results - page 32 / 239 » A Language for Implementing Arbitrary Logics |
137
Voted
DAGSTUHL
2003
15 years 5 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 ...
107
Voted
FLAIRS
2007
15 years 6 months ago
2007
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
121
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
145
Voted
FSTTCS
1999
Springer
15 years 8 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
84
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Although the model-theoretic semantics of the languages used in the Semantic Web are crisps, the need arise to extend them to represent fuzzy data, in the same way fuzzy logic exte...