Browsing by Subject "Classical problems"
Now showing items 1-2 of 2
-
Article
Classical methods in nonmonotonic reasoning
(1994)In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint ...
-
Article
On the analogy between streamlined magnetic and solid obstacles
(2009)Analogies are elaborated in the qualitative description of two systems: the magnetohydrodynamic (MHD) flow moving through a region where an external local magnetic field (magnetic obstacle) is applied and the ordinary ...