Assumption-Based Reasoning and Clause Management Systems.
Alex KeanGeorge K. TsiknisPublished in: Comput. Intell. (1992)
Keyphrases
- management system
- incomplete knowledge
- agent systems
- intelligent agent technology
- database management systems
- theorem prover
- management policies
- web intelligence
- intelligent agents
- description logics
- agent technology
- dynamic environments
- resource management
- cnf formula
- search space
- information systems
- refinement operators
- multi agent systems