15754 search results - page 575 / 3151 » Programs are Knowledge Bases |
221
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
165
click to vote
DRMTICS
2005
Springer
16 years 20 days ago
2005
Springer
In this paper we propose a new scheme for software obfuscation and license protection that is based on an original transformation of the program’s call tree. The idea is based on...
207
click to vote
LPNMR
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
197
click to vote
NMR
2004
Springer
16 years 14 days ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
241
click to vote
SCAM
2002
IEEE
16 years 1 days ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...