AAAI 1994 - PDF Preprint Papers

AAAI 1994

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AAAI-1994 Paper

click to vote

AAAI
1994

232views Intelligent Agents» more AAAI 1994»

Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning

14 years 23 days ago

Download www.qrg.northwestern.edu

We present a theory of a modeler's problem decomposition skills in the context of optimal reasonzng -- the use of qualitative modeling to strategically guide numerical explor...

Brian C. Williams, Jonathan Cagan

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	232	Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning	claim
2	214	Learning to Select Useful Landmarks	claim
3	205	Using Induction to Refine Information Retrieval Strategies	claim
4	185	Learning to Coordinate without Sharing Information	claim
5	178	Model-Based Automated Generation of User Interfaces	claim
6	167	Forming Beliefs about a Changing World	claim
7	167	L* Parsing: A General Framework for Syntactic Analysis of Natural Language	claim
8	163	Evolving Neural Networks to Focus Minimax Search	claim
9	162	A Plan-Based Model for Response Generation in Collaborative Task-Oriented Dialogues	claim
10	160	Improving Learning Performance Through Rational Resource Allocation	claim
11	159	Acting Optimally in Partially Observable Stochastic Domains	claim
12	156	Corpus-Driven Knowledge Acquisition for Discourse Analysis	claim
13	153	Automated Postediting of Documents	claim
14	152	Rule Based Updates on Simple Knowledge Bases	claim
15	150	Some Advances in Transformation-Based Part of Speech Tagging	claim
16	146	Parsing Embedded Clauses with Distributed Neural Networks	claim
17	146	The First Law of Robotics (A Call to Arms)	claim
18	145	High Dimension Action Spaces in Robot Skill Learning	claim
19	143	Abstraction in Bayesian Belief Networks and Automatic Discovery from Past Inference Sessions	claim
20	143	Applying VC-Dimension Analysis To 3D Object Recognition from Perspective Projections	claim
21	139	Conditional Logics of Belief Change	claim
22	139	An Experiment in the Design of Software Agents	claim
23	137	When the Best Move Isn't Optimal: Q-learning with Exploration	claim
24	136	Experience-Aided Diagnosis for Complex Devices	claim
25	134	GENET: A Connectionist Architecture for Solving Constraint Satisfaction Problems by Iterative Improvement	claim
26	133	Formalizing Ontological Commitment	claim
27	133	Retrieving Semantically Distant Analogies with Knowledge-Directed Spreading Activation	claim
28	132	HTN Planning: Complexity and Expressivity	claim
29	130	Inductive Learning For Abductive Diagnosis	claim
30	129	The Automated Mapping of Plans for Plan Recognition	claim
31	128	Learning Explanation-Based Search Control Rules for Partial Order Planning	claim
32	128	Automatic Depiction of Spatial Descriptions	claim
33	128	Intelligent Automated Grid Generation for Numerical Simulations	claim
34	127	Reasoning about Priorities in Default Logic	claim
35	126	Solution Reuse in Dynamic Constraint Satisfaction Problems	claim
36	124	The Capacity of Convergence-Zone Episodic Memory	claim
37	123	Using Knowledge Acquisition and Representation Tools to Support Scientific Communities	claim
38	121	Automated Accompaniment of Musical Ensembles	claim
39	119	Exploiting Meta-Level information in a Distributed Scheduling System	claim
40	117	Learning to Explore and Build Maps	claim
41	117	Case-Based Acquisition of User Preferences for Solution Improvement in Ill-Structured Domains	claim
42	117	Control Strategies for a Stochastic Planner	claim
43	116	The Ups and Downs of Lexical Acquisition	claim
44	116	An Algorithm for Probabilistic Least-Commitment Planning	claim
45	116	Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary	claim
46	115	A Computational Market Model for Distributed Configuration Design	claim
47	114	Derivation Replay for Partial-Order Planning	claim
48	113	Associative Memory in an Immune-Based System	claim
49	113	An Artificial Discourse Language for Collaborative Negotiation	claim
50	112	Emergent Coordination through the Use of Cooperative State-Changing Rules	claim
51	112	Cost-Effective Sensing during Plan Execution	claim
52	112	Automated Model Selection for Simulation	claim
53	112	A Model of Creative Understanding	claim
54	112	Lexical Acquisition in the Presence of Noise and Homonymy	claim
55	111	Knowledge Refinement in a Reflective Architecture	claim
56	111	Tractable Planning with State Variables by Exploiting Structural Restrictions	claim
57	111	Least-Cost Flaw Repair: A Plan Refinement Strategy for Partial-Order Planning	claim
58	110	Towards More Creative Case-Based Design Systems	claim
59	109	Visual Semantics: Extracting Visual information from Text Accompanying Pictures	claim
60	108	Knowledge Representation for Video	claim
61	108	Branching on Attribute Values in Decision Tree Generation	claim
62	108	Learning to Reason	claim
63	108	A Prototype Reading Coach that Listens	claim
64	108	Inducing Deterministic Prolog Parsers from Treebanks: A Machine Learning Approach	claim
65	107	Hierarchical Chunking in Classifier Systems	claim
66	106	Soundness and Completeness of a Logic Programming Approach to Default Logic	claim
67	106	An Approach to Multiply Segmented Constraint Satisfaction Problems	claim
68	105	Boosting the Correspondence between Description Logics and Propositional Dynamic Logics	claim
69	104	On the Nature of Modal Truth Criteria in Planning	claim
70	104	Learning From Ambiguous Examples	claim
71	104	Structured Circuit Semantics for Reactive Plan Execution Systems	claim
72	104	Creating Abstractions Using Relevance Reasoning	claim
73	103	The Hazards of Fancy Backtracking	claim
74	103	Causal Default Reasoning: Principles and Algorithms	claim
75	102	Recovering Software Specifications with Inductive Logic Programming	claim
76	102	Representing Multiple Theories	claim
77	101	Spatial Reasoning in Indeterminate Worlds	claim
78	101	Agents that Learn to Explain Themselves	claim
79	100	Incremental Recompilation of Knowledge	claim
80	100	Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas	claim
81	100	Neural Programming Language	claim
82	100	Genetic Programming and AI Planning Systems	claim
83	100	Improving Repair-Based Constraint Satisfaction Methods by Value Propagation	claim
84	99	Memory-Bounded Bidirectional Search	claim
85	99	Noise Strategies for Improving Local Search	claim
86	99	Learning Fault-Tolerant Speech Parsing with SCREEN	claim
87	98	Building a Large-Scale Knowledge Base for Machine Translation	claim
88	98	Social Interaction: Multimodal Conversation with Social Agents	claim
89	98	Auditory Stream Segregation in Auditory Scene Analysis with a Multi-Agent System	claim
90	97	Dead-End Driven Learning	claim
91	96	Testing Physical Systems	claim
92	95	Divide and Conquer in Multi-Agent Planning	claim
93	95	In Search of the Best Constraint Satisfaction Search	claim
94	95	A Collaborative Parametric Design Agent	claim
95	95	A Description Classifier for the Predicate Calculus	claim
96	95	Temporal Reasoning with Constraints on Fluents and Events	claim
97	95	Learning Decision Lists Using Homogeneous Rules	claim
98	94	An Implemented Model of Punning Riddles	claim
99	94	Emergent Linguistic Rules from inducing Decision Trees: Disambiguating Discourse Clue Words	claim
100	92	CHATTERBOTS, TINYMUDS, and the Turing Test: Entering the Loebner Prize Competition	claim
101	92	Heuristic Harvesting of Information for Case-Based Argument	claim
102	91	Weak-Commitment Search for Solving Constraint Satisfaction Problems	claim
103	90	A Theory for Qualitative Spatial Reasoning Based on Order Relations	claim
104	89	A Filtering Algorithm for Constraints of Difference in CSPs	claim
105	88	Just-In-Case Scheduling	claim
106	88	Situated Plan Attribution for Intelligent Tutoring	claim
107	87	A Preference-Based Approach to Default Reasoning: Preliminary Report	claim
108	86	Using Abstraction and Nondeterminism to Plan Reaction Loops	claim
109	86	Automatically Tuning Control Systems for Simulated Legged Robots	claim
110	86	The Relationship between Architectures and Example-Retrieval Times	claim
111	85	An Instructional Environment for Practicing Argumentation Skills	claim
112	85	A Qualitative Physics Compiler	claim
113	84	Refining the Structure of Terminological Systems: Terminology = Schema + Views	claim
114	82	Tailoring Retrieval to Support Case-Based Teaching	claim
115	80	Principled Multilingual Grammars for Large Corpora	claim
116	80	Termination Analysis of OPS5 Expert Systems	claim
117	79	Teleassistance: Contextual Guidance for Autonomous Manipulation	claim
118	78	Talking About AI: Socially Defined Linguistic Subcontexts in AI	claim
119	75	Using Qualitative Physics to Build Articulate Software for Thermodynamics Education	claim
120	73	On the Inherent Level of Local Consistency in Constraint Networks	claim
121	72	Estimating Reaction Plan Size	claim
122	69	An Operational Semantics for Knowledge Bases	claim
123	63	Using Hundreds of Workstations to Solve First-Order Logic Problems	claim
124	57	Prediction Sharing Across Time and Contexts	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers