ICLP-DC ICLP'18 DC Proceedings: Keyword Index

ICLP-DC ICLP'18 DC PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Author Index Keyword Index

Shortcuts: A B C D E G H I K L M N O P Q R T W

A
action language	Probabilistic Action Language pBC+ (PDF, talk) Explaining Actual Causation via Reasoning about Actions and Change (PDF, talk)
Actual Cause	Explaining Actual Causation via Reasoning about Actions and Change (PDF, talk)
Answer Set Programming	Speeding Up Lazy-Grounding Answer Set Solving (PDF, talk) Model Revision of Logical Regulatory Networks using Logic-based Tools (PDF, talk) Explaining Actual Causation via Reasoning about Actions and Change (PDF, talk) Translating P-log, LP^{MLN}, LPOD, and CR-Prolog2 into Standard Answer Set Programs (PDF, talk) Scalable Robotic Intra-Logistics with Answer Set Programming (PDF, talk)
B
Boolean satisfiability	Model Revision of Logical Regulatory Networks using Logic-based Tools (PDF, talk)
C
Controlled Natural Language	Knowledge Authoring and Question Answering via Controlled Natural Language (PDF, talk)
CR-Prolog	Translating P-log, LP^{MLN}, LPOD, and CR-Prolog2 into Standard Answer Set Programs (PDF, talk)
D
dependent types	Proof-relevant resolution for elaboration of programming languages (PDF, talk)
E
elaboration	Proof-relevant resolution for elaboration of programming languages (PDF, talk)
explanation	Explaining Actual Causation via Reasoning about Actions and Change (PDF, talk)
G
Grammatical Framework	Natural Language Generation From Ontologies (PDF, talk)
H
heuristics	Speeding Up Lazy-Grounding Answer Set Solving (PDF, talk)
I
Inductive Logic Programming	The Learning-Knowledge-Reasoning Paradigm For Natural Language Understanding and Question Answering (PDF, talk)
K
Knowledge Acquisition	Knowledge Authoring and Question Answering via Controlled Natural Language (PDF, talk)
Knowledge Representation and Reasoning	Explaining Actual Causation via Reasoning about Actions and Change (PDF, talk) The Learning-Knowledge-Reasoning Paradigm For Natural Language Understanding and Question Answering (PDF, talk)
L
lazy grounding	Speeding Up Lazy-Grounding Answer Set Solving (PDF, talk)
Logic-based tools	Model Revision of Logical Regulatory Networks using Logic-based Tools (PDF, talk)
Logical Regulatory Networks	Model Revision of Logical Regulatory Networks using Logic-based Tools (PDF, talk)
Logistics	Scalable Robotic Intra-Logistics with Answer Set Programming (PDF, talk)
LPMLN	Probabilistic Action Language pBC+ (PDF, talk)
LPOD	Translating P-log, LP^{MLN}, LPOD, and CR-Prolog2 into Standard Answer Set Programs (PDF, talk)
M
Model Revision	Model Revision of Logical Regulatory Networks using Logic-based Tools (PDF, talk)
N
natural language understanding	The Learning-Knowledge-Reasoning Paradigm For Natural Language Understanding and Question Answering (PDF, talk)
O
Ontology	Natural Language Generation From Ontologies (PDF, talk)
P
Phylotastic	Natural Language Generation From Ontologies (PDF, talk)
Planning	Scalable Robotic Intra-Logistics with Answer Set Programming (PDF, talk)
preference	Translating P-log, LP^{MLN}, LPOD, and CR-Prolog2 into Standard Answer Set Programs (PDF, talk)
probabilistic reasoning	Probabilistic Action Language pBC+ (PDF, talk)
proof-relevant	Proof-relevant resolution for elaboration of programming languages (PDF, talk)
Q
Question Answering	Knowledge Authoring and Question Answering via Controlled Natural Language (PDF, talk) The Learning-Knowledge-Reasoning Paradigm For Natural Language Understanding and Question Answering (PDF, talk)
R
Reasoning about Actions and Change	Explaining Actual Causation via Reasoning about Actions and Change (PDF, talk)
Resolution	Proof-relevant resolution for elaboration of programming languages (PDF, talk)
T
type classes	Proof-relevant resolution for elaboration of programming languages (PDF, talk)
W
Web Service Composition	Natural Language Generation From Ontologies (PDF, talk)