Alex Brik
Research Areas
Authored Publications
Sort By
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: 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
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
