713 search results - page 57 / 143 » Syntax and Semantics of Babel-17 |
96
Voted
MKM
2004
Springer
15 years 6 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
102
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper describes a method for converting existing thesauri and related resources from their native format to RDF(S) and OWL. The method identifies four steps in the ...
102
Voted
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
HICSS
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
99
Voted
FLAIRS
2008
15 years 3 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...