Search results for "knowledge-based systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Eric Schoen, Reid G. Smith, Bruce G. Buchanan	Design of Knowledge-Based Systems with a Knowledge-Based Assistant.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	knowledge-based assistant, problem domain, inference knowledge, encoded knowledge, initial domain model, user-interface, user interfaces, testing, object-oriented programming, knowledge-based systems, knowledge based systems, validation, programming environments, knowledge acquisition, knowledge acquisition, program verification, inference mechanisms, high level languages, intelligent assistant, object-oriented programming language
3	Jozef Kelemen, Ivan Polásek	The Art of Management and the Technology of Knowledge-Based Systems.	ISMIS	2009	DBLP DOI BibTeX RDF	Workmanship, ontology, knowledge management, knowledge-based systems, management, knowledge, knowledge managing systems
3	Matías Alvarado, Miguel A. Rodríguez-Toral, Armando Rosas, Sergio Ayala	Decision-making on pipe stress analysis enabled by knowledge-based systems.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Pipe stress analysis, Knowledge-based systems, Decision making
3	Ronald L. Hartung, Anne Håkansson	Automated Testing for Knowledge Based Systems.	KES	2007	DBLP DOI BibTeX RDF	visualization, UML, verification, knowledge-based systems, rule-based systems, Automated testing, re-engineering
3	Andre Bortolon, Hugo Cesar Hoeschl, Christianne C. S. R. Coelho, Tânia C. D'Agostini Bueno	A Model for Concepts Extraction and Context Identification in Knowledge Based Systems.	IFIP PPAI	2006	DBLP DOI BibTeX RDF	Information Retrieval, Artificial Intelligence, Knowledge-Based Systems
3	Pedro Alípio, José Neves, Paulo Carvalho	Automatic Detection of SLS Violation Using Knowledge Based Systems.	KES	2006	DBLP DOI BibTeX RDF	Service Level Specification, Self-configuration Networks, Quality of Service, Knowledge based Systems
3	Perry Groot, Annette ten Teije, Frank van Harmelen	A quantitative analysis of the robustness of knowledge-based systems through degradation studies.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Robust behaviour, Knowledge-based systems, Validation, Quantitative analysis
3	Stefan Kramer, Hermann Kaindl	Coupling and cohesion metrics for knowledge-based systems using frames and rules.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	knowledge-based systems, Coupling, cohesion
3	Vladia Pinheiro, Elizabeth Furtado, Vasco Furtado	A Unified Architecture to Develop Interactive Knowledge Based Systems.	SBIA	2004	DBLP DOI BibTeX RDF	Knowledge-based systems, reusable components, interaction patterns
3	S. Misbah Deen, C. A. Johnson	Formalizing an Engineering Approach to Cooperating Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Cooperating Knowledge Based Systems (CKBS), cooperation blocks, fault tolerance, coordination, cooperation, negotiation, task decomposition, recoverability, holonic systems
3	Vicenç Torra	Fuzzy Knowledge Based Systems and Chance Discovery.	JSAI Workshops	2001	DBLP DOI BibTeX RDF	fuzzy knowledge based systems, level-two control systems, control systems, Chance discovery
3	Susan Craw, Robin Boswell	Debugging knowledge-based applications with a generic toolkit.	ICTAI	2000	DBLP DOI BibTeX RDF	generic toolkit, knowledge refinement tools, knowledge based system maintenance, knowledge based system debugging, fault correction, KRUSTWorks toolkit, aerospace knowledge-based systems, knowledge based systems, knowledge engineering, program debugging, POWER-MODEL, CLIPS, aerospace computing, shells, fault identification
3	Silvia Teresita Acuña, R. Giandini, Cecilia María Lasserre, Viviana Elizabet Quincoces	Capacities-Centered Integral Software Process Formalization.	SCCC	2000	DBLP DOI BibTeX RDF	CCISPM, Capacities Centered Integral Software Process Model, software engineering, object-oriented programming, knowledge based systems, knowledge-based systems, project management, dynamic modeling, project planning, object oriented approach
3	Silvia Teresita Acuña, Mabel del V. Sosa	An Integral Software Process Formal Model based on the SOCCA Approach.	SCCC	2000	DBLP DOI BibTeX RDF	integral software process formal model, SOCCA approach, Capacity-Centered Integral Software Process Model, CCISPM, object-oriented modeling approach, Specifications of Coordinated and Cooperative Activities, software engineering, object-oriented programming, knowledge based systems, knowledge-based systems, design process
3	Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang	Verification and Validation of Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	reliability, verification, testing, knowledge-based systems, validation, dependability, Expert systems
3	Tim Menzies, Bojan Cukic	On the Sufficiency of Limited Testing for Knowledge Based Systems. (PDF / PS)	ICTAI	1999	DBLP DOI BibTeX RDF	Abductive Testing, Software Testing, Knowledge-Based Systems, Software Reliability
3	Dieter Fensel, Arno Schönegge	Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification
3	P. K. C. Pun, Hilary J. Kahn	A Multiparadigm Programming Approach for Developing Knowledge-Based Systems. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	multiparadigm programming, object-oriented programming, logic programming, Knowledge-based systems
3	William L. Kuechler Jr., Nina Lim, Vijay K. Vaishnavi	A smart object approach to hybrid knowledge representation and reasoning strategies.	HICSS	1995	DBLP DOI BibTeX RDF	smart object approach, reasoning strategies, human reasoning, non-trivial real world problems, multiple reasoning strategies, multiple domain knowledge, smart object paradigm, complex knowledge based systems, multiple inference strategies, engineered artifacts, high level object structure, rule based lower level language, complex knowledge based system, prototype KBS, object-oriented programming, knowledge representation, knowledge based systems, inference mechanisms, hybrid knowledge representation
3	Christoph F. Eick, Paul Werstein	Rule-Based Consistency Enforcement for Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	rule-based consistency enforcement, exception handlers, consistency constraints, rule entities, activation pattern controlled rule, data integrity, knowledge-based systems, knowledge based systems, system performance, consistency checks, application programs, production rule, forward chaining, knowledge-base management system
3	Uma G. Gupta	Validation and verification of knowledge-based systems: A survey.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	evaluation, verification, testing, knowledge-based systems, Validation
3	Jan Vanthienen, F. Robben	Developing Legal Knowledge Based Systems Using Decision Tables.	ICAIL	1993	DBLP DOI BibTeX RDF	knowledge acquisition, decision tables, verification and validation, legal knowledge based systems
2		Knowledge-based Systems.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Victor R. L. Shen, Tong-Ying Tony Juang	Verification of Knowledge-Based Systems Using Predicate/Transition Nets.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
2	Richard Dazeley, Byeong Ho Kang	Detecting the Knowledge Boundary with Prudence Analysis.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF	prudence analysis, knowledge representation, knowledge based systems, verification and Validation, ripple-down rules
2	Richard Dazeley, Byeong Ho Kang	An Approach for Generalising Symbolic Knowledge.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF	hidden context, knowledge representation, knowledge based systems, situation cognition, ripple-down rules
2	Anne Håkansson	A User Interface for the User-Centred Knowledge Model, t-UCK.	KES	2008	DBLP DOI BibTeX RDF	user centred modelling, Unified modeling language, Knowledge-based systems, visualisation, graphic modelling, knowledge modelling
2	Richard Dazeley, Byeong Ho Kang	Generalising Symbolic Knowledge in Online Classification and Prediction.	PKAW	2008	DBLP DOI BibTeX RDF	Hidden context, knowledge representation, knowledge based systems, situation cognition, ripple-down rules
2	Rainer Knauf, Setsuo Tsuruta, Avelino J. Gonzalez	Toward Reducing Human Involvement in Validation of Knowledge-Based Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2007	DBLP DOI BibTeX RDF
2	Fabio Campos, Andre Neves, Edvar Vilar Neto	Dealing with Subjective Uncertainty in Knowledge Based Systems.	ISCC	2007	DBLP DOI BibTeX RDF
2	Vladimir Sklenar, Martin Radvanský, Michal Dobes	Navigation in Knowledge-Based System for Helpdesk Based on FCA.	ICCS	2007	DBLP DOI BibTeX RDF	Knowledge-Based Systems, Case Based Reasoning, Formal Concept Analysis, Helpdesk
2	Jingde Cheng, Shinsuke Nara, Yuichi Goto	FreeEnCal: A Forward Reasoning Engine with General-Purpose.	KES	2007	DBLP DOI BibTeX RDF	Advanced Knowledge-Based Systems, Prediction, Induction, Discovery, Abduction, Deduction, Creation
2	Anne Håkansson, Ronald L. Hartung	Reengineering for Knowledge in Knowledge Based Systems.	KES	2006	DBLP DOI BibTeX RDF
2	Megan Vazey	Stochastic Foundations for the Case-Driven Acquisition of Classification Rules.	EKAW	2006	DBLP DOI BibTeX RDF	Colla-borative Tagging, Machine Learning, Knowledge Based Systems, Expert Systems, Knowledge Acquisition, Case Based Reasoning, Folksonomies, Knowledge Discovery in Databases, Group Decision Support Systems, Ripple Down Rules
2	Jinchang Wang	A cost-reducing question-selection algorithm for propositional knowledge-based systems.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	knowledge-based system, inference engine, proposition
2	Anneli Edman	Meeting the Need for Knowledge Management in Schools with Knowledge-Based Systems - A Case Study.	KES	2005	DBLP DOI BibTeX RDF
2	Tânia C. D'Agostini Bueno, Hugo Cesar Hoeschl, Andre Bortolon, Eduardo da Silva Mattos, Cristina Souza Santos	Knowledge Engineering Suite: A Tool to Create Ontologies for Automatic Knowledge Representation in Knowledge-Based Systems.	EGOV	2005	DBLP DOI BibTeX RDF
2	Monica Crubézy, Martin J. O'Connor, David L. Buckeridge, Zachary Pincus, Mark A. Musen	Ontology-Centered Syndromic Surveillance for Bioterrorism.	IEEE Intelligent Systems	2005	DBLP DOI BibTeX RDF	bioterrorism tracking, alerting and analysis, disease prevention and detection, ontologies, data integration, knowledge-based systems, knowledge modeling, ontology mapping, problem-solving methods, syndromic surveillance
2	Haeng-Kon Kim	Knowledge Acqusition for Mobile Embedded Software Development Based on Product Line.	KES	2005	DBLP DOI BibTeX RDF	Mobile Embedded Systems, Knowledge Based Systems, Intelligent Agents, CBD, Domain Engineering
2	Zhaohao Sun, Gavin R. Finnie	Experience Management in Knowledge Management.	KES	2005	DBLP DOI BibTeX RDF	Knowledge management, e-commerce, knowledge-based systems, experience management
2	Albert Mo Kim Cheng, Hsiu-yen Tsai	A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	real-time systems, expert systems, Timing analysis, response time, rule-based systems, production systems, OPS5, KBS
2	Leigh A. Davis, Rose F. Gamble, S. Kimsen	A patterned approach for linking knowledge-based systems to external resources.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2004	DBLP DOI BibTeX RDF
2	José A. Maestro, César Llamas, Carlos J. Alonso	A Representation of Temporal Aspects in Knowledge Based Systems Modelling: A Monitoring Example.	IEA/AIE	2004	DBLP DOI BibTeX RDF	real-time systems, monitoring, CommonKADS, KBS Methodology
2	Mohd Syazwan Abdullah, Chris Kimble, Richard F. Paige, Ian D. Benest, Andy Evans	Developing a UML Profile for Modelling Knowledge-Based Systems.	MDAFA	2004	DBLP DOI BibTeX RDF
2	Jens Dietrich	A Rule-Based System for eCommerce Applications.	KES	2004	DBLP DOI BibTeX RDF	Knowledge Representation and Management, Semantic Web, Knowledge-Based Systems, Intelligent Agent, eCommerce
2	Qin Sun, Christoph Schommer, Alexander Lang	Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam.	KI	2004	DBLP DOI BibTeX RDF	Machine Learning, Knowledge-Based Systems, Document Classification, Concept Learning
2	Son Bao Pham, Achim G. Hoffmann	Incremental Knowledge Acquisition for Building Sophisticated Information Extraction Systems with KAFTIE.	PAKM	2004	DBLP DOI BibTeX RDF	Incremental Knowledge Acquisition, Natural language processing, Knowledge-based systems
2	Armin Ulbrich, Dolly Kandpal, Klaus Tochtermann	Dynamic Personalization in Knowledge-Based Systems from a Structural Viewpoint.	Metainformatics	2003	DBLP DOI BibTeX RDF
2	Osvaldo Cairó, Julio César Alvarez	The KAMET II Methodology: A Modern Approach for Building Diagnosis-Specialized Knowledge-Based Systems.	ISMIS	2003	DBLP DOI BibTeX RDF
2	Ronald Leenes	Abort or Retry - A Role for Legal Knowledge Based Systems in Electronic Service Delivery?	KMGov	2003	DBLP DOI BibTeX RDF
2	José Luis Sierra, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, Antonio Navarro	A Document-Oriented Approach to the Development of Knowledge Based Systems.	CAEPIA	2003	DBLP DOI BibTeX RDF
2	Paulo Quaresma, Irene Pimenta Rodrigues	A Natural Language Interface for Information Retrieval on Semantic Web Documents.	AWIC	2003	DBLP DOI BibTeX RDF	web semantics, information retrieval, agents, knowledge based systems, natural language dialogues
2	José A. Maestro, María Aránzazu Simón Hurtado, Mario López, Alejandra Martínez-Monés, Carlos J. Alonso	A Proposal of Diagnosis for an ITS for Computational Logic.	CAEPIA	2003	DBLP DOI BibTeX RDF	Knowledge-based Systems, Intelligent Tutoring Systems, Model-based Diagnosis, Computational Logic
2	Frank Cornelissen, Catholijn M. Jonker, Jan Treur	Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods.	Knowl. Inf. Syst.	2003	DBLP DOI BibTeX RDF	Diagnostic reasoning model, Formal compositional modeling, Knowledge-based systems, Compositional verification
2	Debbie Richards	Knowledge-Based System Explanation: The Ripple-Down Rules Alternative.	Knowl. Inf. Syst.	2003	DBLP DOI BibTeX RDF	Knowledge-based systems, Formal concept analysis, Explanation, Ripple-down rules
2	Jos Aarts	On Articulation and Localization - Some Sociotechnical Issues of Design, Implementation and Evaluation of Knowledge Based Systems.	AIME	2001	DBLP DOI BibTeX RDF
2	Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems	A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	update logics, knowledge-based systems, dynamics, Specification languages, inference control
2	Sándor Jenei	Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited.	SOFSEM	2001	DBLP DOI BibTeX RDF	Sparse rule base, Interpolation/extrapolation of fuzzy rules, Knowledge-based systems, Expert system, Fuzzy sets, Fuzzy control, Inference, Approximate reasoning
2	Kevin J. Austin	Puzzles (poster session): a tool for teaching knowledge based systems.	ACSE	2000	DBLP DOI BibTeX RDF	learning, knowledge based systems, interactive learning, puzzles
2	Abeer El-Korany, Ahmed A. Rafea, Hoda Baraka, Saad Eid	A Structured Testing Methodology for Knowledge-Based Systems.	DEXA	2000	DBLP DOI BibTeX RDF
2	Perry Groot, Frank van Harmelen, Annette ten Teije	Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems.	EKAW	2000	DBLP DOI BibTeX RDF
2	Andrew Stranieri, John Zeleznikow	Tools for intelligent decision support system development in the legal domain.	ICTAI	2000	DBLP DOI BibTeX RDF	intelligent decision support system development tools, legal domain, legal task categorization, artificial reasoning model, cultural perspectives, sequenced transition network, knowledge based systems, decision support systems, conceptual model, knowledge bases, case-based reasoning, knowledge engineer, law, law administration, domain experts
2	J. H. Medeiros, L. M. Kafure, Bernardo Lula Jr.	TAOS: A Task-and-Action Oriented Framework for User's Task Analysis in the Context of Human-Computer Interfaces Design.	SCCC	2000	DBLP DOI BibTeX RDF	TAOS, task-and-action oriented framework, KL-ONE, user interfaces, knowledge representation, knowledge representation, user centered design, knowledge based systems, human factors, conceptual model, user interface design, knowledge acquisition, knowledge acquisition, user centred design, task analysis, task analysis, modeling language, task description
2	Stefan Trausan-Matu	Metaphor Processing for Learning Terminology on the Web.	AIMSA	2000	DBLP DOI BibTeX RDF	Ontology, XML, WWW, Knowledge-Based Systems, Metaphors, Corpus Linguistics
2	Rune Steinberg, Roar A. Fjellheim, Stale A. Olsen	Design Patterns for Safety-critical Knowledge Based Systems.	EUROVAV	1999	DBLP BibTeX RDF
2	Giovanna Dondossola	Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems.	EUROVAV	1999	DBLP BibTeX RDF
2	Trevor J. M. Bench-Capon, Dean M. Jones	PRONTO - Ontology-based Evaluation of Knowledge Based Systems.	EUROVAV	1999	DBLP BibTeX RDF
2	S. Misbah Deen, C. A. Johnson	Towards a Theoretical Foundation for Cooperating Knowledge Based Systems.	ISMIS	1999	DBLP DOI BibTeX RDF
2	Yaakov HaCohen-Kerner, Uri J. Schild, John Zeleznikow	Developing computational models of discretion to build legal knowledge based systems.	ICAIL	1999	DBLP DOI BibTeX RDF	classifying discretionary domains, dicretion, learning from cases, evaluation, explanation
2	Andrew Stranieri, John Zeleznikow	The evaluation of legal knowledge based systems.	ICAIL	1999	DBLP DOI BibTeX RDF	evaluation, legal knowledge based system
2	Perry Groot, Annette ten Teije, Frank van Harmelen	Formally Verifying Dynamic Properties of Knowledge Based Systems.	EKAW	1999	DBLP DOI BibTeX RDF
2	Gennady L. Andrienko, Natalia V. Andrienko	Data Characterization Schema for Intelligent Support in Visual Data Analysis.	COSIT	1999	DBLP DOI BibTeX RDF	geographically referenced data, conceptual data characterization, cartographic visualization, knowledge-based systems
2	Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems	Specification of Dynamics for Knowledge-Based Systems.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
2	Caroline C. Hayes, Michael I. Parzen	QUEM: An Achievement Test for Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Knowledged-based systems, performance measures, knowledge engineering, expertise, solution quality
2	Gertjan Beijer	Validation and Verification of Knowledge Based Systems: a Practitioner's View.	EUROVAV	1997	DBLP BibTeX RDF
2	Anca I. Vermesan	Knowledge-Based Systems: Verification and Validation in the view of Certification.	EUROVAV	1997	DBLP BibTeX RDF
2	Mysore Ramaswamy, Sumit Sarkar	Global Verification of Knowledge Based Systems via Local Verification of Partitions.	EUROVAV	1997	DBLP BibTeX RDF
2	Frank Cornelissen, Catholijn M. Jonker, Jan Treur	Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning.	EUROVAV	1997	DBLP BibTeX RDF
2	Dieter Fensel, Arno Schönegge	Specifying and Verifying Knowledge-Based Systems with KIV.	EUROVAV	1997	DBLP BibTeX RDF
2	Rajiv Khosla, Tharam S. Dillon	Fusion of knowledge-based systems and neural networks and applications.	KES	1997	DBLP DOI BibTeX RDF
2	Sunro Lee, Robert M. O'Keefe	The Effect of Knowledge Representation Schemes on Maintainability of Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	verification, Knowledge-based systems, experiment, maintenance, empirical
2	John K. Debenham	Designing Knowledge-Based Systems for Optimal Performance.	DEXA	1996	DBLP DOI BibTeX RDF
2	Anna Jeffries, Elizabeth A. Kemp, Elisabeth G. Todd, David I. Gray, Barry Butler	The role of functional prototyping in model validation.	ISCNZ	1996	DBLP DOI BibTeX RDF	functional prototyping, dairy farm management, knowledge based systems, decision support system, software prototyping, model validation, prototype system, intelligent DSS
2	Gareth J. Palmer, Susan Craw	Utilising Explanation to Assist the Refinement of Knowledge-Based Systems.	EUROVAV	1995	DBLP BibTeX RDF
2	R. Lounis, Marc Ayel	Completeness of Knowledge-based Systems.	EUROVAV	1995	DBLP BibTeX RDF
2	Jan Treur, Mark Willems	Formal Notions for Verification of Dynamics of Knowledge-Based Systems.	EUROVAV	1995	DBLP BibTeX RDF
2	Remco Straatman, Pascal Beys	A Performance Model for Knowledge-Based Systems.	EUROVAV	1995	DBLP BibTeX RDF
2	Dieter Landes, Rudi Studer	Mechanisms for Structuring Knowledge-Based Systems.	DEXA	1994	DBLP DOI BibTeX RDF
2	Du Zhang, Doan Nguyen	PREPARE: A Toll for Knowledge Base Verification.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	PREPARE, knowledge base verification, reliable knowledge-based systems, potential errors, predicate/transition net representation, incomplete rules, syntactic pattern recognition method, fully functioning inference engine, pattern recognition, knowledge based systems, program verification, logic, correctness, semantic networks, automated tool
2	Giovanni Guida, Giancarlo Mauri	Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	KBS evaluation, general evaluation methodology, practical application, performance evaluation, knowledge-based system, knowledge based systems, evaluation methods
2	Amit Basu	A Knowledge Representation Model for Multiuser Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	knowledge representation model, multiuser knowledge-based system, MKBS, largely autonomous user knowledge bases, multipole heterogeneous users, UKBs, rule translation, knowledge representation, knowledge based systems, problem solving, explanation, consistency maintenance, multi-access systems
2	Hakim Lounis	Knowledge-Based Systems Verification: A Machine Learning-Based Approach.	EUROVAV	1993	DBLP BibTeX RDF
2	Hakim Lounis	Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification.	ISMIS	1993	DBLP DOI BibTeX RDF	Revision Process, Machine Learning, Verification, Formal Specifications, Integrity Constraint, Production Rules, Semantic-Net
2	Peter Kopacek	Technical Applications of Knowledge-Based Systems.	EUROCAST	1993	DBLP DOI BibTeX RDF
2	Gregory M. Provan, John R. Clarke	Dynamic Network Construction and Updating Techniques for the Diagnosis of Acute Abdominal Pain.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	acute abdominal pain diagnosis, dynamic influence diagram construction and updating system, DYNASTY, decision-theoretic model, temporal influence diagram, knowledge based systems, knowledge based systems, medical diagnostic computing, medical diagnostic computing, diagnostic reasoning, patient diagnosis, parsimonious model
2	Goa Ji	Representing Inference Control by Hypothesis-Based Association.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	planning level, performing level, inference tactics, representation system hypothesis-based associative representation, HAR, functional architecture, hypothesis-based associative networks, block-world action planning, least commitment strategy, knowledge representation, knowledge-based systems, knowledge based systems, inference mechanisms, inference control, AI techniques, problem solving strategies
2	Trevor J. M. Bench-Capon, Frans Coenen	The maintenance of legal knowledge based systems.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	knowledge based system maintenance, legal knowledge, adaptation
2	Wu Wang, S. Sitharama Iyengar	Efficient Data Structures for Model-Based 3-D Object Recognition and Localization from Range Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	surface characterization, computer vision, data structures, data structures, knowledge representation, knowledge representation, knowledge based systems, knowledge based systems, knowledge acquisition, image recognition, image recognition, vision, range images, 3D object recognition, CAD models, free-form surfaces
2	Hiroshi Motoda, Riichiro Mizoguchi, John H. Boose, Brian R. Gaines	Knowledge Acquisition for Knowledge-Based Systems.	IEEE Expert	1991	DBLP DOI BibTeX RDF
2	Trevor J. M. Bench-Capon, Frans Coenen	Two Aspects of the Validation and Verification of Knowledge Based Systems.	EUROVAV	1991	DBLP BibTeX RDF