6016 search results - page 968 / 1204 » The semantics of graphical languages |
141
click to vote
FORMATS
2007
Springer
16 years 25 days ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
165
click to vote
ICCSA
2007
Springer
16 years 25 days ago
2007
Springer
Information Extraction (IE) is an important research field within the Artificial Intelligence community, for it tries to extract relevant information out of vast amounts of data....
194
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
169
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
155
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...