Next:
Introduction
Up:
main
Previous:
Discussion
Contents
Active Logic
Subsections
Introduction
Features of Active logic
Step-wise Reasoning
Addition of New Formulas
Inheritance of Formulas
Time Sensitivity
Contradiction Tolerance
Representation of Defaults
Non-monotonicity
Introspection
History Tracking
Quotation
Integration with non-logical processing
Alma/Carne--An Active Logic Reasoner
Alma
Language
Representation
Computation
Control
Carne
Implementation
Convention
Darsana Josyula 2006-01-16
