352 search results - page 20 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
137
Voted
DALT
2003
Springer
15 years 8 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
124
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
114
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
124
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
120
click to vote
CORR
2010
Springer
15 years 7 days ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...