3408 search results - page 238 / 682 » Logic, language, information and computation |
206
click to vote
ENTCS
2002
15 years 6 months ago
2002
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...
188
click to vote
FUIN
2010
15 years 5 months ago
2010
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
194
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
185
click to vote
ECIS
2003
15 years 8 months ago
2003
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...
168
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...