Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Klaus Schild

dblp:84/4959 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
0since 2021 · last 2001
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 3 first-authorSystems, architecture and hardware · 1Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-authorTheory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
2 papers
Knowledge representation and reasoning · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
description logic
0.021994
Terminological Cycles and the Propositional µ-Calculus · KR 1994
A Correspondence Theory for Terminological Logics: Preliminary Report · IJCAI 1991
Knowledge, reasoning and agents › Knowledge representation and reasoning › description logic
terminological cycles
0.011994
Terminological Cycles and the Propositional µ-Calculus · KR 1994
Logic in computer science
modal logic
0.011994
Terminological Cycles and the Propositional µ-Calculus · KR 1994
Logic in computer science › modal logic › multi-modal logic
modal mu-calculus
0.011994
Terminological Cycles and the Propositional µ-Calculus · KR 1994
YearPublicationVenuePosition
2001 An agent-based approach to the control of flexible production systems
abstract
We present an agent-based approach to the control of flexible production systems. This approach flexibly adapts to changing production conditions and is suitable for high volume production. In this approach, workpiece agents auction off their current task, while machine agents bid for tasks. When awarding a machine, a workpiece agent takes into account not only the machine's current workload, but also the workpieces leaving the machine. If a machine's outgoing stream is blocked, the machine agent eventually ceases to accept new workpieces, thus blocking its input stream as well. As a result, a capacity bottleneck is automatically propagated in the opposite direction of the material flow. A unique feature of this mechanism is that it does not pre-suppose any specific material flow; the current capacity bottleneck is always propagated in the opposite direction of the actual flow, no matter how this flow looks like. Daimler Chrysler has evaluated the new control approach as a bypass to an existing manufacturing line. A suite of performance tests demonstrated the industrial feasibility and benefits of the approach.
Stefan Bussmann, Klaus Schild
ETFA (2)2
2000 On the Relationship Between BDI Logics and Standard Logics of Concurrency
Klaus Schild
Auton. Agents Multi Agent Syst.1
1994 Terminological Cycles and the Propositional µ-Calculus
Klaus Schild
KR1
1991 A Correspondence Theory for Terminological Logics: Preliminary Report
Klaus Schild
IJCAI1