This paper gives an overview of the development of the field of Knowledge Engineering over
the last 15 years. We discuss the paradigm shift from a transfer view to a modeling view and …

Ontologies and problem-solving methods are promising candidates for reuse in Knowledge
Engineering. Ontologies define domain knowledge at a generic level, while problem-solving …

Ontologies and problem-solving methods are promising candidates for reuse in Knowledge
Engineering. Ontologies define domain knowledge at a generic level, while problem-solving …

Problem‐solving methods are means of describing the inference process of knowledge‐
based systems. In recent years, a number of these problem‐solving methods have been …

We describe the ingredients of an intelligent agent (a broker) for configuration and execution
of knowledge systems for customer requests. The knowledge systems are configured from …

Constructing a planner for a particular application is a difficult job, for which little concrete
support is currently available. The literature on planning is overwhelming and there exists no …

This article investigates software engineering techniques for designing and reengineering
knowledge-based system generators, focusing on inference engines and domain specific …

We describe an intelligent agent (a broker) for configuration and execution of knowledge
systems for customer requests. The knowledge systems are configured from reusable …

In this paper, we present a case study of KBS engines built thanks to our knowledge-based
system (KBS) development platform LAMA. The LAMA platform enables the software-level …

There are several works whose goal is to specify complete and sound planning systems
based on general purpose theorem provers. Some planners implemented in this way can …