3385 search results - page 240 / 677 » Language, Logic, and the Brain |
166
click to vote
AIME
2007
Springer
16 years 27 days ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
176
click to vote
DLOG
2008
15 years 9 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
195
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
169
click to vote
ECSQARU
2007
Springer
16 years 26 days ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
177
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...