default search action
ICLP2019: Las Cruces, NM, USA - Technical Communications
- Bart Bogaerts
, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 - Falco Nogatz, Philipp Körner
Prolog Coding Guidelines: Status and Tool Support. 8-21 - Richard Taupe
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. 22-35 - João Barbosa
A Three-Valued Semantics for Typed Logic Programming. 36-51 - Michael Morak:
Epistemic Logic Programs: A Different World View. 52-64 - Sarthak Ghosh, C. R. Ramakrishnan:
Value of Information in Probabilistic Logic Programs. 71-84 - Craig Olson, Yuliya Lierler:
Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions. 87-100 - Adrien Husson, Jean Krivine:
A Tractable Logic for Molecular Biology. 101-113 - Bin Wang
On the Strong Equivalences of LPMLN Programs. 114-125 - Daniela Inclezan:
RestKB: A Library of Commonsense Knowledge about Dining at a Restaurant. 126-139 - David Spies, Jia-Huai You, Ryan Hayward:
Mutex Graphs and Multicliques: Reducing Grounding Size for Planning. 140-153 - Santiago Escobar
Most General Variant Unifiers. 154-167 - Mateusz Slazynski
Generating Local Search Neighborhood with Synthesized Logic Programs. 168-181 - Daoming Lyu
A Human-Centered Data-Driven Planner-Actor-Critic Architecture via Logic Programming. 182-195 - Joohyung Lee, Man Luo:
Strong Equivalence for LPMLN Programs. 196-209 - Vincent Barichard, Igor Stéphan:
Quantified Constraint Handling Rules. 210-223 - Paul Tarau, Jan Wielemaker, Tom Schrijvers
Lazy Stream Programming in Prolog. 224-237 - K. Tuncay Tekle, Yanhong A. Liu:
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees. 241-254 - Giacomo Da Col, Erich Teppan:
Google vs IBM: A Constraint Solving Challenge on the Job-Shop Scheduling Problem. 259-265 - Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez:
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. 266-272 - Ariyam Das, Youfu Li, Jin Wang, Mingda Li, Carlo Zaniolo:
BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion. 273-279 - Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
Natural Language Generation for Non-Expert Users. 280-294 - Tarek Khaled, Belaïd Benhamou:
An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks. 295-301 - Liu Liu, Miroslaw Truszczynski:
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP. 302-308 - Nicos Angelopoulos, Jan Wielemaker:
Advances in Big Data Bio Analytics. 309-322 - José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu:
An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider. 323-329 - Abeer Dyoub
Towards Ethical Machines Via Logic Programming. 333-339 - Valentina Pitoni, Stefania Costantini:
A Temporal Module for Logical Frameworks. 340-346 - Carmen Leticia García-Mata, Pedro Rafael Márquez-Gutiérrez:
Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations. 347-353 - Yusuf Izmirlioglu
Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming. 371-378 - Farhad Shakerin:
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models. 379-388 - Tiantian Gao:
KALM: A Rule-based Approach for Knowledge Authoring and Question Answering. 389-395 - Kinjal Basu:
Conversational AI : Open Domain Question Answering and Commonsense Reasoning. 396-402 - Francesco Fabiano
Design of a Solver for Multi-Agent Epistemic Planning. 403-412 - Sarat Chandra Varanasi:
Imperative Program Synthesis from Answer Set Programs. 413-417 - Francesco Pacenza
Reasoning in Highly Reactive Environments. 420-426 - Fabio Tardivo:
Experimenting with Constraint Programming on GPU. 427-432 - Mateusz Slazynski
Research Report on Automatic Synthesis of Local Search Neighborhood Operators. 433-440 - Marco De Bortoli:
Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring. 441-451 - Valentina Pitoni:
Memory Management in Resource-Bounded Agents. 452-460
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-18 00:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: