GCAI 2019:Keyword Index

KeywordPapers
#
#SATCombining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting
A
Ackermann's LemmaDLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic
active learningOn the Robustness of Active Learning
Answer Set ProgrammingVisual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming
A Declarative Method for Dynamic Multi-Agent Path Finding
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning
C
catastrophic forgettingMulti-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning
chronological backtrackingCombining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting
Classification problemsWeighted Description Logic for Classification Problems
computer visionOn the Robustness of Active Learning
concrete domainsPractical Query Rewriting for DL-Lite with Numerical Predicates
conflict-driven clause learningCombining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting
Continual LearningMulti-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning
cultural heritageQuery Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning
D
Data AnalyticsOn the Robustness of Active Learning
declarative problem solvingA Declarative Method for Dynamic Multi-Agent Path Finding
Description LogicOn Knowledge Dependence in Weighted Description Logic
Projection in a Description Logic of Context with Actions
Description LogicsPractical Query Rewriting for DL-Lite with Numerical Predicates
Description logics in learningOntology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case
DL-LiteOntology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case
Practical Query Rewriting for DL-Lite with Numerical Predicates
E
Event CalculusVisual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming
Event detection in videoVisual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming
F
first-order logicDLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic
forgettingDLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic
H
hierarchical networksOn the Robustness of Active Learning
I
image classificationOn the Robustness of Active Learning
K
knowledge baseQuery Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning
Knowledge Representation and ReasoningA Declarative Method for Dynamic Multi-Agent Path Finding
Kripke completenessCommon Knowledge in Epistemic Logic With Hypotheses
L
linear modelsOn Knowledge Dependence in Weighted Description Logic
Logic of HypothesesCommon Knowledge in Epistemic Logic With Hypotheses
M
machine learningOn Knowledge Dependence in Weighted Description Logic
modal logicCommon Knowledge in Epistemic Logic With Hypotheses
model checkingUltimately-periodic Interval Model Checking for Temporal Dataset Evaluation
model countingCombining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting
multi-agent path findingA Declarative Method for Dynamic Multi-Agent Path Finding
multi-task learningMulti-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning
O
OntologyQuery Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning
Ontology-Based Query AnsweringPractical Query Rewriting for DL-Lite with Numerical Predicates
ontology-mediated queriesOntology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case
P
propositional calculusCombining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting
prototype theoryWeighted Description Logic for Classification Problems
Q
query by exampleOntology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case
query rewritingPractical Query Rewriting for DL-Lite with Numerical Predicates
R
ReasoningQuery Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning
reasoning about actionProjection in a Description Logic of Context with Actions
Reverse engineering queriesOntology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case
rulesCombining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting
S
SATCombining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting
T
temporal dataset evaluationUltimately-periodic Interval Model Checking for Temporal Dataset Evaluation
Threshold OperatorsOn Knowledge Dependence in Weighted Description Logic
Transfer LearningMulti-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning
Two-dimensional Description LogicProjection in a Description Logic of Context with Actions
U
ultimately periodic modelsUltimately-periodic Interval Model Checking for Temporal Dataset Evaluation
W
weighted description logicWeighted Description Logic for Classification Problems