Debugging is one of the fundamental activities in the development of any program, your goal is to correct erroneous behaviors. The observation of defects can be during a test or after the software is released. It is, ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

OpenFOAM® libraries are a great contribution to CFD community and a powerful way to create solvers and other tools. Nevertheless in this creative process a deep knowledge is needed concerning with classes structure, for ...

Same as Dung's abstract argumentation framework (AF), the notion of generalized abstract argumentation framework (GenAF) aims at reasoning about inconsistency disregarding any logic for arguments; thus both the knowledge ...

Social theory faces new challenges as society changes. The question is not only if social theory can keep up with –and account for– social transformations, but also if it can avail of social changes (in this case, the ...