2214 search results - page 50 / 443 » Complexity of Reasoning |
102
click to vote
CAEPIA
2009
Springer
15 years 29 days ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
120
click to vote
JLP
2007
14 years 11 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
110
click to vote
TVCG
2012
13 years 2 months ago
2012
—In this paper, we study the sensitivity of centrality metrics as a key metric of social networks to support visual reasoning. As centrality represents the prestige or importance...
118
click to vote
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
105
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...