The following pages link to Peter F. Patel-Schneider (Q1115427):
Displaying 19 items.
- A four-valued semantics for terminological logics (Q1115428) (← links)
- Erratum to: A four valued semantics for terminological logics (Q1121868) (← links)
- Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability (Q1610668) (← links)
- (Q1978450) (redirect page) (← links)
- ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- A decidable first-order logic for knowledge representation (Q2640590) (← links)
- (Q2721186) (← links)
- (Q2723427) (← links)
- Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability (Q2751043) (← links)
- (Q4217959) (← links)
- Optimizing description logic subsumption (Q4260083) (← links)
- (Q4386959) (← links)
- (Q4411160) (← links)
- An analysis of empirical testing for modal decision procedures (Q4487264) (← links)
- (Q4539634) (← links)
- (Q4739532) (← links)
- (Q4739547) (← links)
- (Q5740451) (← links)