2685 search results - page 244 / 537 » A Formal Semantics for SPKI |
186
click to vote
FMOODS
2000
15 years 8 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
204
click to vote
JOLLI
1998
15 years 6 months ago
1998
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
177
click to vote
DLOG
2010
15 years 4 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
212
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
241
click to vote
KCAP
2011
ACM
14 years 9 months ago
2011
ACM
Some discourse structures such as enumerative structures have typographical, punctuational and laying out characteristics which (1) make them easily identifiable and (2) convey hi...