A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle.
Jérôme MenginPublished in: ECSQARU (1995)
Keyphrases
- conflict resolution
- theorem prover
- theorem proving
- first order logic
- resolve conflicts
- inference rules
- automated reasoning
- automated theorem proving
- formal proof
- access control policies
- resolving conflicts
- natural deduction
- term rewriting
- knowledge representation
- formal semantics
- boolean algebra
- collaborative design
- proof planning
- incomplete information
- proof search
- multi agent systems
- multi agent