Sciweavers

4595 search results - page 598 / 919
» Reasoning about Plans
Sort
View
AAAI
1996
15 years 2 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy
126
Voted
AAAI
1994
15 years 2 months ago
Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
Jeff Rickel, Bruce W. Porter
MVA
1996
15 years 2 months ago
An Automatic Extraction of Road Information on the Basis of Cooperative Hypotheses Interpretation Mechanism
2 Approach Many methods/approaches about the extraction of road information from map images have been proposed until today. In comparison with these currently developed methods/app...
Masakazu Nishijima, Toyohide Watanabe
110
Voted
IJCAI
1989
15 years 1 months ago
Time for Action: On the Relation Between Time, Knowledge and Action
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
Yoav Shoham
99
Voted
IJCAI
1989
15 years 1 months ago
Constraint Posting for Verifying VLSI Circuits
We apply constraint posting to the problem of reasoning about function from structure. Constraint posting is a technique used by some planners to coordinate decisions. At each dec...
Daniel Weise