Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
Grigoris Antoniou, Michael J. Maher, David Billing...
The design of many popular object-oriented languages like Smalltalk, Eiffel, or Sather follows a certain trend: The class is the only structuring form. In this paper, the need for ...
Abstract- Dynamic swarm behaviour is difficult to design manually. Multiple, simultaneous interactions among a large number of agents, make the relationship between a parameter cha...
: Consistent with the ultimate goals of AGI, we can expect that deductive consequences of large and grammatically varied text bases would not be generated by sequential application...
: Traceability and rationale management are highly important--especially in distributed collaborative software development projects due to a lack of mutual awareness and informal c...
Tobias Hildenbrand, Michael Geisser, Lars Klimpke,...