3572 search results - page 377 / 715 » Nominal Logic Programming |
179
Voted
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
192
Voted
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
143
click to vote
ENTCS
2008
15 years 7 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
211
Voted
ILP
2007
Springer
16 years 1 months 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 ...
172
Voted
ICLP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...