2082 search results - page 69 / 417 » Change Paths in Reasoning! |
LANMR
2007
13 years 9 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
RE
1999
Springer
13 years 12 months ago
1999
Springer
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
JLP
2007
13 years 7 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...
JSS
2007
13 years 7 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...