Sciweavers

1907 search results - page 41 / 382
» Visualizing Action Semantics
Sort
View
VMV
2003
145views Visualization» more  VMV 2003»
13 years 10 months ago
Interactive Volume Visualization of Complex Flow Semantics
Comprehending results from 3D CFD simulation is a difficult task. In this paper, we present a semantics-based approach to featurebased volume rendering of 3D flow data. We make ...
Helwig Hauser, Matej Mlejnek
IV
2002
IEEE
88views Visualization» more  IV 2002»
14 years 1 months ago
VICO: A Tool for Supporting Visual Comparisons of Different Pine-Beetle Management Approaches
In this paper a visual tool for comparing different mountain pine-beetle management approaches is presented. This comparison tool gives the users the possibility of viewing their ...
Angela Cristina Duta, M. Sheelagh T. Carpendale, K...
KI
2007
Springer
14 years 3 months ago
Integrating Action Calculi and Description Logics
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
Conrad Drescher, Michael Thielscher
LPNMR
1999
Springer
14 years 1 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner
JELIA
2010
Springer
13 years 7 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang