Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(77)
Michael M. Richter
2
Harold Boley
2
Michael Hanus
2
Andrei Mantsivoda
2
Chris Moss
2
Micha Meier
2
Bernhard Hollunder
1
Lars-Henrik Eriksson
1
Wolf-fritz Riekert
1
Martin Aronsson
1
Keywords
(72)
Subscribe
Academic
Conferences
PDK - Processing Declarative Knowledge
PDK - Processing Declarative Knowledge
Publications: 40
|
Citation Count: 287 (Self-Citation: 2)
|
H-Index: 8Year Range: 1991-2005
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(40)
Closing the Achievement Gap by Detracking
(
Citations: 14
)
Phi Delta Kappan
,
Kevin G. Welner
Conference:
Processing Declarative Knowledge - PDK
, 2005
A Terminological Knowledge Representation System with Complete Inference Algorithms
(
Citations: 95
)
Franz Baader
,
Bernhard Hollunder
Conference:
Processing Declarative Knowledge - PDK
, pp. 67-86, 1991
A General Framework for Knowledge Compilation
(
Citations: 25
)
Henry A. Kautz
,
Bart Selman
Conference:
Processing Declarative Knowledge - PDK
, pp. 287-300, 1991
Efficient Implementation of Narrowing and Rewriting
(
Citations: 24
)
Michael Hanus
Conference:
Processing Declarative Knowledge - PDK
, pp. 344-365, 1991
Declarative Functionality Descriptions of Interactive Reasoning Modules
(
Citations: 16
)
Jan Treur
Conference:
Processing Declarative Knowledge - PDK
, pp. 221-236, 1991