2432 search results - page 195 / 487 » Cryptographic logical relations |
171
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
157
click to vote
DLOG
2007
15 years 8 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
156
click to vote
FOIKS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
163
click to vote
AIPS
2006
15 years 7 months ago
2006
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
159
click to vote
EGOV
2010
Springer
15 years 6 months ago
2010
Springer
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...