EDBT 2026 Demo / reviewers in the wild / expert
Adrian Walker
dblp:96/2229
· DBLP profile ↗
11ranked-venue papers
5as first author
0since 2021 · last 2017
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 5 · 3 first-authorTheory of computation · 5 · 1 first-authorDatabases, data management, data science and information retrieval · 2 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 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.
| Theoretical computer science
4 papers |
Automated reasoning and model checking · 53% Automata and formal languages · 31% Logic in computer science · 16% | |
| Databases, data mining, and information retrieval
1 paper |
Query processing and optimization · 50% Database system architecture and tuning · 50% | |
| Artificial intelligence
2 papers |
Knowledge representation and reasoning · 57% Learning theory · 43% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Emerging computing paradigms · 50% Parallel and multicore computing · 50% |
Topics — the 14 heaviest of 16, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking
explanation generation |
0.0 | 1 | 1983 | Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers · IJCAI 1983 |
Automated reasoning and model checking
inference engine |
0.0 | 1 | 1983 | Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers · IJCAI 1983 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
causal reasoning |
0.0 | 1 | 1980 | Max-Mim Chaining of Weighted Causal Assertions is Loop Free · AAAI 1980 |
Query processing and optimization
approximate query processing |
0.0 | 1 | 1980 | On Retrieval from a Small Version of a Large Data Base · VLDB 1980 |
Machine learning › Learning theory › inductive inference
grammatical inference |
0.0 | 1 | 1978 | On the Inference of Stochastic Regular Grammars · Inf. Control. 1978 |
Automata and formal languages
grammatical inference |
0.0 | 1 | 1978 | On the Inference of Stochastic Regular Grammars · Inf. Control. 1978 |
Automata and formal languages
l systems |
0.0 | 1 | 1978 | Stable String Languages of Lindenmayer Systems · Inf. Control. 1978 |
Logic in computer science
logic programming |
0.0 | 1 | 1983 | Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers · IJCAI 1983 |
Logic in computer science › logic programming
prolog |
0.0 | 1 | 1983 | Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers · IJCAI 1983 |
Emerging computing paradigms › unconventional computing
cellular computing |
0.0 | 1 | 1974 | Synchronization of Growing Cellular Arrays · Inf. Control. 1974 |
Parallel and multicore computing
synchronization |
0.0 | 1 | 1974 | Synchronization of Growing Cellular Arrays · Inf. Control. 1974 |
Automata and formal languages
formal grammars |
0.0 | 1 | 1978 | On the Inference of Stochastic Regular Grammars · Inf. Control. 1978 |
Emerging computing paradigms
cellular automata |
0.0 | 1 | 1974 | Synchronization of Growing Cellular Arrays · Inf. Control. 1974 |
Parallel and multicore computing
parallel computing |
0.0 | 1 | 1974 | Synchronization of Growing Cellular Arrays · Inf. Control. 1974 |
Methods — techniques the papers use, named apart from their topics
weighted causal assertion · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | Exploitative and Exploratory Attention in a Four-Armed Bandit Task
Adrian Walker, Mike Le Pelley, Tom Beesley |
CogSci | 1 |
| 1995 | People Oriented Software Technology, and its Use in Environmental Reporting
Teresita Krueger, George Kurian, Anil Nair, Gustaf Neumann, Ulrich Neumerkel, Stefan Nusser, Peter B. Reintjes, Andrew Taylor, Daphne Tzoar, Adrian Walker |
DEXA | 10 |
| 1993 | Backchain Iteration: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete
Adrian Walker |
J. Autom. Reason. | 1 |
| 1983 | Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers
Adrian Walker |
IJCAI | 1 |
| 1980 | Max-Mim Chaining of Weighted Causal Assertions is Loop Free
S. W. Ng, Adrian Walker |
AAAI | 2 |
| 1980 | On Retrieval from a Small Version of a Large Data Base
Adrian Walker |
VLDB | 1 |
| 1978 | On the Inference of Stochastic Regular Grammars
Antony Van der Mude, Adrian Walker |
Inf. Control. | 2 |
| 1978 | Stable String Languages of Lindenmayer Systems
Paul M. B. Vitányi, Adrian Walker |
Inf. Control. | 2 |
| 1976 | On the Stability of some Biological Schemes with Cellular Interactions
Gabor T. Herman, Adrian Walker |
Theor. Comput. Sci. | 2 |
| 1975 | Formal Grammars and the Regeneration Capability of Biological Systems
Adrian Walker |
J. Comput. Syst. Sci. | 1 |
| 1974 | Synchronization of Growing Cellular Arrays
Gabor T. Herman, Wu-Hang Liu, Stuart W. Rowland, Adrian Walker |
Inf. Control. | 4 |