Conference proceedings and presentations by the Computer Science Department faculty members are collected here.

Follow

Submissions from 2016

PDF

Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter, Marcello Balduccini and Yuliya Lierler

Link

First-Order Modular Logic programs and their Conservative Extensions, Amelia Harrison and Yuliya Lierler

PDF

Constraint Answer Set Programming versus Satisfiability Modulo Theories, Yuliya Lierler and Benjamin Susman

PDF

A Dynamic Run-Profile Energy-Aware Approach for Scheduling Computationally Intensive Bioinformatics Applications, Sachin Pawaskar and Hesham Ali

PDF

SMT-based Constraint Answer Set Solver EZSMT (System Description), Benjamin Susman and Yuliya Lierler

Submissions from 2015

PDF

The Winograd Schema Challenge and Reasoning about Correlation, Dan Bailey, Amelia Harrison, Yuliya Lierler, Vladimir Lifschitz, and Julian Michael

PDF

Prepositional Phrase Attachment Problem Revisited: How VERBNET Can Help, Dan Bailey, Yuliya Lierler, and Benjamin Susman

PDF

Performance Tuning in Answer Set Programming, Matt Buddenhagen and Yuliya Lierler

PDF

Constraint CNF: a SAT and CSP Language Under One Roof, Broes De Cat and Yuliya Lierler

PDF

An Abstract View on Modularity in Knowledge Representation, Yuliya Lierler and Miroslaw Truszczyński

Submissions from 2014

PDF

Abstract Disjunctive Answer Set Solvers, Remi Brochenin, Yuliya Lierler, and Marco Maratea

PDF

Abstract Modular Inference Systems and Solvers, Yuliya Lierler and Miroslaw Truszczyński

Submissions from 2013

PDF

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration, Marcello Balduccini and Yuliya Lierler

PDF

Prolog and ASP Inference Under One Roof, Marcello Balduccini, Yuliya Lierler, and Peter Schüller

PDF

A Critique of “Gamification” in Khan Academy, Betsy DiSalvo and Briana B. Morrison

PDF

Logic Programs vs. First-Order Formulas in Textual Inference, Yuliya Lierler and Vladimir Lifschitz

PDF

Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming, Yuliya Lierler and Peter Schüller

PDF

Abstract Modular Systems and Solvers, Yuliya Lierler and Miroslaw Truszczyński

PDF

Modular Answer Set Solving, Yuliya Lierler and Miroslaw Truszczyński

PDF

Research Challenges and Opportunities in Knowledge Representation, Section 2.3.2: Applications based on formal models, Natasha Noy, Deborah McGuinness, and Yuliya Lierler

PDF

Research Challenges and Opportunities in Knowledge Representation, Section 2.4.2 Advances in satisfiability and answer set programming, Natasha Noy, Deborah McGuinness, and Yuliya Lierler

PDF

Research Challenges and Opportunities in Knowledge Representation, Section 4.1.1 Hybrid KR, Natasha Noy, Deborah McGuinness, and Yuliya Lierler

Submissions from 2012

PDF

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools, Marcello Balduccini and Yuliya Lierler

PDF

A Tarskian Informal Semantics for Answer Set Programming, Marc Denecker, Yuliya Lierler, Miroslaw Truszczyński, and Joost Vennekens

PDF

On the Relation of Constraint Answer Set Programming Languages and Algorithms, Yuliya Lierler

PDF

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving, Yuliya Lierler and Shaden Smith

PDF

Surviving Solver Sensitivity: An ASP Practitioner’s Guide, Bryan Silverthorn, Yuliya Lierler, and Marius Schneider

PDF

An Energy-Aware Bioinformatics Application for Assembling Short Reads in High Performance Computing Systems, Julia Warnke, Sachin Pawaskar, and Hesham Ali

Submissions from 2011

PDF

ASP-Based Problem Solving with Cutting-Edge Tools, Marcello Balduccini and Yuliya Lierler

PDF

Termination of Grounding is Not Preserved by Strongly Equivalent Transformations, Yuliya Lierler and Vladimir Lifschitz

PDF

Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report, Yuliya Lierler and Peter Schüller

PDF

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving, Yuliya Lierler, Shaden Smith, Miroslaw Truszczyński, and Alex Westlund

PDF

A transition system for AC language algorithms, Yuliya Lierler and Yaunlin Zhang

Submissions from 2010

PDF

Representing Synonymity in Causal Logic and in Logic Programming, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, and Fangkai Yang

PDF

A Dynamic Energy-Aware Model for Scheduling Computationally Intensive Bioinformatics Applications, Sachin Pawaskar and Hesham Ali

Submissions from 2009

PDF

One More Decidable Class of Finitely Ground Programs, Yuliya Lierler and Vladimir Lifschitz

Submissions from 2008

PDF

Abstract Answer Set Solvers, Yuliya Lierler

PDF

Dynamic Energy Aware Task Scheduling for Periodic Tasks using Expected Execution Time Feedback, Sachin Pawaskar and Hesham Ali

PDF

On the Tradeoff between Speedup and Energy Consumption in High Performance Computing – A Bioinformatics Case Study, Sachin Pawaskar and Hesham Ali

Submissions from 2007

PDF

Head-Elementary-Set-Free Logic Programs, Martin Gebser, Joohyung Lee, and Yuliya Lierler

PDF

Dynamic Energy Aware Task Scheduling using Run-Queue Peek, Sachin Pawaskar and Hesham Ali

Submissions from 2006

PDF

Elementary Sets for Logic Programs, Martin Gebser, Joohyung Lee, and Yuliya Lierler

PDF

Experiments with SAT-based Answer Set Programming, Enrico Giunchiglia, Yuliya Lierler, Marco Maratea, and A. Tacchella

PDF

Model Generation for Generalized Quantifiers via Answer Set Programming, Yuliya Lierler and Günther Görz

Submissions from 2005

PDF

Cmodels for Tight Disjunctive Logic Programs, Yuliya Lierler

PDF

CMODELS – SAT-based Disjunctive Answer Set Solver, Yuliya Lierler

PDF

Disjunctive Answer Set Programming via Satisfiability, Yuliya Lierler

Submissions from 2004

PDF

Automatic Compilation of Protocol Insecurity Problems into Logic Programming, Alessandro Armondo, Luca Compagna, and Yuliya Lierler

PDF

SAT-Based Answer Set Programming, Enrico Giunchiglia, Yuliya Lierler, and Marco Maratea

PDF

A SAT-Based Polynomial Space Algorithm for Answer Set Programming, Enrico Giunchiglia, Marco Maratea, and Yuliya Lierler

PDF

Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs, Yuliya Lierler and Marco Maratea

PDF

When Are Behaviour Networks Well-Behaved?, Bernhard Nebel and Yuliya Lierler

PDF

A Maximal Chain Approach for Scheduling Tasks in a Multiprocessor Systems, Sachin Pawaskar and Hesham Ali

Submissions from 2003

PDF

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates, Yuliya Lierler and Marco Maratea

PDF

Goal-Converging Behavior Networks and Self-Solving Planning Domains, Bernhard Nebel and Yuliya Lierler

Submissions from 2002

PDF

Ventures into Capturing Effort in Programming, Barbara Bernal-Thomas and Briana B. Morrison

Submissions from 2000

PDF

Fages' Theorem and Answer Set Programming, Yuliya Lierler, Esta Erdem, and Vladimir Lifschitz