Demo Data from VLDB 2026 / reviewers in the wild / expert
Pawel Cholewinski
dblp:61/5821
· DBLP profile ↗
5ranked-venue papers
5as first author
0since 2021 · last 1999
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 4 · 4 first-authorTheory of computation · 3 · 3 first-authorSoftware engineering, systems software and programming languages · 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
2 papers |
Automated reasoning and model checking · 72% Logic in computer science · 28% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
nonmonotonic reasoning |
0.0 | 2 | 1999 | Computing with Default Logic · Artif. Intell. 1999 Default Reasoning System DeReS · KR 1996 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › nonmonotonic reasoning
default logic |
0.0 | 1 | 1999 | Computing with Default Logic · Artif. Intell. 1999 |
Automated reasoning and model checking
automated reasoning |
0.0 | 1 | 1999 | Computing with Default Logic · Artif. Intell. 1999 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › nonmonotonic reasoning
default reasoning |
0.0 | 1 | 1996 | Default Reasoning System DeReS · KR 1996 |
Logic in computer science › nonmonotonic reasoning
default reasoning |
0.0 | 1 | 1996 | Default Reasoning System DeReS · KR 1996 |
Automated reasoning and model checking
theorem proving |
0.0 | 1 | 1996 | Default Reasoning System DeReS · KR 1996 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1999 | Computing with Default Logic
Pawel Cholewinski, Victor W. Marek, Miroslaw Truszczynski, Artur Mikitiuk |
Artif. Intell. | 1 |
| 1996 | Towards Programming in Default Logic
Pawel Cholewinski |
ISMIS | 1 |
| 1996 | Default Reasoning System DeReS
Pawel Cholewinski, Victor W. Marek, Miroslaw Truszczynski |
KR | 1 |
| 1995 | Experimenting with Nonmonotonic Reasoning
Pawel Cholewinski, Victor W. Marek, Artur Mikitiuk, Miroslaw Truszczynski |
ICLP | 1 |
| 1995 | Reasoning with Stratified Default Theories
Pawel Cholewinski |
LPNMR | 1 |