Browsing by Subject "Classical problems"

Now showing items 1-2 of 2

    • Article  

      Classical methods in nonmonotonic reasoning 

      Dimopoulos, Yannis (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 

      Votyakov, E. V.; Kassinos, Stavros C. (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 ...