EDBT 2026 Demo / reviewers in the wild / expert
Stanley J. Rosenschein
dblp:40/2747
· DBLP profile ↗
10ranked-venue papers
7as first author
0since 2021 · last 1995
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 9 · 6 first-authorGraphics, computer vision, multimedia, augmented reality and games · 4 · 3 first-authorTheory of computation · 2 · 2 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
5 papers |
Knowledge representation and reasoning · 61% Multi-agent systems · 16% Language models and text generation · 9% | |
| Theoretical computer science
2 papers |
Automata and formal languages · 70% Automated reasoning and model checking · 23% Logic in computer science · 7% |
Topics — the 5 heaviest of 11, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages
automata synthesis |
0.0 | 1 | 1989 | Synthesizing Information-Tracking Automata from Environment Descriptions · KR 1989 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › semantic representation
logical form |
0.0 | 1 | 1982 | Translating English into Logical Form · ACL 1982 |
Automated reasoning and model checking
planning |
0.0 | 1 | 1981 | Plan Synthesis: A Logical Perspective · IJCAI 1981 |
Robotics › Robot navigation and mapping › robot mapping
environment modeling |
0.0 | 1 | 1989 | Synthesizing Information-Tracking Automata from Environment Descriptions · KR 1989 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › planning
incremental planning |
0.0 | 1 | 1979 | Modeling Planning as an Incremental, Opportunistic Process · IJCAI 1979 |
Methods — techniques the papers use, named apart from their topics
automata synthesis · 0.0unification-based grammar · 0.0compositional model-theoretic semantics · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1995 | A Situated View of Representation and Control
Stanley J. Rosenschein, Leslie Pack Kaelbling |
Artif. Intell. | 1 |
| 1992 | Perception and Action in Autonomous Systems
Stanley J. Rosenschein |
ECAI | 1 |
| 1989 | Synthesizing Information-Tracking Automata from Environment Descriptions
Stanley J. Rosenschein |
KR | 1 |
| 1986 | The Synthesis of Digital Machines With Provable Epistemic Properties
Stanley J. Rosenschein, Leslie Pack Kaelbling |
TARK | 1 |
| 1983 | Natural-Language Processing: Crucible for Computational Theories of Cognition
Stanley J. Rosenschein |
IJCAI | 1 |
| 1982 | Translating English into Logical FormabstractA scheme for syntax-directed translation that mirrors compositional model-theoretic semantics is discussed.The scheme is the basis for an English translation system called PArR and was used to specify a semantically interesting fragment of English, including such constructs as tense, aspect, modals, and various iexically controlled verb complement structures.PATR was embedded in a question-answering system that replied appropriately to questions requiring the computation of logical entailments. Stanley J. Rosenschein, Stuart M. Shieber |
ACL | 1 |
| 1982 | DIALOGIC: A Core Natural-Language Processing System
Barbara J. Grosz, Norman Haas, Gary G. Hendrix, Jerry R. Hobbs, Paul A. Martin, Robert C. Moore, Jane J. Robinson, Stanley J. Rosenschein |
COLING | 8 |
| 1981 | Plan Synthesis: A Logical Perspective
Stanley J. Rosenschein |
IJCAI | 1 |
| 1979 | Modeling Planning as an Incremental, Opportunistic Process
Barbara Hayes-Roth, Frederick Hayes-Roth, Stanley J. Rosenschein, Stephanie J. Cammarata |
IJCAI | 3 |
| 1977 | Making Computational Sense of Montague's Intensional Logic
Jerry R. Hobbs, Stanley J. Rosenschein |
Artif. Intell. | 2 |