9532 search results - page 426 / 1907 » Logic, Graphs, and Algorithms |
184
click to vote
DLOG
2006
15 years 8 months ago
2006
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present algorithms for conjunctive query answerin...
168
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Hybrid logic nets contain nodes that exhibit recurrent characteristics, in that a node output shows temporal tendencies even when the inputs are constant (Al-Dabass et al. 1999a a...
227
click to vote
PODC
2011
ACM
14 years 9 months ago
2011
ACM
This work studies decision problems from the perspective of nondeterministic distributed algorithms. For a yes-instance there must exist a proof that can be verified with a distri...
163
click to vote
ICALP
2004
Springer
16 years 6 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
221
click to vote
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...