Logic programming and databases
Logic programming and databases
Covariance and contravariance: conflict without a cause
ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrating inductive and deductive reasoning for data mining
Advances in knowledge discovery and data mining
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Machine Learning
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Inductive Logic Programming: Techniques and Applications
Inductive Logic Programming: Techniques and Applications
Experiences in Engineering Flexible Web Services
IEEE MultiMedia
IEEE Transactions on Knowledge and Data Engineering
Discovering Web Services: An Overview
Proceedings of the 27th International Conference on Very Large Data Bases
Developing E-Services for Composing E-Services
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
Hi-index | 0.02 |
This paper proposes a lightweight mechanism to combine deductive and inductive inference engines and describes an application in which the resulting functionality is shown to add significant value. Within the unified setting of deductive database technology and inductive logic programming, the combination of inference engines is much easier and the resulting systems much better integrated. This combination is important, e.g., if software agents are indeed to become widespread in the technical context of pervasive distributed computing that the web promises. Software agents will need to automate more decision-making tasks, for some of which they may need to learn new knowledge on the fly. The dynamic, volatile nature of the environment in which they are expected to operate make this need all the more acute. A recent, challenging example is the web services approach to distributed business computing. This paper describes an application of a combined inference engine built by the authors in which the problem of characterizing whether one web service is likely to be a substitute for another is solved in a fluent, disencumbered manner such as will be needed if it is to be deployed by software agents.