1418 search results - page 47 / 284 » The Dynamic Complexity of Formal Languages |
141
click to vote
AIML
2004
15 years 3 months ago
2004
abstract. The aim of the present paper is to analyze the complexity of strict implication (together with falsum, conjunction and disjunction). We prove that Ladner's Theorem r...
120
click to vote
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
115
click to vote
DEXAW
2009
IEEE
15 years 8 months ago
2009
IEEE
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
105
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
This paper considers the use of logic-based languages for multi-agent negotiation. We begin by motivating the use of such languages, and introducing a formal model of logic-based n...
129
click to vote
CN
1999
15 years 1 months ago
1999
The growing acceptance of XML as a standard for semi-structured documents on the Web opens up challenging opportunities for Web query languages. In this paper we introduce XML-GL,...