Sciweavers

10622 search results - page 281 / 2125
» Python Programming Language
Sort
View
ICLP
2005
Springer
15 years 9 months ago
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
Henning Christiansen, Verónica Dahl
147
Voted
CSL
1999
Springer
15 years 8 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
130
Voted
ATAL
2006
Springer
15 years 7 months ago
Hierarchical planning in BDI agent programming languages: a formal approach
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
Sebastian Sardiña, Lavindra de Silva, Lin P...
APVIS
2001
15 years 5 months ago
Visual Programs Module Choice and Layout in the Nord Modular Patch Language
The Nord Modular music synthesiser system comprises a standalone array of digital signal processors programmed by a dataflow visual langauage and supported by a visual programming...
James Noble, Robert Biddle
136
Voted
MATES
2007
Springer
15 years 10 months ago
SmartResource Platform and Semantic Agent Programming Language (S-APL)
Although the flexibility of agent interactions has many advantages when it comes to engineering a complex system, the downside is that it leads to certain unpredictability of the ...
Artem Katasonov, Vagan Y. Terziyan