1588 search results - page 190 / 318 » On the Logic of Constitutive Rules |
172
click to vote
ICTAI
2007
IEEE
16 years 23 days ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
200
click to vote
COORDINATION
2007
Springer
16 years 19 days ago
2007
Springer
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
162
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
197
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- In this paper a new method for training singlemodel and multi-model fuzzy classifiers incrementally and adaptively is proposed, which is called FLEXFIS-Class. The evolvi...
157
click to vote
JLP
2006
15 years 6 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...