3470 search results - page 216 / 694 » Head-Elementary-Set-Free Logic Programs |
183
click to vote
IJOE
2007
15 years 6 months ago
2007
: The experience and content of a PLC course developed for distance learning (ODL) is presented. The course aims to introduce the student into the automation world of industrial pr...
142
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
149
click to vote
CSCW
2000
ACM
15 years 10 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
234
click to vote
ICLP
2011
Springer
14 years 10 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
201
click to vote
ENTCS
2006
15 years 6 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...