default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICLP2019: Las Cruces, NM, USA - Technical Communications
- Bart Bogaerts
, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang:
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, Sebastian Krings:
Prolog Coding Guidelines: Status and Tool Support. 8-21 - Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich:
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. 22-35 - João Barbosa, Mário Florido, Vítor Santos Costa:
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, Jun Shen, Shutao Zhang, Zhizheng Zhang:
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, Julia Sapiña:
Most General Variant Unifiers. 154-167 - Mateusz Slazynski, Salvador Abreu, Grzegorz J. Nalepa:
Generating Local Search Neighborhood with Synthesized Logic Programs. 168-181 - Daoming Lyu, Fangkai Yang, Bo Liu, Steven Gustafson:
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, Stefania Costantini, Francesca A. Lisi:
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-05-02 23:40 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:
