49 search results - page 2 / 10 » On the Formal Distinction between Literal and Figurative Lan... |
VL
1998
IEEE
15 years 1 months ago
1998
IEEE
We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and som...
SYNTHESE
2008
14 years 9 months ago
2008
Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved...
79
Voted
JAIR
2008
14 years 9 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
101
click to vote
JUCS
2000
14 years 9 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...