2432 search results - page 133 / 487 » Cryptographic logical relations |
119
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...
170
Voted
AIML
2000
15 years 6 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
117
Voted
IANDC
2006
15 years 4 months ago
2006
A finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The axiomatization is shown to be weakly complete relative to an oracle for analytical rea...
148
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
When comparing inductive logic programming (ILP) and attribute-value learning techniques, there is a trade-off between expressive power and efficiency. Inductive logic programming ...
183
click to vote
IADIS
2004
15 years 6 months ago
2004
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...