3481 search results - page 485 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
134
click to vote
ILP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
159
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
120
Voted
ACSC
2002
IEEE
15 years 9 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
131
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
123
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
A number of Inductive Logic Programming (ILP) systems have addressed the problem of learning First Order Logic (FOL) discriminant definitions by first reformulating the FOL lear...