Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP (Englisch)
- Neue Suche nach: Brik, Alex
- Neue Suche nach: Remmel, Jeffrey
- Neue Suche nach: Calimeri, Francesco
- Weitere Informationen zu Calimeri, Francesco:
- https://orcid.org/https://orcid.org/0000-0002-0866-0834
- Neue Suche nach: Ianni, Giovambattista
- Neue Suche nach: Truszczynski, Miroslaw
- Neue Suche nach: Brik, Alex
- Neue Suche nach: Remmel, Jeffrey
In:
Logic Programming and Nonmonotonic Reasoning
: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
;
Kapitel: 16
;
173-185
;
2015
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Calimeri, Francesco ( Herausgeber:in ) / Ianni, Giovambattista ( Herausgeber:in ) / Truszczynski, Miroslaw ( Herausgeber:in ) / Brik, Alex ( Autor:in ) / Remmel, Jeffrey ( Autor:in )
-
Kongress:International Conference on Logic Programming and Nonmonotonic Reasoning ; 2015 ; Lexington, KY, USA
-
Erschienen in:Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings ; Kapitel: 16 ; 173-185Lecture Notes in Computer Science ; 9345 ; 173-185Lecture Notes in Artificial Intelligence ; 173-185
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:15.09.2015
-
Format / Umfang:13 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Stable Models for Temporal TheoriesCabalar, Pedro et al. | 2015
- 2
-
Algorithmic Decision Theory Meets LogicLang, Jérôme et al. | 2015
- 3
-
Relational and Semantic Data MiningLavrač, Nada / Vavpetič, Anže et al. | 2015
- 4
-
Shift Design with Answer Set ProgrammingAbseher, Michael / Gebser, Martin / Musliu, Nysret / Schaub, Torsten / Woltran, Stefan et al. | 2015
- 5
-
Advances in WASPAlviano, Mario / Dodaro, Carmine / Leone, Nicola / Ricca, Francesco et al. | 2015
- 6
-
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific HeuristicsAndres, Benjamin / Biewer, Alexander / Romero, Javier / Haubelt, Christian / Schaub, Torsten et al. | 2015
- 7
-
Integrating ASP into ROS for Reasoning in RobotsAndres, Benjamin / Rajaratnam, David / Sabuncu, Orkunt / Schaub, Torsten et al. | 2015
- 8
-
Automated Inference of Rules with Exception from Past Legal Cases Using ASPAthakravi, Duangtida / Satoh, Ken / Law, Mark / Broda, Krysia / Russo, Alessandra et al. | 2015
- 9
-
Online Action Language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$o\mathcal {BC}$$\end{document}+Babb, Joseph / Lee, Joohyung et al. | 2015
- 10
-
aspartame: Solving Constraint Satisfaction Problems with Answer Set ProgrammingBanbara, Mutsunori / Gebser, Martin / Inoue, Katsumi / Ostrowski, Max / Peano, Andrea / Schaub, Torsten / Soh, Takehide / Tamura, Naoyuki / Weise, Matthias et al. | 2015
- 11
-
“Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure AnalysisBaral, Chitta / Son, Tran Cao et al. | 2015
- 12
-
A Theory of Intentions for Intelligent AgentsBlount, Justin / Gelfond, Michael / Balduccini, Marcello et al. | 2015
- 13
-
Answer Set Programming Modulo AcyclicityBomanson, Jori / Gebser, Martin / Janhunen, Tomi / Kaufmann, Benjamin / Schaub, Torsten et al. | 2015
- 14
-
A Framework for Goal-Directed Query Evaluation with NegationBrass, Stefan et al. | 2015
- 15
-
Implementing Preferences with asprinBrewka, Gerhard / Delgrande, James / Romero, Javier / Schaub, Torsten et al. | 2015
- 16
-
Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASPBrik, Alex / Remmel, Jeffrey et al. | 2015
- 17
-
Performance Tuning in Answer Set ProgrammingBuddenhagen, Matthew / Lierler, Yuliya et al. | 2015
- 18
-
Enablers and Inhibitors in Causal Justifications of Logic ProgramsCabalar, Pedro / Fandinno, Jorge et al. | 2015
- 19
-
Efficient Problem Solving on Tree Decompositions Using Binary Decision DiagramsCharwat, Günther / Woltran, Stefan et al. | 2015
- 20
-
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous EnvironmentsCostantini, Stefania et al. | 2015
- 21
-
Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation HypothesesCostantini, Stefania / De Gasperis, Giovanni / Olivieri, Raffaele et al. | 2015
- 22
-
A Formal Theory of JustificationsDenecker, Marc / Brewka, Gerhard / Strass, Hannes et al. | 2015
- 23
-
A New Computational Logic Approach to Reason with ConditionalsDietz, Emmanuelle-Anna / Hölldobler, Steffen et al. | 2015
- 24
-
Interactive Debugging of Non-ground ASP ProgramsDodaro, Carmine / Gasteiger, Philip / Musitsch, Benjamin / Ricca, Francesco / Shchekotykhin, Kostyantyn et al. | 2015
- 25
-
Linking Open-World Knowledge Bases Using Nonmonotonic RulesEiter, Thomas / Šimkus, Mantas et al. | 2015
- 26
-
ASP, Amalgamation, and the Conceptual Blending WorkflowEppe, Manfred / Maclean, Ewen / Confalonieri, Roberto / Kutz, Oliver / Schorlemmer, Marco / Plaza, Enric et al. | 2015
- 27
-
Diagnostic Reasoning for Robotics Using Action LanguagesErdem, Esra / Patoglu, Volkan / Saribatur, Zeynep Gozen et al. | 2015
- 28
-
OOASP: Connecting Object-Oriented and Logic ProgrammingFalkner, Andreas / Ryabokon, Anna / Schenner, Gottfried / Shchekotykhin, Kostyantyn et al. | 2015
- 29
-
Reasoning with Forest Logic Programs Using Fully Enriched AutomataFeier, Cristina / Eiter, Thomas et al. | 2015
- 30
-
ASP Solving for Expanding UniversesGebser, Martin / Janhunen, Tomi / Jost, Holger / Kaminski, Roland / Schaub, Torsten et al. | 2015
- 31
-
Progress in clasp Series 3Gebser, Martin / Kaminski, Roland / Kaufmann, Benjamin / Romero, Javier / Schaub, Torsten et al. | 2015
- 32
-
Combining Heuristics for Configuration Problems Using Answer Set ProgrammingGebser, Martin / Ryabokon, Anna / Schenner, Gottfried et al. | 2015
- 33
-
Infinitary Equilibrium Logic and Strong EquivalenceHarrison, Amelia / Lifschitz, Vladimir / Pearce, David / Valverde, Agustín et al. | 2015
- 34
-
On the Relationship Between Two Modular Action Languages: A Translation from MAD into \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {ALM}$$\end{document}Inclezan, Daniela et al. | 2015
- 35
-
Compacting Boolean Formulae for Inference in Probabilistic Logic ProgrammingMantadelis, Theofrastos / Shterionov, Dimitar / Janssens, Gerda et al. | 2015
- 36
-
Multi-level Algorithm Selection for ASPMaratea, Marco / Pulina, Luca / Ricca, Francesco et al. | 2015
- 37
-
Clause-Learning for Modular SystemsMitchell, David / Ternovska, Eugenia et al. | 2015
- 38
-
Solving Disjunctive Fuzzy Answer Set ProgramsMushthofa, Mushthofa / Schockaert, Steven / De Cock, Martine et al. | 2015
- 39
-
Characterising and Explaining Inconsistency in Logic ProgramsSchulz, Claudia / Satoh, Ken / Toni, Francesca et al. | 2015
- 40
-
An Implementation of Consistency-Based Multi-agent Belief Change Using ASPVicol, Paul / Delgrande, James / Schaub, Torsten et al. | 2015
- 41
-
ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo TheoriesWałęga, Przemysław Andrzej / Bhatt, Mehul / Schultz, Carl et al. | 2015
- 42
-
Mobile Robot Planning Using Action Language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {BC}}$$\end{document} with an Abstraction HierarchyZhang, Shiqi / Yang, Fangkai / Khandelwal, Piyush / Stone, Peter et al. | 2015
- 43
-
Logic Programming with Graded ModalityZhang, Zhizheng / Zhang, Shutao et al. | 2015
- 44
-
The Design of the Sixth Answer Set Programming CompetitionGebser, Martin / Maratea, Marco / Ricca, Francesco et al. | 2015
- 45
-
Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction LogicBasseda, Reza et al. | 2015
- 46
-
Doctoral Consortium Extended Abstract: Multi-context Systems with PreferencesLe, Tiep et al. | 2015
- 47
-
Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data AccessLupp, Daniel P. et al. | 2015
- 48
-
Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial ReasoningWałęga, Przemysław Andrzej et al. | 2015