ICLP-DC ICLP'18 DC Proceedings: Author Index

ICLP-DC ICLP'18 DC PROCEEDINGS: AUTHOR INDEX

Shortcuts: F G L M N O T W Y

F
Farka, Frantisek	Proof-relevant resolution for elaboration of programming languages (PDF, talk)
G
Gao, Tiantian	Knowledge Authoring and Question Answering via Controlled Natural Language (PDF, talk)
Gouveia, Filipe	Model Revision of Logical Regulatory Networks using Logic-based Tools (PDF, talk)
L
Leblanc, Emily	Explaining Actual Causation via Reasoning about Actions and Change (PDF, talk)
Lynce, Ines	Model Revision of Logical Regulatory Networks using Logic-based Tools (PDF, talk)
M
Mitra, Arindam	The Learning-Knowledge-Reasoning Paradigm For Natural Language Understanding and Question Answering (PDF, talk)
Monteiro, Pedro T.	Model Revision of Logical Regulatory Networks using Logic-based Tools (PDF, talk)
N
Nguyen, Van	Natural Language Generation From Ontologies (PDF, talk)
O
Obermeier, Philipp	Scalable Robotic Intra-Logistics with Answer Set Programming (PDF, talk)
T
Taupe, Richard	Speeding Up Lazy-Grounding Answer Set Solving (PDF, talk)
W
Wang, Yi	Probabilistic Action Language pBC+ (PDF, talk)
Y
Yang, Zhun	Translating P-log, LP^{MLN}, LPOD, and CR-Prolog2 into Standard Answer Set Programs (PDF, talk)