Sciweavers

1966 search results - page 170 / 394
» Description Logics and Planning
Sort
View
IUI
1997
ACM
15 years 10 months ago
Interaction with a Mixed-Initiative System for Exploratory Data Analysis
Exploratory data analysis (EDA) plays an increasingly important role in statistical analysis. EDA is di cult, however, even with the help of modern statistical software. We have d...
Robert St. Amant, Paul R. Cohen
IJCAI
1989
15 years 7 months ago
Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements
The converse problem of measurement interpretation is event recognition. In situations which are characterized by a specific order of events, a single snapshot is not sufficient t...
Klaus Nökel
CNSM
2010
15 years 4 months ago
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains
Abstract--Change Management, a core process of the Information Technology Infrastructure Library (ITIL), is concerned with the management of changes to IT infrastructure and servic...
Sebastian Hagen, Alfons Kemper
CDC
2010
IEEE
170views Control Systems» more  CDC 2010»
15 years 1 months ago
Motion planning with hybrid dynamics and temporal goals
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi
JSAI
2007
Springer
16 years 18 days ago
Towards Translation of Legal Sentences into Logical Forms
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
Makoto Nakamura, Shunsuke Nobuoka, Akira Shimazu