139 search results - page 4 / 28 » jucs 2010 |
JUCS
2010
13 years 3 months ago
2010
: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no fini...
JUCS
2010
13 years 3 months ago
2010
: Interval algebra networks are traditionally defined over finite intervals. In this paper, we relax this restriction by allowing one or more of the intervals involved to be infini...
JUCS
2010
13 years 3 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
JUCS
2010
13 years 3 months ago
2010
: Information Systems usually rely on external and independent data sources. When integrating the data to build the integrated repository it is possible to make use of the temporal...
JUCS
2010
13 years 3 months ago
2010
: We prove that two conditions are sufficient, and with three exceptions also necessary, for reachability of any position in restricted walk on integers in which the sizes of the m...