1341 search results - page 56 / 269 » Logic for Modeling Product Structure |
ASP
2001
Springer
14 years 20 days ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
RIDE
2002
IEEE
14 years 1 months ago
2002
IEEE
Internet marketplaces are now faced with new challenges that arise from the need to seamlessly integrate enormous number of product catalogs from different sources. In order to he...
IACR
2011
12 years 7 months ago
2011
— Both broadcast encryption (BE) protocols and multicast key distribution (MKD) protocols try to solve the same problem of private group communication. For the first time, we dis...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...