25218 search results - page 4904 / 5044 » A Logic-Based Information System |
168
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
In this paper, we present the AgreementMaker, an ontology alignment tool that incorporates the Descendants Similarity Inheritance (DSI) method. This method uses the structure of th...
198
click to vote
TACAS
2007
Springer
16 years 16 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
190
click to vote
TCC
2007
Springer
16 years 16 days ago
2007
Springer
Assume that two distant parties, Alice and Bob, as well as an adversary, Eve, have access to (quantum) systems prepared jointly according to a tripartite state ρABE. In addition, ...
211
click to vote
WLP
2007
Springer
16 years 15 days ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
194
click to vote
IAT
2006
IEEE
16 years 14 days ago
2006
IEEE
Trust negotiation makes it possible for two parties to carry on secure transactions by first establishing trust through a bilateral, iterative process of requesting and disclosin...