Sciweavers

820 search results - page 40 / 164
» Action Languages
Sort
View
IAT
2006
IEEE
14 years 2 months ago
Generic Natural Language Command Interpretation in Ontology-Based Dialogue Systems
This paper presents a general architecture towards a more generic approach to conversational agents. Our architecture contains generic (in sense of application independent) natura...
Laurent Mazuel, Nicolas Sabouret
CEEMAS
2003
Springer
14 years 1 months ago
A Multi-agent Modal Language for Concurrency with Non-communicating Agents
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
Stefano Borgo
FASE
2010
Springer
14 years 3 months ago
Prescriptive Semantics for Big-Step Modelling Languages
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...
Shahram Esmaeilsabzali, Nancy A. Day
ICICS
2001
Springer
14 years 21 days ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira
KI
1998
Springer
14 years 14 days ago
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
Dirk Hähnel, Wolfram Burgard, Gerhard Lakemey...