Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
This paper presents a description of the environments of individualized learning (Based on the Intelligent Tutoring Systems, ITS), the Computer Supported Collaborative Learning (C...
Rosa M. Viccari, Demetrio A. Ovalle, Jovani A. Jim...
: Today, industry is confronted with a fast changing market. Customers demand a high-quality, low price and tailored product. This requires flexible manufacturing systems. At K.U. ...
Paul Verstraete, Paul Valckenaers, Bart Saint Germ...
Abstract. This paper investigates symbolic heuristic search with BDDs for solving domain-independent action planning problems cost-optimally. By distributimpact of operators that t...