Demo Data from SIGIR 2026 / reviewers in the wild / expert
Joakim Gustafsson
dblp:90/2887
· DBLP profile ↗
4ranked-venue papers
2as first author
0since 2021 · last 2004
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 2 first-authorTheory of computation · 2 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1
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.
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% | |
| Artificial intelligence
2 papers |
Knowledge representation and reasoning · 50% Robot navigation and mapping · 50% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design › object-oriented analysis and design
object-oriented design |
0.0 | 1 | 2004 | Elaboration tolerance through object-orientation · Artif. Intell. 2004 |
Robotics › Robot navigation and mapping
occlusion |
0.0 | 1 | 1996 | Embracing Occlusion in Specifying the Indirect Effects of Actions · KR 1996 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
reasoning about actions |
0.0 | 1 | 1996 | Embracing Occlusion in Specifying the Indirect Effects of Actions · KR 1996 |
Methods — techniques the papers use, named apart from their topics
situation calculus · 0.0action theory · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2004 | Elaboration tolerance through object-orientation
Joakim Gustafsson, Jonas Kvarnström |
Artif. Intell. | 1 |
| 1999 | Reasoning about Concurrent InteractionabstractIn this paper we present TAL-C, a logic of action and change for worlds with action concurrency. TAL-C has a first-order semantics and proof theory. It builds on an existing logic TAL, which includes the use of dependency laws for dealing with ramification. It is demonstrated how TAL-C can represent a number of phenomena related to action concurrency: action duration, how the effects of one action interferes with or enables another action, synergistic effects of concurrent actions, conflicting and cumulative effect interactions, and resource conflicts. A central idea is that actions are not described as having effects that directly alter the world state. Instead, actions produce influences, and the way these influences alter the world state are described in specialized influence laws. Finally, we address how TAL-C narratives can be written to support modularity. Lars Karlsson, Joakim Gustafsson |
J. Log. Comput. | 2 |
| 1998 | Delayed Effects of Actions
Lars Karlsson, Joakim Gustafsson, Patrick Doherty 0001 |
ECAI | 2 |
| 1996 | Embracing Occlusion in Specifying the Indirect Effects of Actions
Joakim Gustafsson, Patrick Doherty 0001 |
KR | 1 |