1814 search results - page 282 / 363 » Extended First-Order Logic |
132
click to vote
EJC
2008
15 years 4 months ago
2008
In this paper we briefly describe a new conceptual model for XML called XSEM. It is a combination of several approaches in the area. It divides the conceptual modeling process to c...
110
click to vote
LREC
2008
15 years 4 months ago
2008
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
131
click to vote
OWLED
2008
15 years 4 months ago
2008
The annotation of the GENIA corpus, a set of biomedical articles, targets the classification of biological entities based on their association with a domain-tailored taxonomy of ca...
126
click to vote
PTS
2008
15 years 4 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
122
click to vote
AAAI
2004
15 years 4 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...