Foundations of a functional approach to knowledge representation.
Artificial Intelligence
A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Artificial Intelligence
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Temporal logic of programs
New Generation Computing
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Model-based reasoning: troubleshooting
Exploring artificial intelligence
The/Munich Project CIP
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
An editor for the conceptual models of interactive knowledge-acquisition tools
International Journal of Man-Machine Studies
PARIS: a system for reusing partially interpreted schemas
Software reusability: vol. 1, concepts and models
Explanation-based learning: a problem solving perspective
Artificial Intelligence
AI Magazine
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
AI Magazine
Design problem solving: a task analysis
AI Magazine
Algorithm theories and design tactics
Science of Computer Programming
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Catalogue of artificial intelligence techniques
Catalogue of artificial intelligence techniques
Problem solving and cognitive skill acquisition
Foundations of cognitive science
Process algebra
Experiments with a Program Timing Tool Based on Source-Level Timing Schema
Computer - Special issue on real-time systems
Algebraic system specification and development
Algebraic system specification and development
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Usable and reusable programming constructs
Knowledge Acquisition
The computational complexity of abduction
Artificial Intelligence - Special issue on knowledge representation
Enabling technology for knowledge sharing
AI Magazine
Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
The Z notation: a reference manual
The Z notation: a reference manual
Task-structure analysis for knowledge modeling
Communications of the ACM - Special issue on analysis and modeling in software development
Readings in model-based diagnosis
A spectrum of logical definitions of model-based diagnosis
Readings in model-based diagnosis
Readings in model-based diagnosis
Using generalised directive models in knowledge acquisition
EKAW'92 Proceedings of the 6th European knowledge acquisition workshop on Current developments in knowledge acquisition
Characterizing diagnoses and systems
Artificial Intelligence
Formal specification and design
Formal specification and design
(ML)2: a formal language for KADS models of expertise
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
The componential framework and its role in reusability
Second generation expert systems
Towards a unification of knowledge modelling approaches
Second generation expert systems
KA process support through generalised directive models
Second generation expert systems
Formally specifying reusable knowledge model components
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Expertise in context: personally constructed, socially selected, and reality-relevant?
International Journal of Expert Systems
Formal specification of complex reasoning systems
Formal specification of complex reasoning systems
A compositional architecture for simple design formally specified in DESIRE
Formal specification of complex reasoning systems
The semantics of KBSSF, a language for KBS design
Knowledge Acquisition
Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Predicate transformers for reasoning about concurrent computation
Science of Computer Programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Introduction to knowledge systems
Introduction to knowledge systems
Task modeling with reusable problem-solving methods
Artificial Intelligence
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Tasks and ontologies in engineering modelling
International Journal of Human-Computer Studies
Structure-preserving specification languages for knowledge-based systems
International Journal of Human-Computer Studies - Special issue: verification and validation
International Journal of Human-Computer Studies - Special issue: the Sisyphus-VT initiative
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Evolving algebras 1993: Lipari guide
Specification and validation methods
Using reflection techniques for flexible problem solving (with examples from diagnosis)
Future Generation Computer Systems - Special double issue: reflection and meta-level AI architectures
Software engineering with B
Using explicit ontologies in KBS development
International Journal of Human-Computer Studies
Infomaster: an information integration system
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Artificial intelligence: a computational perspective
Principles of knowledge representation
The essence of problem-solving methods: making assumptions to gain efficiency
International Journal of Human-Computer Studies
Knowledge engineering: principles and methods
Data & Knowledge Engineering - Special jubilee issue: DKE 25
Modal change logic (MCL): specifying the reasoning of knowledge-based systems
Data & Knowledge Engineering
Inverse verification of problem-solving methods
International Journal of Human-Computer Studies
Knowledge engineering and management: the CommonKADS methodology
Knowledge engineering and management: the CommonKADS methodology
Program development by stepwise refinement
Communications of the ACM - Special 25th Anniversary Issue
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Knowledge Acquisition and Representation Language Karl
Knowledge Acquisition and Representation Language Karl
Common KADS Library for Expertise Modelling
Common KADS Library for Expertise Modelling
Systematic Introduction to Expert Systems: Knowledge Representations and Problem Solving Methods
Systematic Introduction to Expert Systems: Knowledge Representations and Problem Solving Methods
Modeling of Dynamic Object Systems: A Logic-Based Approach
Modeling of Dynamic Object Systems: A Logic-Based Approach
Automating Knowledge Acquisition for Expert Systems
Automating Knowledge Acquisition for Expert Systems
Algorithmic Program DeBugging
Axiomatising the Logic of Computer Programming
Axiomatising the Logic of Computer Programming
Artificial Intelligence
Meta-Level Architectures and Reflection
Meta-Level Architectures and Reflection
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Device Understanding and Modeling for Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
CommonKADS: A Comprehensive Methodology for KBS Development
IEEE Expert: Intelligent Systems and Their Applications
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
Steps in Constructing Problem Solving Methods
Proceedings of the 7th European Workshop on Knowledge Acquisition for Knowledge-Based Systems
Making Role Limiting Shells More Flexible
Proceedings of the 7th European Workshop on Knowledge Acquisition for Knowledge-Based Systems
Components of Problem Solving and Types of Problems
EKAW '94 Proceedings of the 8th European Knowledge Acquisition Workshop on A Future for Knowledge Acquisition
Knowledge Level Model of a Configurable Learning System
EKAW '94 Proceedings of the 8th European Knowledge Acquisition Workshop on A Future for Knowledge Acquisition
The Thin End of the Wedge: Efficiency and the Generalised Directive Model Methodology
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
Assumptions of Problem-Solving Methods
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
Reuse of Problem-Solving Methods and Family Resemblances
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
Using Ontologies for Defining Tasks, Problem-Solving Methods and their Mappings
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
The Tower-of-Adapter Method for Developing and Reusing Problem-Solving Methods
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
Object Exchange Across Heterogeneous Information Sources
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Correctness of Generic Modules
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
Algebraic Specification Languages: An Overview
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Dynamic Database Logic: the First-order Case
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects: Modelling Database Dynamics
UPML: A Framework for Knowledge System Reuse
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Adaptation and Learning in Multi-Agent Systems: Some Remarks and a Bibliography
IJCAI '95 Proceedings of the Workshop on Adaption and Learning in Multi-Agent Systems
The KIV-Approach to Software Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Three Selected Case Studies in Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Ontobroker: The Very High Idea
Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference
Reuse of Proofs in Software Verification
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Why Use Evolving Algebras for Hardware and Software Engineering?
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
Specification of Dynamics for Knowledge-Based Systems
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Giving Structured Analysis Technologie a Formal and Operational Semantics with KARL
Requirements Engineering '93: Prototyping, Gemeinsame Fachtagung des Fachausschusses 4.3 Requirements Engineering der Gesellschaft für Informatik (GI) und des Verbunds Software-Technik NRW in Kooperation mit dem German Chapter of the ACM und dem Facha
Declarative specification of software architectures
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Using KIV to specify and verify architectures of knowledge-based systems
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Synthesis of Local Search Algorithms by Algebraic Means
KBSE '96 Proceedings of The 11th Knowledge-Based Software Engineering Conference
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
Provably bounded-optimal agents
Journal of Artificial Intelligence Research
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Diagnosis with behavioral modes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Towards a generic model of configuraton tasks
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Complexity results for planning
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A formal framework for representing diagnosis strategies in model-based diagnosis systems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
No faults in structure?: how to diagnose hidden interactions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
Ontologies and Electronic Commerce
IEEE Intelligent Systems
Multi-layered agent ontology for soft computing systems
International Journal of Knowledge-based and Intelligent Engineering Systems - Advanced Intelligent Techniques in Engineering Applications
IEEE Intelligent Systems
A unified Semantic Web services architecture based on WSMF and UPML
International Journal of Web Engineering and Technology
KAMET II: An open diagnosis knowledge-acquisition methodology
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Cloudle: an ontology-enhanced cloud service search engine
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Hi-index | 0.00 |