2519 search results - page 97 / 504 » Reasoning with Textual Cases |
150
click to vote
LOGCOM
1998
15 years 4 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
129
click to vote
PODS
2007
ACM
16 years 4 months ago
2007
ACM
XML and semi-structured data are now de-facto standards for data exchange, and it is often the case that published or exchanged XML documents have specic restrictions on how they ...
131
click to vote
DIAGRAMS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
147
click to vote
IJISEC
2006
15 years 4 months ago
2006
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
149
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...