1162 search results - page 138 / 233 » Monotonic Semantic Interpretation |
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
122
click to vote
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
106
Voted
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
91
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
79
Voted
APAL
2010
15 years 23 days ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...