Sciweavers

1540 search results - page 202 / 308
» Deceptive agents and language
Sort
View
JLP
2006
126views more  JLP 2006»
13 years 8 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
AAAI
2011
12 years 8 months ago
Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...
David Michael Barbella, Kenneth D. Forbus
AAAI
2011
12 years 8 months ago
Reasoning About General Games Described in GDL-II
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learningā€”without human interventionā...
Stephan Schiffel, Michael Thielscher
HYBRID
2007
Springer
14 years 2 months ago
Motion Programs for Puppet Choreography and Control
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
Magnus Egerstedt, Todd D. Murphey, Jon Ludwig
CAISE
1999
Springer
14 years 12 days ago
Modeling Dynamic Domains with ConGolog
In this paper, we describe the process speciļ¬cation language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
Yves Lespérance, Todd G. Kelley, John Mylop...