5255 search results - page 804 / 1051 » Formal Methods for Privacy |
228
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
209
click to vote
CSCLP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
201
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— In many decision support applications it is important to guarantee the expressive power, easy formalization and interpretability of Mamdani-type fuzzy inference systems (FIS), ...
169
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...
190
click to vote
AAAI
2010
15 years 8 months ago
2010
Ontology matching is the problem of determining correspondences between concepts, properties, and individuals of different heterogeneous ontologies. With this paper we present a n...