Tim Menzies  Home/Search
Context Related
| unsw.edu.au/~timm/pub/do...97tick.ps.gz monash.edu.au/~timm/pub/...97tick.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unsw.edu.au/~timm/pub/doc...index (more) From: monash.edu.au/~timm/...papersonly (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A new framework is proposed in which software engineering (SE) is the construction of a search space and knowledge engineering (KE) is the constructing the intelligence to control the traversal of that space. Conventional information systems and object-oriented notations can specify the search space. An abductive inference engine can 5 implement the intelligent control. This unified framework supports conventional SE/KE approaches, plus automatic screen generation, conflict resolution in... (Update)
Context of citations to this paper: More
.... planning, monitoring, verification, validation [52] intelligent decision support systems [48] numerous software engineering tasks [46], single user knowledge acquisition, and multipleexpert knowledge acquisition [49] Also, the connection between abduction and expert...
.... from a KB is a powerful knowledge engineering tool [76] Comparing multiple worlds is also a tool for multi expert conflict resolution [69]. Recall the dispute between Dr. Thick and Dr. Thin in Figure 10 about the effects of foriegnSales on companyProfits. The worlds 1195 of...
Cited by: More
Knowledge Maintenance: the State of the Art - Menzies (1997) (Correct)
35 Kinds of Knowledge Maintenance - Menzies (1997) (Correct)
Applications of Abduction: An Inference Engine for Topovisual.. - Menzies (Correct)
Similar documents (at the sentence level):
12.5%: Qualitative Causal Diagrams for Requirements Engineering - Menzies (1997) (Correct)
5.0%: Is Knowledge Maintenance an Adequate Response to the Challenge of .. - Menzies (1997) (Correct)
Active bibliography (related documents): More All
0.8: Ripple-Down Rationality: A Framework for Maintaining PSMs - Menzies, Mahidadia (1997) (Correct)
0.5: Applications of Abduction: Knowledge-Level Modeling - Menzies (1996) (Correct)
0.5: Applications of Abduction #2: Knowledge-Level Modeling - Menzies (1995) (Correct)
Similar documents based on text: More All
0.1: Evaluating Conceptual Modeling Languages - Menzies, Cohen, Waugh (1997) (Correct)
0.1: Evaluating a Temporal Causal Ontology - Menzies, Waugh, Goss, Cohen (1997) (Correct)
0.1: On the Practicality of Abductive Validation - Menzies (1995) (Correct)
Related documents from co-citation: More All
3: the Practicality of Abductive Validation - Menzies - 1995
3: Applications of Abduction: Knowledge Level Modeling - Menzies - 1996
3: Principles for Generalised Testing of Knowledge Bases (context) - Menzies - 1995
BibTeX entry: (Update)
T. Menzies. Applications of Abduction: A Unified Framework for Software and Knowledge Engineering. Submitted to EKAW '97, 1997. http://www.cse.unsw. edu.au/~timm/pub/docs/97tick.ps. http://citeseer.ist.psu.edu/article/menzies97applications.html More
@article{ menzies97applications,
author = "Tim Menzies and Paul Compton",
title = "Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models",
journal = "Artificial Intelligence in Medicine",
volume = "10",
number = "2",
pages = "145-175",
year = "1997",
url = "citeseer.ist.psu.edu/article/menzies97applications.html" }
Citations (may not include all citations):169 Artificial Intelligence - Newell, Level - 1982
140 On Visual Formalisms - Harel - 1995
136 Inconsistency Handling In Multi-Perspective Specification - Finkelstein, Gabbay et al. - 1994
125 An Assumption-Based TMS (context) - DeKleer - 1986
100 An Incremental Constraint Solver (context) - Freeman-Benson, Maloney et al. - 1990
47 An Empirical Study of Static Call 470 Graph Extractors - Murphy, Notkin et al. - 1995
39 Information Systems Methodologies: A Framework for Understan.. (context) - Olle, Hagelstein et al. - 1991
38 KADS: a Modeling Approach to 485 Knowledge Engineering (context) - Wielinga, Schreiber et al. - 1992
31 and Retranslation (context) - Ginsberg, Theory - 1990
31 Applications of Abduction: Knowledge Level Modeling - Menzies - 1996
24 the Practicality of Abductive Validation - Menzies - 1996
23 the Unified Modeling Language (context) - Booch, Jacobsen et al. - 1997
23 Principles and Practice in Verifying Rule-based Systems (context) - Preece - 1992
23 A Tractable Class of Abductive Problems (context) - Eshghi - 1993
23 Getting Started: Using Use Cases to Capture Requirements (context) - Rumbaugh - 1994
22 Elicitation of Requirements from Multiple Perspectives - Easterbrook - 1991
22 Analysing Inconsistent Specifications - Hunter, Nuseibeh - 1997
20 Reflections on the Knowledge Level (context) - Newell - 1993
20 Applications of Abduction: Hypothesis Testing of Neuroendocr.. (context) - Menzies, Compton - 1997
18 A new Approach to Checking Knowledge Bases for Inconsistentc.. (context) - Ginsberg - 1987
9 Distributed Verification and Automated Generation of Test Ca.. (context) - Zlatareva - 1993
7 Ripple-Down Rationality: A Framework for Maintaining PSMs - Menzies, Mahidadia - 1997
6 CTMS: A General Framework for Plausible Reasoning (context) - Zlatareva - 1992
2 Effecient Program Synthesis: Semantics (context) - Kanovich - 1991
2 Kinds of Knowledge Mainteance (context) - Menzies, Fensel - 1997
1 Empirical Observations of Class-level Encapsulation 455 and .. - Menzies, Haynes - 1996
1 Persistence: A Relational Mapping and Caching Tool (context) - Inc, www et al.
1 How to Edit it; or a Black-Box Constraint Based Framework fo.. - Menzies, Spurret - 1993
1 Some of the Menzies papers can be found at http:// www (context) - Zlatereva, Preece et al. - 1994
Documents on the same site (http://www.cse.unsw.edu.au/~timm/pub/docs/index.html): More
Modeling the Rats in the Basement or: Representing "Ablers".. - Menzies, Compton (1996) (Correct)
Limits to Knowledge Level-B Modeling (and KADS) - Menzies (1995) (Correct)
How to Edit "It"; or: A "Black-box" Constraint-Based Framework .. - Menzies, al. (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC