54 search results - page 6 / 11 » Formalising bio-spatial knowledge |
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
TARK
2007
Springer
15 years 3 months ago
2007
Springer
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
DESRIST
2009
Springer
15 years 2 months ago
2009
Springer
Discussions about the body of knowledge of information systems, including the research domain, relevant perspectives and methods have been going on for a long time. Many researche...
BMAS
2000
IEEE
15 years 1 months ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...