1676 search results - page 134 / 336 » Formal System Development with KIV |
141
click to vote
ICTAI
2007
IEEE
15 years 11 months 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...
135
click to vote
JCPHY
2011
14 years 7 months ago
2011
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
117
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
162
click to vote
TYPES
1995
Springer
15 years 8 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
151
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...