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

Tools and Methodologies for Verifying Answer Set Programs

  1. UNO
  2. NLPKR Lab
  3. Research Projects & Publications
  4. Tools and Methodologies for Verifying Answer Set Programs

Members

University of Nebraska Omaha (UNO)

  • Dr. Yuliya Lierler
  • Dr. Jorge Fandinno
  • Zachary Hansen

Collaborators

  • Dr. Vladimir Lifschitz, UT Austin
  • Dr. Torsten Schaub, University of Potsdam
  • Tobias Stolzmann, University of Potsdam
  • Nathan Temple, UT Austin

Table of Contents

  • 1 Project Summary
  • 2 Software
  • 3 Publications
  • 4 Presentations

Project Summary

This project encompasses a number of research ventures falling under the umbrella topic of formal verification of answer set programs. These can be roughly divided into three interrelated categories. The first is the task of developing semantics for advanced ASP language constructs (aggregates and conditional literals) that do not refer to grounding. This allows ASP practitioners to reason formally about the correctness of their programs without reference to a particular input. The second category seeks to enhance modularity in Answer Set programs. From a formal verification perspective, it is desirable to reason about program components in isolation. This allows proofs of correctness for sub-programs to be recycled, and simplifies the task of verifying extended programs. Finally, the ability to automatically verify programs will make widespread adoption of formal methods for ASP development much more palatable. Details of our progress in this direction can be found on the Anthem-P2P software system linked below.

This work was partially supported by the Research Development Program (Fall 2020) from the Office of Research and Creative Activity (UNO).

Software

  • Anthem-P2P

Publications

  • External Behavior of a Logic Program and Verification of Refactoring - Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, and Nathan Temple - ICLP - 2023
  • Arguing Correctness of ASP Programs with Aggregates - Jorge Fandinno, Zachary Hansen and Yuliya Lierler - LPNMR - 2022
  • Semantics for Conditional Literals via the SM Operator - Zachary Hansen and Yuliya Lierler - LPNMR - 2022
  • Axiomatization of Aggregates in Answer Set Programming - Jorge Fandinno, Zach Hansen and Yuliya Lierler - AAAI - 2022

Presentations

  • Semantics for Conditional Literals via the SM Operator - Zach Hansen - LPNMR - 2022
  • Arguing Correctness of ASP Programs with Aggregates - Zach Hansen - LPNMR - 2022
  • Tools and Methodologies for Verifying Answer Set Programs - Zach Hansen - ICLP - 2022
  • Axiomatization of Aggregates In Answer Set Programs - Zach Hansen - AAAI - 2022

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.