FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program