1 Institute for Artificial Intelligence, TU Dresden, Dresden, Germany 2 Department of Computer Science, University of Luxembourg, Esch-sur-Alzette, Luxembourg In abstract argumentation theory, many ...

Abstract: The lack of a method for developing programs from Z specifications is a widely recognized difficulty. In response to this problem, different approaches to the integration of Z with a ...

Abstract: We present a rigorous but transparent semantics definition of the SpecC language that covers the execution of SpecC behaviors and their interaction with the kernel process. The semantics ...

It has been proposed that social experience plays an important role in the grounding of concepts, and socialness has been proffered as a fundamental organisational principle underpinning semantic ...