Sciweavers

5284 search results - page 654 / 1057
» Ontologizing Semantic Relations
Sort
View
CONCUR
2009
Springer
15 years 10 months ago
Weak Time Petri Nets Strike Back!
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...
Pierre-Alain Reynier, Arnaud Sangnier
LREC
2010
148views Education» more  LREC 2010»
15 years 8 months ago
Towards an ISO Standard for Dialogue Act Annotation
This paper describes an ISO project developing an international standard for annotating dialogue with semantic information, in particular concerning the communicative functions of...
Harry Bunt, Jan Alexandersson, Jean Carletta, Jae-...
AAAI
1990
15 years 8 months ago
Generalization with Taxonomic Information
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...
Alan M. Frisch, C. David Page Jr.
APAL
2008
104views more  APAL 2008»
15 years 7 months ago
Infinite trace equivalence
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
Paul Blain Levy
APIN
2000
75views more  APIN 2000»
15 years 6 months ago
Context Knowledge Representation and Reasoning in the Context Interchange System
The Context Interchange Project presents a unique approach to the problem of semantic conflict resolution among multiple heterogeneous data sources. The system presents a semantic...
Stéphane Bressan, Cheng Hian Goh, Natalia L...