Selecting the right-size model for prediction
Efficient inferencing for sigmoid Bayesian networks by reducing sampling space
Possibility theory in constraint satisfaction problems: Handling priority, preference and uncertainty
Managing tasks using an interval-based temporal logic
Formal verification of some potential contradictions in knowledge base using a high level net approach
A genetic algorithm for vehicle routing with backhauling