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