643 search results - page 45 / 129 » Semantic Determinism and Functional Logic Program Properties |
123
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
136
click to vote
AGENTCL
2000
Springer
15 years 6 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
110
click to vote
INFORMATICALT
2000
15 years 1 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...