Sciweavers

1907 search results - page 183 / 382
» Visualizing Action Semantics
Sort
View
AMEC
2004
Springer
14 years 1 months ago
Specifying and Monitoring Market Mechanisms Using Rights and Obligations
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
Loizos Michael, David C. Parkes, Avi Pfeffer
INLG
2004
Springer
14 years 1 months ago
Context-Based Incremental Generation for Dialogue
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
Matthew Purver, Ruth Kempson
ISTA
2008
13 years 9 months ago
Integration - Reflections on a Pivotal Concept for Designing and Evaluating Information Systems
Abstract. Integration is one of the pivotal concepts with respect to analyzing, designing and evaluating information systems. Integrating software components as well as integrating...
Ulrich Frank
AAAI
2006
13 years 9 months ago
Reconciling Situation Calculus and Fluent Calculus
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
Stephan Schiffel, Michael Thielscher
AAAI
1996
13 years 9 months ago
Reasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
Christoph S. Herrmann, Michael Thielscher