1998
DOI: 10.1006/ijhc.1998.0208
|View full text |Cite
|
Sign up to set email alerts
|

Editorial: problem-solving methods

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
24
0

Year Published

1998
1998
2013
2013

Publication Types

Select...
6
2

Relationship

0
8

Authors

Journals

citations
Cited by 52 publications
(24 citation statements)
references
References 10 publications
0
24
0
Order By: Relevance
“…To decouple the functional features of a service from its internal specification, we propose to apply PSMs [20][21] when modelling SGSs (following the same approach that we did for describing SWSs in ODESWS [9]. A PSM is defined as a domainindependent and knowledge-level specification of the problem solving behaviour that can be used to solve a class of problems [21].…”
Section: Psm Ontologymentioning
confidence: 99%
“…To decouple the functional features of a service from its internal specification, we propose to apply PSMs [20][21] when modelling SGSs (following the same approach that we did for describing SWSs in ODESWS [9]. A PSM is defined as a domainindependent and knowledge-level specification of the problem solving behaviour that can be used to solve a class of problems [21].…”
Section: Psm Ontologymentioning
confidence: 99%
“…In a tableau proof a tree is constructed where nodes are labeled with formulae. 2 In order to test whether a certain formula ϕ follows from a set of premises Θ a tableau tree is constructed for Θ ∪ {¬ϕ}. Constructing such a binary tree can be seen as checking for (in)consistency of the theory.…”
Section: Tableauxmentioning
confidence: 99%
“…In particular, the Web-Onto tool [10] provides web-based visualisation, browsing and editing support for developing and maintaining knowledge models specified in OCML [27]. The latter is an operational knowledge modelling language, which supports the specification and instantiation of ontologies and the specification and execution of reusable problem solving methods [1]. 6.…”
Section: Story Readingmentioning
confidence: 99%