750 search results - page 40 / 150 » Declarative event-oriented programming |
166
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
163
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
119
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
122
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
120
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...