Alex Brik

Research Areas

Authored Publications
Google Publications
Other Publications
Sort By
  • Title
  • Title, descending
  • Year
  • Year, descending
    Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report
    Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, Springer International Publishing (to appear)
    Preview abstract In this paper we describe out work on automating diagnosing failures of data processing pipelines at Google Inc. using action language Hybrid ALE. We describe Diagnostic Modeling Library - a component providing a novel abstraction layer on top of Hybrid ALE, describe the requirements and give an overview of our system. View details
    Splitting a Hybrid ASP Program
    Open Publishing Association, pp. 21-34
    Preview abstract Hybrid Answer Set Programming (H-ASP) is an extension of Answer Set Programming (ASP) that allows ASP-like rules to interact with outside sources. The Splitting Set Theorem is an important and extensively used result for ASP. The paper introduce the Splitting Set Theorem for Hybrid ASP, which is for H-ASP the equivalent of the Splitting Set Theorem, and shows how it can be applied to simplify computing answer sets for H-ASP programs most relevant for practical applications. View details
    Diagnosing Data Pipeline Failures Using Action Languages
    Jori Bomanson
    Springer International Publishing(2019), pp. 181-194
    Preview abstract This paper discusses diagnosing industrial data processing pipelines using action languages. Solving the problem requires mechanisms for reasoning about actions, their effects and mechanisms for accessing outside data source. To satisfy these requirements, we introduce an action language, Hybrid ALE that combines elements of the action language Hybrid AL and the action language CTAID. We discuss some of the practical aspects of implementing Hybrid ALE and describe an example of its use. View details
    Action Language Hybrid AL
    Jeffrey Remmel
    Logic Programming and Nonmonotonic Reasoning, LPNMR, 14th International Conference, 2017
    Preview abstract This paper introduces Hybrid AL, an extension of the action language AL that allows to reason about actions and their consequences for the domains where such consequences can be described practically only as results of the computations by exetrnal algorithms. While the semantics of the action language AL is defined using ASP, the semantics of the action language Hybrid AL is defined using Hybrid ASP - an extension of ASP allowing rules to control sequential processing of arbitrary binary data by external algorithms. View details
    Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
    Jeffrey Remmel
    Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, Lexington, September 27-30, 2015. Proceedings., Springer International Publishing AG, Gewerbestrasse 11, CH-6330 Cham (ZG), Switzerland, t.b.d.
    Preview abstract Hybrid ASP (H-ASP) is an extension of ASP that allows users to combine ASP type rules and numerical algorithms. Dynamic Remarketing Ads is Google’s platform for serving customized ads based on past interactions with a user. In this paper we will describe the use of H-ASP to diagnose failures of the automatic whitelisting system for Dynamic Remarketing Ads. We will show that the diagnosing task is an instance of a computational pattern that we call the Branching Computational Pattern (BCP). We will then describe a Python H-ASP library (H-ASP PL) that allows to perform computations using a BCP, and we will describe a H-ASP PL program that solves the diagnosing problem. View details
    No Results Found