3973 search results - page 400 / 795 » Records for Logic Programming |
162
click to vote
LCN
2007
IEEE
16 years 1 months ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
209
click to vote
ILP
2007
Springer
16 years 27 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 ...
204
click to vote
TPHOL
2005
IEEE
16 years 10 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...
170
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...
179
click to vote
ICMLA
2007
15 years 8 months ago
2007
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...