• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 486 matches

• 2024
• 
  Supun Abeysinghe, Tiark Rompf:
  Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. PADL 2024: 64-81
• 
  Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners:
  Marketplace Logistics via Answer Set Programming. PADL 2024: 54-63
• 
  Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
  Rethinking Answer Set Programming Templates. PADL 2024: 82-99
• 
  Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam:
  Asynchronous Reactive Programming with Modal Types in Haskell. PADL 2024: 18-36
• 
  Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger:
  Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. PADL 2024: 169-185
• 
  Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari:
  Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. PADL 2024: 1-17
• 
  Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca:
  A Direct ASP Encoding for Declare. PADL 2024: 116-133
• 
  Hasra Dodampegama, Mohan Sridharan:
  Explanation and Knowledge Acquisition in Ad Hoc Teamwork. PADL 2024: 186-203
• 
  Martin Mariusz Lester:
  Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. PADL 2024: 100-115
• 
  Parth Padalkar, Huaduo Wang, Gopal Gupta:
  Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. PADL 2024: 134-150
• 
  Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux:
  Hardware Implementation of OCaml Using a Synchronous Functional Language. PADL 2024: 151-168
• 
  Huaduo Wang, Gopal Gupta:
  FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. PADL 2024: 37-53
• 
  Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta:
  Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. PADL 2024: 204-222
• 2023
• 
  Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser:
  Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). PADL 2023: 85-95
• 
  Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  Multiple Query Satisfiability of Constrained Horn Clauses. PADL 2023: 125-143
• 
  Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
  Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). PADL 2023: 96-106
• 
  Birthe van den Berg, Tom Schrijvers, Peter Dedecker:
  sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). PADL 2023: 73-82
• 
  Linda Brodo, Roberto Bruni, Moreno Falaschi:
  Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. PADL 2023: 107-124
• 
  Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor:
  Formalizing and Reasoning About Supply Chain Contracts Between Agents. PADL 2023: 144-160
• 
  Misaki Kojima, Naoki Nishida:
  From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting. PADL 2023: 161-179
• 
  Steven Libby:
  RICE: An Optimizing Curry Compiler. PADL 2023: 3-19
• 
  Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker:
  SwitchLog: A Logic Programming Language for Network Switches. PADL 2023: 180-196
• 
  Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
  Program Synthesis Using Example Propagation. PADL 2023: 20-36
• 
  Kai-Oliver Prott, Finn Teegen, Jan Christiansen:
  Embedding Functional Logic Programming in Haskell via a Compiler Plugin. PADL 2023: 37-55
• 
  Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
  Linear Algebraic Abduction with Partial Evaluation. PADL 2023: 197-215
• 
  Haya Majid Qureshi, Wolfgang Faber:
  Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. PADL 2023: 216-231
• 
  Ana Carolina Silva, Manuel Barbosa, Mário Florido:
  Execution Time Program Verification with Tight Bounds. PADL 2023: 56-72
• 
  Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub:
  Solving Vehicle Equipment Specification Problems with Answer Set Programming. PADL 2023: 232-249
• 
  Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos:
  UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). PADL 2023: 250-260
• 
  Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta:
  Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. PADL 2023: 261-278

skipping 456 more matches