Login / Signup

An Interactive Consistency Maintenance System and Its Logical Framework.

Wei Li
Published in: ICTAI (1993)
Keyphrases
  • logical framework
  • consistency maintenance
  • inference rules
  • belief revision
  • reasoning tasks
  • linear logic
  • objective function
  • multi agent systems
  • description logics
  • normative systems