The following pages link to A. Hernando (Q417947):
Displaying 23 items.
- A logic approach to decision taking in a railway interlocking system using Maple (Q417950) (← links)
- A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm (Q417951) (← links)
- Scale-invariance underlying the logistic equation and its social applications (Q469738) (← links)
- (Q592809) (redirect page) (← links)
- On the existence of solutions in systems of linear Diophantine equations (Q692309) (← links)
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- New methods for proving the impossibility to solve problems through reduction of problem spaces (Q693286) (← links)
- A logic-algebraic approach to decision taking in a railway interlocking system (Q694549) (← links)
- An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)
- Zipf's law from a Fisher variational-principle (Q763770) (← links)
- A system simulating representation change phenomena while problem solving (Q929765) (← links)
- An algebraic approach to rule based expert systems (Q981968) (← links)
- A Gröbner bases-based rule based expert system for fibromyalgia diagnosis (Q1935077) (← links)
- An algebraic model for implementing expert systems based on the knowledge of different experts (Q2228552) (← links)
- Foreword to the special issue on ``Nonstandard applications of computer algebra (ACA'2013)'' (Q2228803) (← links)
- A natural language for implementing algebraically expert systems (Q2228853) (← links)
- An algebraic approach for detecting nearly dangerous situations in expert systems (Q2228856) (← links)
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887) (← links)
- Showing the non-existence of solutions in systems of linear Diophantine equations (Q2271591) (← links)
- A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678) (← links)
- A recommender system for train routing: when concatenating two minimum length paths is not the minimum length path (Q2422936) (← links)
- A polynomial model for logics with a prime power number of truth values (Q2429988) (← links)
- A technique for dynamically measuring and modifying relevance while problem solving (Q5324501) (← links)
