Sciweavers

2253 search results - page 385 / 451
» The ComFoRT Reasoning Framework
Sort
View
EMSOFT
2004
Springer
14 years 2 months ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le...
KR
2004
Springer
14 years 2 months ago
Characterization of Semantics for Argument Systems
We consider Dung’s argumentation framework, in which an argument system consists of a set of arguments and a binary relation between arguments representing the notion of a conï¬...
Philippe Besnard, Sylvie Doutre
NMR
2004
Springer
14 years 2 months ago
Consistency-based approaches to merging knowledge bases: preliminary report
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...
James P. Delgrande, Torsten Schaub
COMPSAC
2003
IEEE
14 years 2 months ago
Effects of Introducing Survival Behaviours into Automated Negotiators
With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to...
Peter Henderson, Stephen Crouch, Robert John Walte...
KCAP
2003
ACM
14 years 2 months ago
Design of customized web applications with OntoWeaver
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
Yuangui Lei, Enrico Motta, John Domingue