Skip to main content
University of Nebraska Omaha logo University of Nebraska Omaha
APPLY MY UNO DIRECTORY

Students Faculty Staff Community
University of Nebraska Omaha logo
College of Information Science & Technology NLPKR Lab
APPLY MY UNO DIRECTORY
Students Faculty Staff Community
  • Research Backback to Main menu
    • Research Projects
    • Verifying ASP
    • Optimizations in ASP
  • Publications Backback to Main menu
    • Lierler, DBLP
    • Fandinno, DBLP
  • Software Backback to Main menu
    • Anthem-P2P
    • AspCCGtk
    • Cmodels
    • Cmodels-Diff
    • DualGrounder
    • EZSMT
    • PPattach
    • PREDICTOR
    • PROJECTOR
    • Sup
    • Text2ALM
    • Text2Drs
  • Teaching
  • Members

PREDICTOR

  1. UNO
  2. NLPKR Lab
  3. Software
  4. PREDICTOR

PREDICTOR is a system capable of estimating the grounding size (number of ground rules in the grounded program) for non-ground answer set programs. It performs a statistical analysis programs to make inferences. Its ideas stem from estimates used in join-order query optimization for relational databases.

PREDICTOR version 1.0.0 is available for download here (under MIT license):

Download

PREDICTOR has been incorporated into two ASP rewriting tools, namely, PROJECTOR and LPOPT:

Download PROJECTOR+PREDICTOR

Download LPOPT+PREDICTOR

Theoretical and practical groundings for PREDICTOR can be found in:

  • Grounding Size Predictions for Answer Set Programs (link), Nicholas Hippen, Master Thesis, University of Nebraska Omaha (2019)
  • Estimating Grounding Sizes of Logic Programs under Answer Set Semantics (link), Nicholas Hipen and Yuliya Lierler, JELIA (2021)
  • System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics (link), Daniel Bresnahan, Nicholas Hipen and Yuliya Lierler, technical report (2022)

Comments, questions, and/or bugs can be reported to Nicholas Hippen and Yuliya Lierler.

Contact Us

  • Yuliya Lierler: ylierler@unomaha.edu

College of Information Science & Technology

Contact Us
  • College of Information Science & Technology
  • 172 Peter Kiewit Institute
  • 1110 South 67th Street
  • Omaha, NE 68182   map
  • 402.554.2380
  • Contact Us
Social media
College Resources
  • Advising
  • Jobs and Internships
  • Research
  • News and Events
  • IS&T Technology Systems and Facilities
Peter Kiewit Institute

Next Steps

  • Visit UNO
  • Request Information
  • Apply for Admission
  • The UNO Advantage
  • Our City (Omaha)

Just For You

  • Future Students
  • Current Students
  • Work at UNO
  • Faculty and Staff
  • A-Z List

Popular Services and Resources

  • my.unomaha.edu
  • Academic Calendar
  • Campus Buildings & Maps
  • Library
  • Pay Your Bill
  • Course Catalogs
  • Internships & Career Development
  • The Maverick Store
  • MavCARD Services
  • Military-Connected Resource Center
  • Speech Center
  • Writing Center
  • Human Resources
  • Center for Faculty Excellence

Affiliates

  • University of Nebraska System
  • NU Foundation
  • Buffett Early Childhood Institute
  • Daugherty Water for Food Institute
  • National Strategic Research Institute
  • Peter Kiewit Institute
  • Rural Prosperity Nebraska
  1. University Policies
  2. Privacy Statement
  3. Accessibility
  1. 402.554.2800

University of Nebraska Omaha
University of Nebraska Omaha, 6001 Dodge Street, Omaha, NE, 68182
  • ©  
  • Emergency Information Alert
  • MavsReport

Social Media


Omaha Skyline

Our Campus. Otherwise Known as Omaha.

The University of Nebraska does not discriminate based on race, color, ethnicity, national origin, sex, pregnancy, sexual orientation, gender identity, religion, disability, age, genetic information, veteran status, marital status, and/or political affiliation in its education programs or activities, including admissions and employment. The University prohibits any form of retaliation taken against anyone for reporting discrimination, harassment, or retaliation for otherwise engaging in protected activity. Read the full statement.