VLDB 2026 Research / reviewers in the wild / expert
G. Neelakantan Kartha
dblp:33/1658
· DBLP profile ↗
6ranked-venue papers
5as first author
0since 2021 · last 2001
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 6 · 5 first-authorGraphics, computer vision, multimedia, augmented reality and games · 3 · 3 first-authorTheory of computation · 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
6 papers |
Knowledge representation and reasoning · 94% Planning, search and constraint satisfaction · 6% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% |
Topics — the 12 heaviest of 13, 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
circumscription |
0.0 | 2 | 2001 | A Circumscriptive Formalization of the Qualification Problem · IJCAI 2001 A Simple Formalization of Actions Using Circumscription · IJCAI 1995 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
nonmonotonic reasoning |
0.0 | 2 | 2001 | A Circumscriptive Formalization of the Qualification Problem · IJCAI 2001 A Simple Formalization of Actions Using Circumscription · IJCAI 1995 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › nonmonotonic reasoning
qualification problem |
0.0 | 1 | 2001 | A Circumscriptive Formalization of the Qualification Problem · IJCAI 2001 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change › reasoning about actions
formalization of action |
0.0 | 2 | 1995 | A Simple Formalization of Actions Using Circumscription · IJCAI 1995 Soundness and Completeness Theorems for Three Formalizations of Action · IJCAI 1993 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
action representation |
0.0 | 1 | 1997 | Representing Action: Indeterminacy and Ramifications · Artif. Intell. 1997 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
action theories |
0.0 | 1 | 1994 | Actions with Indirect Effects (Preliminary Report) · KR 1994 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
frame problem |
0.0 | 1 | 1994 | Two Counterexamples Related to Baker's Approach to the Frame Problem · Artif. Intell. 1994 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › planning
indirect effects |
0.0 | 1 | 1994 | Actions with Indirect Effects (Preliminary Report) · KR 1994 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
reasoning about action and change |
0.0 | 1 | 1993 | Soundness and Completeness Theorems for Three Formalizations of Action · IJCAI 1993 |
Logic in computer science
proof theory |
0.0 | 1 | 1993 | Soundness and Completeness Theorems for Three Formalizations of Action · IJCAI 1993 |
Logic in computer science › proof theory
soundness and completeness |
0.0 | 1 | 1993 | Soundness and Completeness Theorems for Three Formalizations of Action · IJCAI 1993 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning |
0.0 | 1 | 1997 | Representing Action: Indeterminacy and Ramifications · Artif. Intell. 1997 |
Methods — techniques the papers use, named apart from their topics
circumscription · 0.0situation calculus · 0.0nonmonotonic reasoning · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2001 | A Circumscriptive Formalization of the Qualification Problem
G. Neelakantan Kartha |
IJCAI | 1 |
| 1997 | Representing Action: Indeterminacy and Ramifications
Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz |
Artif. Intell. | 2 |
| 1995 | A Simple Formalization of Actions Using Circumscription
G. Neelakantan Kartha, Vladimir Lifschitz |
IJCAI | 1 |
| 1994 | Actions with Indirect Effects (Preliminary Report)
G. Neelakantan Kartha, Vladimir Lifschitz |
KR | 1 |
| 1994 | Two Counterexamples Related to Baker's Approach to the Frame Problem
G. Neelakantan Kartha |
Artif. Intell. | 1 |
| 1993 | Soundness and Completeness Theorems for Three Formalizations of Action
G. Neelakantan Kartha |
IJCAI | 1 |