99 search results - page 19 / 20 » Language Design Issues for Agents based on Linear Logic (Ext... |
AMAST
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
AIPS
2009
13 years 6 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
AI
2011
Springer
13 years 25 days ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
SEMWEB
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
OOPSLA
2007
Springer
13 years 12 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...