default search action
Jérôme Lang
Person information
- affiliation: Université Paris-Dauphine, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c155]Théo Delemazure, Jérôme Lang, Grzegorz Pierczynski:
Independence of Irrelevant Alternatives under the Lens of Pairwise Distortion. AAAI 2024: 9645-9652 - [c154]Neel Karia, Jérôme Lang:
Compiling the Votes of a Subelectorate for Multi-winner Voting Rules. ADT 2024: 18-32 - [c153]Lukasz Janeczko, Jérôme Lang, Grzegorz Lisowski, Stanislaw Szufa:
Discovering Consistent Subelections. AAMAS 2024: 935-943 - [i48]Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Reasoning About Action and Change. CoRR abs/2406.18930 (2024) - [i47]Florence Dupin de Saint-Cyr, Jérôme Lang:
Reasoning about unpredicted change and explicit time. CoRR abs/2407.06622 (2024) - [i46]Lukasz Janeczko, Jérôme Lang, Grzegorz Lisowski, Stanislaw Szufa:
Discovering Consistent Subelections. CoRR abs/2407.18767 (2024) - [i45]Zixu He, Sirin Botan, Jérôme Lang, Abdallah Saffidine, Florian Sikora, Silas Workman:
Fair Railway Network Design. CoRR abs/2409.02152 (2024) - 2023
- [j66]Stéphane Airiau, Haris Aziz, Ioannis Caragiannis, Justin Kruger, Jérôme Lang, Dominik Peters:
Portioning using ordinal preferences: Fairness and efficiency. Artif. Intell. 314: 103809 (2023) - [j65]Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez, Carlos Uzcátegui:
Morphologic for knowledge dynamics: revision, fusion and abduction. J. Appl. Non Class. Logics 33(3-4): 421-466 (2023) - [c152]Markus Brill, Hayrullah Dindar, Jonas Israel, Jérôme Lang, Jannik Peters, Ulrike Schmidt-Kraepelin:
Multiwinner Voting with Possibly Unavailable Candidates. AAAI 2023: 5532-5539 - [c151]Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski:
Fair Rent Division on a Budget Revisited. ECAI 2023: 52-59 - [c150]Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski:
Revisiter l'équité pour le partage de loyer avec budgets. JIAF 2023: 157-158 - [e13]Reyhan Aydogan, Natalia Criado, Jérôme Lang, Víctor Sánchez-Anguix, Marc Serramia:
PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings. Lecture Notes in Computer Science 13753, Springer 2023, ISBN 978-3-031-21202-4 [contents] - [i44]Sylvain Bouveret, Hugo Gilbert, Jérôme Lang, Guillaume Méroué:
Thou Shalt not Pick all Items if Thou are First: of Strategyproof and Fair Picking Sequences. CoRR abs/2301.06086 (2023) - 2022
- [j64]Manel Ayadi, Nahla Ben Amor, Jérôme Lang:
Approximating voting rules from truncated ballots. Auton. Agents Multi Agent Syst. 36(1): 24 (2022) - [j63]Isabelle Bloch, Jérôme Euzenat, Jérôme Lang, François Schwarzentruber:
Introduction (FR). Rev. Ouverte Intell. Artif. 3(3-4): 193-195 (2022) - [j62]Isabelle Bloch, Jérôme Euzenat, Jérôme Lang, François Schwarzentruber:
Introduction (EN). Rev. Ouverte Intell. Artif. 3(3-4): 197-199 (2022) - [c149]Tahar Allouche, Jérôme Lang, Florian Yger:
Truth-Tracking via Approval Voting: Size Matters. AAAI 2022: 4768-4775 - [c148]Jatin Jindal, Jérôme Lang, Katarína Cechlárová, Julien Lesca:
Selecting PhD Students and Projects with Limited Funding. AAMAS 2022: 687-695 - [c147]Théo Delemazure, Jérôme Lang, Jean-François Laslier, M. Remzi Sanver:
Approval with Runoff. IJCAI 2022: 230-236 - [c146]Virginie Do, Matthieu Hervouin, Jérôme Lang, Piotr Skowron:
Online Approval Committee Elections. IJCAI 2022: 251-257 - [c145]Tahar Allouche, Jérôme Lang, Florian Yger:
Multi-winner approval voting goes epistemic. UAI 2022: 75-84 - [e12]Jie Chen, Jérôme Lang, Christopher Amato, Dengji Zhao:
Distributed Artificial Intelligence - Third International Conference, DAI 2021, Shanghai, China, December 17-18, 2021, Proceedings. Lecture Notes in Computer Science 13170, Springer 2022, ISBN 978-3-030-94661-6 [contents] - [i43]Tahar Allouche, Jérôme Lang, Florian Yger:
Multi-winner Approval Voting Goes Epistemic. CoRR abs/2201.06655 (2022) - [i42]Virginie Do, Matthieu Hervouin, Jérôme Lang, Piotr Skowron:
Online Approval Committee Elections. CoRR abs/2202.06830 (2022) - [i41]Théo Delemazure, Jérôme Lang, Jean-François Laslier, M. Remzi Sanver:
Approval with Runoff. CoRR abs/2203.02343 (2022) - [i40]Ulysse Pavloff, Tristan Cazenave, Jérôme Lang:
Sequential Elimination Voting Games. CoRR abs/2210.08844 (2022) - [i39]Carlos Navarrete, Nicole Ferrada, Mariana Macedo, Rachael Colley, Jingling Zhang, Umberto Grandi, Jérôme Lang, César A. Hidalgo:
Understanding Political Agreements and Disagreements: Evidence from the 2022 French Presidential Election. CoRR abs/2211.04577 (2022) - 2021
- [c144]Reshef Meir, Jérôme Lang, Julien Lesca, Nicholas Mattei, Natan Kaminsky:
A Market-Inspired Bidding Scheme for Peer Review Paper Assignment. AAAI 2021: 4776-4784 - [c143]Neel Karia, Jérôme Lang:
Compilation Complexity of Multi-Winner Voting Rules (Student Abstract). AAAI 2021: 15809-15810 - [c142]Virginie Do, Jamal Atif, Jérôme Lang, Nicolas Usunier:
Online Selection of Diverse Committees. IJCAI 2021: 154-160 - [i38]Virginie Do, Jamal Atif, Jérôme Lang, Nicolas Usunier:
Online Selection of Diverse Committees. CoRR abs/2105.09295 (2021) - [i37]Linus Boes, Rachael Colley, Umberto Grandi, Jérôme Lang, Arianna Novaro:
Collective discrete optimisation as judgment aggregation. CoRR abs/2112.00574 (2021) - [i36]Tahar Allouche, Jérôme Lang, Florian Yger:
Truth-tracking via Approval Voting: Size Matters. CoRR abs/2112.04387 (2021) - 2020
- [j61]Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine, François Schwarzentruber:
Knowledge-based programs as succinct policies for partially observable domains. Artif. Intell. 288: 103365 (2020) - [j60]Anna Maria Kerkmann, Jérôme Lang, Anja Rey, Jörg Rothe, Hilmar Schadrack, Lena Schend:
Hedonic Games with Ordinal Preferences and Thresholds. J. Artif. Intell. Res. 67: 705-756 (2020) - [j59]Ulle Endriss, Ronald de Haan, Jérôme Lang, Marija Slavkovik:
The Complexity Landscape of Outcome Determination in Judgment Aggregation. J. Artif. Intell. Res. 69: 687-731 (2020) - [c141]Manel Ayadi, Nahla Ben Amor, Jérôme Lang:
Approximating Voting Rules from Truncated Ballots. EUMAS/AT 2020: 279-298 - [c140]Jérôme Lang:
Collective Decision Making under Incomplete Knowledge: Possible and Necessary Solutions. IJCAI 2020: 4885-4891 - [p7]Souhila Kaci, Jérôme Lang, Patrice Perny:
Compact Representation of Preferences. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 217-252 - [p6]Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Reasoning About Action and Change. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 487-518 - [p5]Sylvain Bouveret, Jérôme Lang, Michel Lemaître:
Collective Decision Making. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 587-627 - [e11]Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang:
ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Frontiers in Artificial Intelligence and Applications 325, IOS Press 2020, ISBN 978-1-64368-100-9 [contents] - [i35]Manel Ayadi, Nahla Ben Amor, Jérôme Lang:
Approximating Voting Rules from Truncated Ballots. CoRR abs/2002.06009 (2020)
2010 – 2019
- 2019
- [j58]Haris Aziz, Péter Biró, Jérôme Lang, Julien Lesca, Jérôme Monnot:
Efficient reallocation under additive and responsive preferences. Theor. Comput. Sci. 790: 1-15 (2019) - [c139]Manel Ayadi, Nahla Ben Amor, Jérôme Lang, Dominik Peters:
Single Transferable Vote: Incomplete Knowledge and Communication Issues. AAMAS 2019: 1288-1296 - [c138]Stéphane Airiau, Haris Aziz, Ioannis Caragiannis, Justin Kruger, Jérôme Lang, Dominik Peters:
Portioning Using Ordinal Preferences: Fairness and Efficiency. IJCAI 2019: 11-17 - 2018
- [j57]Jérôme Lang, Piotr Skowron:
Multi-attribute proportional representation. Artif. Intell. 263: 74-106 (2018) - [j56]Jérôme Lang, Jérôme Mengin, Lirong Xia:
Voting on multi-issue domains with conditionally lexicographic preferences. Artif. Intell. 265: 18-44 (2018) - [j55]Andreas Darmann, Edith Elkind, Sascha Kurz, Jérôme Lang, Joachim Schauer, Gerhard J. Woeginger:
Group activity selection problem with approval preferences. Int. J. Game Theory 47(3): 767-796 (2018) - [c137]Haris Aziz, Sylvain Bouveret, Ioannis Caragiannis, Ira Giagkousi, Jérôme Lang:
Knowledge, Fairness, and Social Constraints. AAAI 2018: 4638-4645 - [c136]Manel Ayadi, Nahla Ben Amor, Jérôme Lang:
The Communication Burden of Single Transferable Vote, in Practice. SAGT 2018: 251-255 - [e10]Jérôme Lang:
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. ijcai.org 2018, ISBN 978-0-9992411-2-7 [contents] - [i34]Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez, Carlos Uzcátegui:
Morphologic for knowledge dynamics: revision, fusion, abduction. CoRR abs/1802.05142 (2018) - [i33]Haris Aziz, Jérôme Lang, Jérôme Monnot:
Computing and Testing Pareto Optimal Committees. CoRR abs/1803.06644 (2018) - 2017
- [j54]Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen, Jörg Rothe, Abdallah Saffidine:
Positional scoring-based allocation of indivisible goods. Auton. Agents Multi Agent Syst. 31(3): 628-655 (2017) - [j53]Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leon van der Torre, Srdjan Vesic:
A partial taxonomy of judgment aggregation rules and their properties. Soc. Choice Welf. 48(2): 327-356 (2017) - [c135]Haris Aziz, Sylvain Bouveret, Jérôme Lang, Simon Mackenzie:
Complexity of Manipulating Sequential Allocation. AAAI 2017: 328-334 - [c134]Andreas Darmann, Janosch Döcker, Britta Dorn, Jérôme Lang, Sebastian Schneckenburger:
On Simplified Group Activity Selection. ADT 2017: 255-269 - [c133]Jérôme Lang, Jérôme Monnot, Arkadii Slinko, William S. Zwicker:
Beyond Electing and Ranking: Collective Dominating Chains, Dominating Subsets and Dichotomies. AAMAS 2017: 24-32 - [c132]Nathanaël Barrot, Jérôme Lang, Makoto Yokoo:
Manipulation of Hamming-based Approval Voting for Multiple Referenda and Committee Elections. AAMAS 2017: 597-605 - [c131]Sylvain Bouveret, Yann Chevaleyre, François Durand, Jérôme Lang:
Voting by sequential elimination with few voters. IJCAI 2017: 128-134 - [e9]Jérôme Lang:
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017. EPTCS 251, 2017 [contents] - 2016
- [j52]Piotr Skowron, Piotr Faliszewski, Jérôme Lang:
Finding a collective set of items: From proportional multirepresentation to group recommendation. Artif. Intell. 241: 191-216 (2016) - [c130]Jérôme Lang, Piotr Krzysztof Skowron:
Multi-Attribute Proportional Representation. AAAI 2016: 530-536 - [c129]Jérôme Lang, Marija Slavkovik, Srdjan Vesic:
Agenda Separability in Judgment Aggregation. AAAI 2016: 1016-1022 - [c128]Haris Aziz, Péter Biró, Jérôme Lang, Julien Lesca, Jérôme Monnot:
Optimal Reallocation under Additive and Ordinal Preferences. AAMAS 2016: 402-410 - [c127]Jérôme Lang:
Computational Social Choice. ICAART (1) 2016: 9 - [c126]Haris Aziz, Jérôme Lang, Jérôme Monnot:
Computing Pareto Optimal Committees. IJCAI 2016: 60-66 - [c125]Nathanaël Barrot, Jérôme Lang:
Conditional and Sequential Approval Voting on Combinatorial Domains. IJCAI 2016: 88-94 - [c124]Piotr Faliszewski, Laurent Gourvès, Jérôme Lang, Julien Lesca, Jérôme Monnot:
How Hard Is It for a Party to Nominate an Election Winner?. IJCAI 2016: 257-263 - [c123]Haris Aziz, Paul Harrenstein, Jérôme Lang, Michael J. Wooldridge:
Boolean Hedonic Games. KR 2016: 166-175 - [c122]Ulle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang:
Succinctness of Languages for Judgment Aggregation. KR 2016: 176-186 - [p4]Jérôme Lang, Jörg Rothe:
Fair Division of Indivisible Goods. Economics and Computation 2016: 493-550 - [e8]Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia:
Handbook of Computational Social Choice. Cambridge University Press 2016, ISBN 9781107446984 [contents] - [r2]Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia:
Introduction to Computational Social Choice. Handbook of Computational Social Choice 2016: 1-20 - [r1]Jérôme Lang, Lirong Xia:
Voting in Combinatorial Domains. Handbook of Computational Social Choice 2016: 197-222 - [i32]Haris Aziz, Sylvain Bouveret, Jérôme Lang, Simon Mackenzie:
Complexity of Manipulating Sequential Allocation. CoRR abs/1602.06940 (2016) - [i31]Haris Aziz, Péter Biró, Jérôme Lang, Julien Lesca, Jérôme Monnot:
Optimal Reallocation under Additive and Ordinal Preferences. CoRR abs/1604.01091 (2016) - [i30]Jérôme Lang, Marija Slavkovik, Srdjan Vesic:
Agenda Separability in Judgment Aggregation. CoRR abs/1604.06614 (2016) - [i29]Yonatan Aumann, Jérôme Lang, Ariel D. Procaccia:
Fair Division (Dagstuhl Seminar 16232). Dagstuhl Reports 6(6): 10-25 (2016) - 2015
- [j51]Robert Morris, Blai Bonet, Marc Cavazza, Marie desJardins, Ariel Felner, Nick Hawes, Brad Knox, Sven Koenig, George Dimitri Konidaris, Jérôme Lang, Carlos Linares López, Daniele Magazzeni, Amy McGovern, Sriraam Natarajan, Nathan R. Sturtevant, Michael Thielscher, William Yeoh, Sebastian Sardiña, Kiri Wagstaff:
A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AI Mag. 36(3): 99-106 (2015) - [j50]Haris Aziz, Markus Brill, Felix A. Fischer, Paul Harrenstein, Jérôme Lang, Hans Georg Seedig:
Possible and Necessary Winners of Partial Tournaments. J. Artif. Intell. Res. 54: 493-534 (2015) - [j49]James P. Delgrande, Jérôme Lang:
Guest Editors' Introduction. J. Philos. Log. 44(2): 111-115 (2015) - [j48]Nathanaël Barrot, Jérôme Lang, Bernard Ries:
Vote par approbation pour les élections à vainqueurs multiples. Une famille générale de règles, leur complexité algorithmique et leur manipulabilité. Rev. d'Intelligence Artif. 29(3-4): 265-291 (2015) - [j47]Edith Elkind, Jérôme Lang, Abdallah Saffidine:
Condorcet winning sets. Soc. Choice Welf. 44(3): 493-517 (2015) - [c121]Piotr Krzysztof Skowron, Piotr Faliszewski, Jérôme Lang:
Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation. AAAI 2015: 2131-2137 - [c120]Georgios Amanatidis, Nathanaël Barrot, Jérôme Lang, Evangelos Markakis, Bernard Ries:
Multiple Referenda and Multiwinner Elections Using Hamming Distances: Complexity and Manipulability. AAMAS 2015: 715-723 - [c119]Jérôme Lang, Anja Rey, Jörg Rothe, Hilmar Schadrack, Lena Schend:
Representing and Solving Hedonic Games with Ordinal Preferences and Thresholds. AAMAS 2015: 1229-1237 - [c118]Jérôme Lang:
Twenty-Five Years of Preferred Subtheories. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 157-172 - [c117]Jérôme Lang, Bruno Zanuttini:
Probabilistic Knowledge-Based Programs. IJCAI 2015: 1594-1600 - [c116]Gianluigi Greco, Jérôme Lang:
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability. IJCAI 2015: 3008-3014 - [c115]Jérôme Lang:
Algorithmic Decision Theory Meets Logic - - Invited Talk -. LPNMR 2015: 14-19 - [i28]Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre, Srdjan Vesic:
Majority-preserving judgment aggregation rules. CoRR abs/1502.05888 (2015) - [i27]Jérôme Lang, Piotr Skowron:
Multi-Attribute Proportional Representation. CoRR abs/1509.03389 (2015) - [i26]Haris Aziz, Paul Harrenstein, Jérôme Lang, Michael J. Wooldridge:
Boolean Hedonic Games. CoRR abs/1509.07062 (2015) - 2014
- [c114]Judy Goldsmith, Jérôme Lang, Nicholas Mattei, Patrice Perny:
Voting with Rank Dependent Scoring Rules. AAAI 2014: 698-704 - [c113]Craig Boutilier, Jérôme Lang, Joel Oren, Héctor Palacios:
Robust Winners and Winner Determination Policies under Candidate Uncertainty. AAAI 2014: 1391-1397 - [c112]Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen, Jörg Rothe:
Scoring Rules for the Allocation of Indivisible Goods. ECAI 2014: 75-80 - [c111]Sylvain Bouveret, Jérôme Lang:
Manipulating picking sequences. ECAI 2014: 141-146 - [c110]Jérôme Lang, Marija Slavkovik:
How Hard is it to Compute Majority-Preserving Judgment Aggregation Rules? ECAI 2014: 501-506 - [c109]Jérôme Lang, Marija Slavkovik, Srdjan Vesic:
A weakening of independence in judgment aggregation: agenda separability. ECAI 2014: 1055-1056 - [i25]Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson:
The Computational Complexity of Dominance and Consistency in CP-Nets. CoRR abs/1401.3453 (2014) - [i24]Andreas Darmann, Edith Elkind, Sascha Kurz, Jérôme Lang, Joachim Schauer, Gerhard J. Woeginger:
Group Activity Selection Problem. CoRR abs/1401.8151 (2014) - [i23]Piotr Skowron, Piotr Faliszewski, Jérôme Lang:
Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation. CoRR abs/1402.3044 (2014) - 2013
- [j46]Michael J. Wooldridge, Ulle Endriss, Sarit Kraus, Jérôme Lang:
Incentive engineering for Boolean games. Artif. Intell. 195: 418-439 (2013) - [j45]Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek, Jérôme Lang:
Introduction to the special issue. Int. J. Game Theory 42(3): 563-566 (2013) - [j44]Hans van Ditmarsch, Jérôme Lang:
Editorial introduction to the special issue LORI Guangzhou. Synth. 190(Supplement-1): 1-4 (2013) - [j43]Andreas Herzig, Jérôme Lang, Pierre Marquis:
Propositional Update Operators Based on Formula/Literal Dependence. ACM Trans. Comput. Log. 14(3): 24:1-24:31 (2013) - [c108]Nathanaël Barrot, Laurent Gourvès, Jérôme Lang, Jérôme Monnot, Bernard Ries:
Possible Winners in Approval Voting. ADT 2013: 57-70 - [c107]Jérôme Lang, Marija Slavkovik:
Judgment Aggregation Rules and Voting Rules. ADT 2013: 230-243 - [c106]Jérôme Lang, Nicolas Maudet, Maria Polukarov:
New Results on Equilibria in Strategic Candidacy. SAGT 2013: 13-25 - [c105]Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine:
Strategic voting and the logic of knowledge. TARK 2013 - [c104]Jérôme Lang, Bruno Zanuttini:
Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. TARK 2013 - [i22]Jérôme Lang, Philippe Muller:
Plausible reasoning from spatial observations. CoRR abs/1301.2285 (2013) - [i21]Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex:
A Constraint Satisfaction Approach to Decision under Uncertainty. CoRR abs/1302.4946 (2013) - [i20]Philippe Besnard, Jérôme Lang:
Possibility and Necessity Functions over Non-classical Logics. CoRR abs/1302.6788 (2013) - [i19]Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex:
Penalty logic and its Link with Dempster-Shafer Theory. CoRR abs/1302.6804 (2013) - [i18]Jérôme Lang:
Syntax-based Default Reasoning as Probabilistic Model-based Diagnosis. CoRR abs/1302.6827 (2013) - [i17]Dimiter Driankov, Jérôme Lang:
Possibilistic decreasing persistence. CoRR abs/1303.1510 (2013) - [i16]Jérôme Lang, Didier Dubois, Henri Prade:
A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency. CoRR abs/1303.5727 (2013) - [i15]