FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program