In the first part I argue that normic laws are the phenomenological laws of evolutionary systems. If this is true, then intuitive human reasoning should be fit in reasoning from normic laws. In the ...

This paper develops concepts and procedures for the evaluation of complex debates. They provide means for answering such questions as whether a thesis has to be considered as proven or disproven in a ...

Answer Set Programming (ASP) and Logic Programming represent key paradigms in contemporary computer science, particularly in the field of artificial intelligence. ASP is a form of declarative ...

Description logics constitute a family of formal knowledge representation languages that underpin a wide range of modern semantic systems, including the Semantic Web. They provide a well-founded ...