511 search results - page 99 / 103 » On Modelling Multi-agent Systems Declaratively |
174
click to vote
AGP
2010
IEEE
15 years 4 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
DBPL
1993
Springer
15 years 3 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
112
click to vote
GI
1997
Springer
15 years 3 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
124
click to vote
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
211
click to vote
POPL
2009
ACM
16 years 8 days ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...