The following pages link to Luminita State (Q469832):
Displaying 45 items.
- A faster gradient ascent learning algorithm for nonlinear SVM (Q469835) (← links)
- (Q685362) (redirect page) (← links)
- On generalized Horn formulas and \(k\)-resolution (Q685363) (← links)
- Automated theorem proving for Łukasiewicz logics (Q687151) (← links)
- Theory matrices (for modal logics) using alphabetical monotonicity (Q687154) (← links)
- Theo: An interactive proof development system (Q688727) (← links)
- On the complexity of the maximum satisfiability problem for Horn formulas (Q1099168) (← links)
- The automation of syllogistic. I: Syllogistic normal forms (Q1111540) (← links)
- A generalization of collapsible cases of circumscription (Q1115424) (← links)
- Fixed points in propositional nonmonotonic logic (Q1115426) (← links)
- A four-valued semantics for terminological logics (Q1115428) (← links)
- On the transformation of logic programs with instantiation based computation rules (Q1119029) (← links)
- Processing uncertain information in the linear space of fuzzy sets (Q1181990) (← links)
- Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem (Q1189662) (← links)
- Maximizing free entropy (Q1288903) (← links)
- Fuzzy operator logic and fuzzy resolution (Q1312159) (← links)
- A statistical model for formant-transition microsegments of speech incorporating locus equations (Q1329435) (← links)
- Selected papers on AUTOMATH, dedicated to N. G. de Bruijn (Q1340050) (← links)
- (Q2736672) (← links)
- (Q2893632) (← links)
- (Q3055051) (← links)
- (Q3095737) (← links)
- Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic (Q3111793) (← links)
- (Q3145292) (← links)
- (Q3145293) (← links)
- (Q3170515) (← links)
- (Q3370082) (← links)
- (Q3810681) (← links)
- (Q3820055) (← links)
- (Q4153448) (← links)
- (Q4162331) (← links)
- (Q4181697) (← links)
- (Q4184107) (← links)
- (Q4207611) (← links)
- (Q4320663) (← links)
- (Q4619868) (← links)
- (Q4627710) (← links)
- (Q4677324) (← links)
- (Q4902256) (← links)
- (Q5177364) (← links)
- (Q5298572) (← links)
- (Q5382763) (← links)
- (Q5661885) (← links)
- Logic for computer scientists (Q5905500) (← links)
- Towards efficient fuzzy information processing. Using the principle of information diffusion (Q5960940) (← links)
