Representing Belief Revision through Default Theories
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
A Formal Basis for Consistency, Evolution and Rationale Management in Requirements Engineering
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Formal Tools for Managing Inconsistency and Change in RE
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
The Complexity of TRMCS-like Spiral Specification
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A tutorial on default reasoning
The Knowledge Engineering Review
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Maintaining motivation models (in BMM) in the context of a (WSDL-S) service landscape
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
| Hi-index | 0.00 |