Sciweavers

341 search results - page 9 / 69
» A Declarative Implementation of Planning with Control
Sort
View
ATAL
2007
Springer
14 years 1 months ago
Practical extensions in agent programming languages
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
AAAI
2007
13 years 9 months ago
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
POPL
2010
ACM
14 years 4 months ago
Automatically Generating Instruction Selectors Using Declarative Machine Descriptions
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
João Dias, Norman Ramsey
CONEXT
2008
ACM
13 years 9 months ago
MOSAIC: unified declarative platform for dynamic overlay composition
Overlay networks create new networking services across nodes that communicate using pre-existing networks. MOSAIC is a unified declarative platform for constructing new overlay ne...
Yun Mao, Boon Thau Loo, Zachary G. Ives, Jonathan ...
AAMAS
2008
Springer
13 years 7 months ago
2APL: a practical agent programming language
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
Mehdi Dastani