Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A B C D E I L N P S T W

A
Aggregative cumulativity
Answer Set Programming	The Logic of Silence in Testimonies
Automated reasoning	\AA qvist's Dyadic Deontic Logic {\bf E} in HOL
B
Big Data	Legal Reasoning and Big Data: Opportunities and Challenges
C
catchphrase generation	Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
CEN MetaLex	Nomothesia: A Linked Data Platform for Greek Legislation
Classical higher-order logic	\AA qvist's Dyadic Deontic Logic {\bf E} in HOL
convolutional neural networks	Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
D
Defeasible Reasoning	A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Dyadic deontic logic E	\AA qvist's Dyadic Deontic Logic {\bf E} in HOL
E
European Legislation Identifier	Nomothesia: A Linked Data Platform for Greek Legislation
I
Inference Proof	A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Input-output logics
intention	The Logic of Silence in Testimonies
L
Large-Scale Reasoning	Legal Reasoning and Big Data: Opportunities and Challenges
legal case documents	Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks
Legal Documents	Nomothesia: A Linked Data Platform for Greek Legislation
Legal Ontology	A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Legal Reasoning	Legal Reasoning and Big Data: Opportunities and Challenges
Legislative Knowledge Representation	Nomothesia: A Linked Data Platform for Greek Legislation
Linked Open Data	Nomothesia: A Linked Data Platform for Greek Legislation
N
Normative reasoning
P
Preference models	\AA qvist's Dyadic Deontic Logic {\bf E} in HOL
S
Says predicate	The Logic of Silence in Testimonies
Semantic embedding	\AA qvist's Dyadic Deontic Logic {\bf E} in HOL
Sequent Calculus	A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs
Silence interpretation	The Logic of Silence in Testimonies
speech acts	The Logic of Silence in Testimonies
T
testimonies	The Logic of Silence in Testimonies
W
Weakening of the output