Artificial Intelligence
Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
New Generation Computing
Explanation-based learning: a problem solving perspective
Artificial Intelligence
Algorithm theories and design tactics
Science of Computer Programming
The computational complexity of abduction
Artificial Intelligence - Special issue on knowledge representation
Task-structure analysis for knowledge modeling
Communications of the ACM - Special issue on analysis and modeling in software development
(ML)2: a formal language for KADS models of expertise
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
Knowledge Acquisition - Special issue on knowledge acquisition for therapy-planning tasks
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
A compositional architecture for simple design formally specified in DESIRE
Formal specification of complex reasoning systems
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
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
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Supporting Search for Reusable Software Objects
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Inference and reflection in the object-centered representation language NOOS
Future Generation Computer Systems - Special double issue: reflection and meta-level AI architectures
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
The essence of problem-solving methods: making assumptions to gain efficiency
International Journal of Human-Computer Studies
Preface: knowledge acquisition for planning
International Journal of Human-Computer Studies - Special issue on knowledge acquisition for planning
Modal change logic (MCL): specifying the reasoning of knowledge-based systems
Data & Knowledge Engineering
OKBC: a programmatic foundation for knowledge base interoperability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Editorial: problem-solving methods
International Journal of Human-Computer Studies
Inverse verification of problem-solving methods
International Journal of Human-Computer Studies
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
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
Automating Knowledge Acquisition for Expert Systems
Automating Knowledge Acquisition for Expert Systems
Algorithmic Program DeBugging
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
CommonKADS: A Comprehensive Methodology for KBS Development
IEEE Expert: Intelligent Systems and Their Applications
Steps in Constructing Problem Solving Methods
Proceedings of the 7th European Workshop on Knowledge Acquisition for Knowledge-Based Systems
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
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
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
Toward a Classification Approach to Design
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
UPML: A Framework for Knowledge System Reuse
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
The KIV-Approach to Software Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Describing Software Architecture with UML
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Assessing the Suitability of a Standard Design Method for Modeling Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Ontobroker: The Very High Idea
Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference
Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information
DS-8 Proceedings of the IFIP TC2/WG2.6 Eighth Working Conference on Database Semantics- Semantic Issues in Multimedia Systems
NORA/HAMMR: making deduction-based software component retrieval practical
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
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)
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A software architecture for knowledge-based systems
The Knowledge Engineering Review
The semantic web: yet another hip?
Data & Knowledge Engineering - DKE 40
Language Standardization for the Semantic Web: The Long Way from OIL to OWL
DCW '02 Revised Papers from the 4th International Workshop on Distributed Communities on the Web
Configuring Online Problem-Solving Resources with the Internet Reasoning Service
IEEE Intelligent Systems
ODE SWS: A Framework for Designing and Composing Semantic Web Services
IEEE Intelligent Systems
ODESGS framework, knowledge-based markup for semantic grid services
Proceedings of the 3rd international conference on Knowledge capture
CLIHC '05 Proceedings of the 2005 Latin American conference on Human-computer interaction
TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams
SEC: a search engine for component based software development
Proceedings of the 2006 ACM symposium on Applied computing
SEC+: an enhanced search engine for component-based software development
ACM SIGSOFT Software Engineering Notes
A hierarchical approach for the redesign of chemical processes
Knowledge and Information Systems
IEEE Intelligent Systems
Exploiting tourism destinations' knowledge in an RDF-based P2P network
Journal of Network and Computer Applications
A unified Semantic Web services architecture based on WSMF and UPML
International Journal of Web Engineering and Technology
Knowledge formalization in experience feedback processes: An ontology-based approach
Computers in Industry
Applied Ontology
Correspondence Patterns for Ontology Alignment
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
An Ontology-Driven Framework for Deploying JADE Agent Systems
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
ACS'08 Proceedings of the 8th conference on Applied computer scince
WSEAS TRANSACTIONS on SYSTEMS
Integrated Knowledge-based System for Product Design in Furniture Estimate
Proceedings of the 2006 conference on Integrated Intelligent Systems for Engineering Design
An intelligent tutoring system for visual classification problem solving
Artificial Intelligence in Medicine
Software-engineering challenges of building and deploying reusable problem solvers
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A caching mechanism for semantic web service discovery
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Structuring agents for adaptation
Adaptive agents and multi-agent systems
A semantic web approach to integrate phenotype descriptions and clinical data
KR4HC'10 Proceedings of the ECAI 2010 conference on Knowledge representation for health-care
Reasoning based on the distributed β-PSML
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
ODEGSG framework, knowledge-based annotation and design of grid services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Contextualised ambient intelligence through case-based reasoning
ECCBR'06 Proceedings of the 8th European conference on Advances in Case-Based Reasoning
A workflow modeling framework enhanced with problem-solving knowledge
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Applied Ontology
Distributed multi-agent communication system based on dynamic ontology mapping
International Journal of Communication Networks and Distributed Systems
Generating Knowledge-Based System Generators: A Software Engineering Approach
International Journal of Intelligent Information Technologies
Hi-index | 0.00 |
Problem-solving methods provide reusable architectures and components for implementing the reasoning part of knowledge-based systems. The Unified Problem-Solving Method Description Language (UPML) has been developed to describe and implement such architectures and components to facilitate their semi-automatic reuse and adaptation. In a nutshell, UPML is a framework for developing knowledge-intensive reasoning systems based on libraries of generic problem-solving components. The paper describes the components and adapters, architectural constraints, development guidelines, and tools provided by UPML. UPML is developed as part of the IBROW project, which provides an Internet-based brokering service for reusing problem-solving methods.