2685 search results - page 57 / 537 » A Formal Semantics for SPKI |
COLING
2008
13 years 9 months ago
2008
We introduce a novel semantic representation formalism, Almost Flat Functional semantics (AFF), which is designed as an intelligent compromise between linguistically motivated pre...
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
TOOLS
2000
IEEE
14 years 5 days ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
EUSFLAT
2009
13 years 5 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...