Skip to main navigation
Skip to search
Skip to main content
University of Kentucky Home
LOGIN & Help
Link opens in a new tab
English
EspaƱol
Search content at University of Kentucky
Home
Research units
Researchers
Projects & Grants
Research Output
Facilities & Equipment
Honors & Awards
Activities
Nonmonotonic Reasoning and Computational Knowledge Representation
Truszczynski, Miroslaw
(PI)
Finkel, Raphael
(CoI)
Marek, Victor
(CoI)
Computer Science
Overview
Fingerprint
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Answer Set Programming
100%
Single Solution
20%
Variable Substitution
20%
Artificial Intelligence
20%
Logic Programming
20%
Proof Technique
20%
Nonmonotonic Formalism
20%
Programming Paradigm
20%
Background Knowledge
20%
Proof
20%
Syntactics
20%