output
20052022
most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2015Show all

3 papers · 1 filter

cs.CC2015★ 6 cited

Minimal Distance of Propositional Models

Mike Behrisch, Miki Hermann, Stefan Mengel +1

We investigate the complexity of three optimization problems in Boolean propositional logic related to information theory: Given a conjunctive formula over a set of relations, find…

cs.AI2015★ 7 cited

A partial taxonomy of judgment aggregation rules, and their properties

Jerôme Lang, Gabriella Pigozzi, Marija Slavkovik +2

The literature on judgment aggregation is moving from studying impossibility results regarding aggregation rules towards studying specific judgment aggregation rules. Here we give…

cs.LO2015★ 6 cited

The Logic of Counting Query Answers

Hubie Chen, Stefan Mengel

We consider the problem of counting the number of answers to a first-order formula on a finite structure. We present and study an extension of first-order logic in which algorithms…