Constraint Reasoning and Component Technologies

Extensions of Truth Maintenance

Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance System
Geneviève Morgue, Thomas Chehire
268
PDF
Using Attention in Belief Revision
Xueming Huang, Gordon I. McCalla, Eric Neufeld
275
PDF
CATMS: An ATMS Which Avoids Label Explosions
John W. Collins, Dennis DeCoste
281
PDF
Context Maintenance
Charles J. Petrie, Jr.
288
PDF

Verification of Rule-Based Systems

Formal Verification of Pure Production System Programs
Rose F. Gamble, Gruia-Catalin Roman, William E. Ball
329
PDF
Learning Meta Knowledge for Database Checking
Jeffrey C. Schlimmer
335
PDF
Verification of Multi-Level Rule-Based Expert Systems
Pedro Meseguer
323
PDF

Parallel Support for Rule-Based Systems

Control Issues in Parallel Rule-Firing Production Systems
Daniel E. Neiman
310
PDF
Implementation of Multiple Rule Firing Production Systems on Hypercube
Steve Kuo, Dan Moldovan
304
PDF
IXM2: A Parallel Associative Processor for Knowledge Processing
Tetsuya Higuchi, Hiroaki Kitano, Tatsumi Furuya, Ken-ichi Handa, Akio Kokubu, Naoto Takahashi
296
PDF
Using Abstraction to Automate Program Improvement by Transformation
Ian Green
317
PDF

Constraint-Based Reasoning

Conditional Existence of Variables in Generalized Constraint Networks
James Bowen, Dennis Bahler
215
PDF
Arc-Consistency in Dynamic Constraint Satisfaction Problems
Christian Bessiere
221
PDF
Eliminating Interchangeable Values in Constraint Satisfaction Problems
Eugene C. Freuder
227
PDF
On Generalized Interval Calculi
Gérard Ligozat
234
PDF

Temporal Constraints

Combining Qualitative and Quantitative Constraints in Temporal Reasoning
Itay Meiri
260
PDF
Integrating Metric and Qualitative Temporal Reasoning
Henry A. Kautz, Peter B. Ladkin
241
PDF
Temporal Reasoning During Plan Recognition
Fei Song, Robin Cohen
247
PDF
Metric Constraints for Maintaining Appointments: Dates and Repeated Activities
Massimo Poesio, Ronald J. Brachman
253
PDF