5451 search results - page 881 / 1091 » Typed Operational Semantics |
169
click to vote
AAAI
2000
15 years 5 months ago
2000
Researchers in the ontology-design field have developed the content for ontologies in many domain areas. Recently, ontologies have become increasingly common on the WorldWide Web ...
152
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
129
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
158
click to vote
JODS
2007
15 years 4 months ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
135
click to vote
COGSCI
2004
15 years 3 months ago
2004
I show how a conversational process that takes simple, intuitively meaningful steps may be understood as a sophisticated computation that derives the richly detailed, complex repr...