AAAI 1990 - PDF Preprint Papers

AAAI 1990

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AAAI-1990 Paper

click to vote

AAAI
1990

190views Intelligent Agents» more AAAI 1990»

An Approach to Reasoning About Continuous Change for Applications in Planning

13 years 5 months ago

Download www.aaai.org

There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...

Thomas Dean, Greg Siegle

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	190	An Approach to Reasoning About Continuous Change for Applications in Planning	claim
2	185	The Intelligent Database Interface: Integrating AI and Database Systems	claim
3	170	Computing Stable Models by Using the ATMS	claim
4	166	Probabilistic Semantics for Cost Based Abduction	claim
5	144	The Complexity of Closed World Reasoning and Circumscription	claim
6	143	Generalized Shape Autocorrelation	claim
7	142	Constructor: A System for the Induction of Probabilistic Models	claim
8	142	Integrating, Execution, Planning, and Learning in Soar for External Environments	claim
9	140	Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech	claim
10	137	Conditional Logics of Normality as Modal Systems	claim
11	128	Becoming Increasingly Reactive	claim
12	128	Logical Task Modelling for Man-Machine Dialogue	claim
13	128	Some Applications of Graph Bandwidth to Constraint Satisfaction Problems	claim
14	127	Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction	claim
15	126	Practical Temporal Projection	claim
16	126	Exploiting Locality in a TMS	claim
17	125	An Algebraic Approach to Conflict Resolution in Planning	claim
18	124	A Proven Domain-Independent Scientific Function-Finding Algorithm	claim
19	122	An Organizational Approach to Adaptive Production Systems	claim
20	122	Symbolic Probabilistic Inference in Belief Networks	claim
21	121	A Circumscriptive Theory for Causal and Evidential Support	claim
22	120	Skolem Functions and Equality in Automated Deduction	claim
23	117	Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection	claim
24	117	Avoiding Unwanted Conversational Implicatures in Text and Graphics	claim
25	115	Pointing: A Way Toward Explanation Dialogue	claim
26	113	LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation	claim
27	112	Operationality Criteria for Recursive Predicates	claim
28	111	A Design Based Approach to Constructing Computational Solutions to Diagnostic Problems	claim
29	110	Indexical Knowledge in Robot Plans	claim
30	107	ABTWEAK: Abstracting a Nonlinear, Least Commitment Planner	claim
31	106	The Generalized Theory of Model Preference	claim
32	104	Approximation Reformulations	claim
33	103	On Acting Together	claim
34	103	On the Role of Coherence in Abductive Explanation	claim
35	102	The Belief Calculus and Uncertain Reasoning	claim
36	102	Mechanizing Inductive Reasoning	claim
37	102	Solving Term Inequalities	claim
38	102	Distributed Cases for Case-Based Reasoning: Facilitating Use of Multiple Cases	claim
39	101	A Collaborative Interface for Editing Large Knowledge Bases	claim
40	100	What Should Be Minimized in a Decision Tree?	claim
41	100	Shifting Ontological Perspectives in Reasoning About Physical Systems	claim
42	100	It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics	claim
43	100	Negotiation and Conflict Resolution in Non-Cooperative Domains	claim
44	97	The Design of a Marker Passing Architecture for Knowledge Processing	claim
45	97	Parsing a Natural Language Using Mutual Information Statistics	claim
46	97	Finding the Average Rates of Change in Repetitive Behavior	claim
47	96	AI and Software Engineering: Will the Twain Ever Meet?	claim
48	94	Generalization with Taxonomic Information	claim
49	94	Weak Representations of Interval Algebras	claim
50	94	Introducing the Tileworld: Experimentally Evaluating Agent Architectures	claim
51	92	The Representation of Defaults in Cyc	claim
52	90	Integrating Planning and Acting in a Case-Based Framework	claim
53	89	QPC: A Compiler from Physical Models into Qualitative Differential Equations	claim
54	89	Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning	claim
55	87	A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning	claim
56	86	A Theory of Plan Modification	claim
57	86	Integrating Natural Language Processing and Knowledge Based Processing	claim
58	83	Coordinating Text and Graphics in Explanation Generation	claim
59	80	Terminological Cycles in KL-ONE-based Knowledge Representation Languages	claim
60	77	A Hierarchical Planner that Generates Its Own Hierarchies	claim
61	77	Understanding Natural Language with Diagrams	claim
62	76	Physical Impossibility Instead of Fault Models	claim
63	76	On the Performance of Lazy Matching in Production Systems	claim
64	75	On the Complexity of Monotonic Inheritance with Roles	claim
65	74	Inductive Synthesis of Equational Programs	claim
66	74	Effective Generalization of Relational Descriptions	claim
67	73	Very Fast Decision Table Execution of Propositional Expert Systems	claim
68	70	Tree Decomposition with Applications to Constraint Processing	claim
69	69	The Future of Knowledge Representation	claim
70	68	Solving Geometric Constraint Systems	claim
71	66	Probably Approximately Correct Learning	claim
72	65	Why PRODIGY/EBL Works	claim
73	64	Obtaining Quantitative Predictions from Monotone Relationships	claim
74	63	Rationality and its Roles in Reasoning (Extended Abstract)	claim
75	59	Learning Abstraction Hierarchies for Problem Solving	claim
76	58	Validated Retrieval in Case-Based Reasoning	claim
77	55	PRAGMA - A Flexible Bidirectional Dialogue System	claim
78	53	Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge	claim
79	53	A Method of Calculating the Measure of Salience in Understanding Metaphors	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers