4266 search results - page 628 / 854 » A Framework for Defining Logics |
177
click to vote
ESWS
2005
Springer
16 years 5 days ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
141
click to vote
ICCSA
2005
Springer
16 years 5 days ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
165
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
191
click to vote
INEX
2005
Springer
16 years 4 days ago
2005
Springer
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...
191
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...