3713 search results - page 136 / 743 » Constructing a Calculus of Programs |
ENTCS
2008
15 years 3 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
113
click to vote
ATAL
2007
Springer
15 years 9 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...
119
Voted
AICOM
2006
15 years 3 months ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
109
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We present a grammar-based genetic programming framework for the solving the timetabling problem via the evolution of constructive heuristics. The grammar used for prod...
138
click to vote
DNA
2009
Springer
15 years 10 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...