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

Norman McCain

dblp:09/741 · DBLP profile ↗
← Back
5ranked-venue papers
3as 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 · 4 · 2 first-authorTheory of computation · 3 · 2 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 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
3 papers
Knowledge representation and reasoning · 88% Planning, search and constraint satisfaction · 12%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › causal reasoning
causal theories
0.122004
Nonmonotonic causal theories · Artif. Intell. 2004
Satisfiability planning with Causal Theories · KR 1998
Knowledge, reasoning and agents › Knowledge representation and reasoning
nonmonotonic reasoning
0.012004
Nonmonotonic causal theories · Artif. Intell. 2004
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › classical planning
SAT-based planning
0.011998
Satisfiability planning with Causal Theories · KR 1998
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning
0.012004
Nonmonotonic causal theories · Artif. Intell. 2004
Knowledge, reasoning and agents › Knowledge representation and reasoning
causal reasoning
0.011995
A Causal Theory of Ramifications and Qualifications · IJCAI 1995
Knowledge, reasoning and agents › Knowledge representation and reasoning
reasoning about action and change
0.011995
A Causal Theory of Ramifications and Qualifications · IJCAI 1995

Methods — techniques the papers use, named apart from their topics

fixpoint semantics · 0.0causal logic · 0.0satisfiability · 0.0causal theory · 0.0causal reasoning · 0.0
YearPublicationVenuePosition
2004 Nonmonotonic causal theories
Enrico Giunchiglia, Joohyung Lee 0002, Vladimir Lifschitz, Norman McCain, Hudson Turner
Artif. Intell.4
1998 Satisfiability planning with Causal Theories
Norman McCain, Hudson Turner
KR1
1995 A Causal Theory of Ramifications and Qualifications
Norman McCain, Hudson Turner
IJCAI1
1995 Loop Checking and the Wll-Founded Semantics
Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk
LPNMR2
1994 Language Independence and Language Tolerance in Logic Programs
Norman McCain, Hudson Turner
ICLP1