The following pages link to Josef Šajda (Q1188640):
Displayed 30 items.
- A deductive solution for plan generation (Q578927) (← links)
- (Q593395) (redirect page) (← links)
- The relative complexity of analytic tableaux and SL-resolution (Q687165) (← links)
- Transcendental functions and mechanical theorem proving in elementary geometries (Q805606) (← links)
- A logic for fuzzy data analysis (Q805610) (← links)
- A complete, nonredundant algorithm for reversed Skolemization (Q1059063) (← links)
- A fuzzy relational inference language (Q1064082) (← links)
- Completeness results for inequality provers (Q1079960) (← links)
- Linearity and plan generation (Q1108814) (← links)
- A first-order conditional logic for prototypical properties (Q1108818) (← links)
- Interval-valued fuzzy inference involving uncertain (inconsistent) conditional propositions (Q1119623) (← links)
- LOGLAN '88. Report on the programming language (Q1188641) (← links)
- PARTHENON: A parallel theorem prover for non-horn clauses (Q1189725) (← links)
- SETHEO: A high-performance theorem prover (Q1189726) (← links)
- An integral theorem prover and the role of proof planning (Q1189730) (← links)
- Knowledge representation and organization in machine learning. (Q1210889) (← links)
- Evaluation of queries under closed-world assumption (Q1367075) (← links)
- Knowledge on treelike spaces (Q1372362) (← links)
- Elimination of self-resolving clauses (Q1383994) (← links)
- Generalized resolution in Boolean operator fuzzy logic (Q1913910) (← links)
- (Q3329442) (← links)
- (Q3347860) (← links)
- (Q3707432) (← links)
- (Q3882439) (← links)
- (Q4281895) (← links)
- (Q5285133) (← links)
- (Q5531966) (← links)
- (Q5576520) (← links)
- (Q5666462) (← links)
- (Q5729462) (← links)