3470 search results - page 445 / 694 » Head-Elementary-Set-Free Logic Programs |
191
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
206
click to vote
ILP
2007
Springer
16 years 24 days ago
2007
Springer
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...
199
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
167
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
198
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...