This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Abstract. "Web 2.0" is a term frequently mentioned in media - apparently, applications such as Wikipedia, Social Network Services, Online Shops with integrated recommende...
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...
We present a connectionist architecture that can learn a model of the relations between perceptions and actions and use this model for behavior planning. State representations are...