A Framework to Model Norm Dynamics in Answer Set Programming

While DL is very powerful and semantically rich (making OWL an acknowledged standard for the modelling of document metadata), monotonic logics are not sufficient for modeling

Beyond the ap- parent complexity and unruly nature of contemporary transnational rule making, we search for those structuring dimensions and regularities that frame

The motivation of our work is to connect the in- dustrial automation design standard IEC 1131 with the synchronous formal model, technology and tools The method followed is based on

The adapted software process model (component 8 in Fig. 1) is the output of applying such transformation using the organizational software process and the concrete project context

Our current focus is not efficient temporal planning per se, but the tight integration of acting and planning, which is addressed by: (i) extending HTN methods with refinements,

The result of this paper is to establish the mechanism of mutual transformation between programming language and natural language through the research and exploration of the

In Experiments 1 and 2 (kinematics) and in Experiment 3 (orientation), the facilitation effect was replicated, in that the response times for action verbs were faster when the

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des