Sciweavers

899 search results - page 70 / 180
» Implementing declarative overlays
Sort
View
PROMAS
2007
Springer
14 years 2 months ago
A Practical Agent Programming Language
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...
Mehdi Dastani, John-Jules Ch. Meyer
SEMWEB
2007
Springer
14 years 2 months ago
Ontology-Based Interpretation of Keywords for Semantic Search
Current information retrieval (IR) approaches do not formally capture the explicit meaning of a keyword query but provide a comfortable way for the user to specify information need...
Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Ru...
RELMICS
2005
Springer
14 years 1 months ago
Control-Flow Semantics for Assembly-Level Data-Flow Graphs
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
Wolfram Kahl, Christopher Kumar Anand, Jacques Car...
EUROPAR
2004
Springer
14 years 1 months ago
Concurrent Table Accesses in Parallel Tabled Logic Programs
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
Ricardo Rocha, Fernando M. A. Silva, Vítor ...
ATAL
1999
Springer
14 years 6 days ago
Reactivity in a Logic-Based Robot Programming Framework
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
Yves Lespérance, Kenneth Tam, Michael R. M....