593 search results - page 42 / 119 » RDF and Logic: Reasoning and Extension |
181
click to vote
TIME
2007
IEEE
16 years 11 days ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
153
click to vote
LFCS
2007
Springer
16 years 7 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
173
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
164
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
173
click to vote
DLOG
2009
15 years 3 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...