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

Joakim Gustafsson

dblp:90/2887 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Requirements engineering and software design › object-oriented analysis and design
object-oriented design
0.012004
Elaboration tolerance through object-orientation · Artif. Intell. 2004
Robotics › Robot navigation and mapping
occlusion
0.011996
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.011996
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
YearPublicationVenuePosition
2004 Elaboration tolerance through object-orientation
Joakim Gustafsson, Jonas Kvarnström
Artif. Intell.1
1999 Reasoning about Concurrent Interaction
abstract
In 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
ECAI2
1996 Embracing Occlusion in Specifying the Indirect Effects of Actions
Joakim Gustafsson, Patrick Doherty 0001
KR1