1283 search results - page 120 / 257 » A Survey on Temporal Logics |
162
click to vote
DATE
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper presents a new blocking logic to block unknowns for temporal compactors. The proposed blocking logic can reduce data volume required to control the blocking logic and a...
171
click to vote
LILOG
1989
15 years 10 months ago
1989
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
182
click to vote
DAGSTUHL
2008
15 years 7 months ago
2008
In a nutshell, a duality for a constraint satisfaction problem equates the existence of one homomorphism to the non-existence of other homomorphisms. In this survey paper, we give ...
159
click to vote
FAC
2007
15 years 6 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
146
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...