802 search results - page 109 / 161 » On the formal semantics of IF-like logics |
DALT
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
EUSFLAT
2003
13 years 9 months ago
2003
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
CNL
2009
13 years 9 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
HYBRID
2010
Springer
13 years 6 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
WWW
2002
ACM
14 years 8 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...