Keyphrases
Description Logics
84%
Knowledge Base
61%
Rational Closure
37%
Answer Set Programming
35%
Action Theory
30%
Tableau Calculi
30%
Reasoning about Actions
30%
Conditional Logic
28%
Linear Temporal Logic
27%
Dynamics Linear
25%
Logic Programming
25%
Logic of Action
23%
Proof Techniques
21%
Defeasible Reasoning
20%
Business Process
16%
Ontology
16%
Nonmonotonic Reasoning
16%
Multilayer Perceptron
16%
Answer Sets
15%
Preferential Semantics
15%
Calculus
14%
Abductor
13%
Decision Procedure
12%
Modal Logic
12%
Bounded Model Checking
12%
Interaction Protocols
11%
Minimal Model Semantics
11%
Modal
11%
Domain Description
10%
Temporal Constraints
10%
Kraus
10%
Clinical Practice Guidelines
10%
Temporal Logic
10%
Minimal Model
10%
Tmin
10%
Communicating Agents
10%
Communicative Action
9%
Model Checking Techniques
9%
Self-organizing Map
9%
Theorem Prover
9%
Access Control
9%
Power Set
9%
Knowledge Representation
8%
Automata
8%
Modal Approach
8%
Computer-interpretable Guidelines
8%
Complex Action
7%
Social State
7%
Deep Neural Network
7%
Conditional Knowledge Base
7%
Computer Science
Description Logics
100%
Knowledge Base
65%
Rational Closure
38%
Answer Set Programming
35%
Action Theory
32%
Reasoning about Action
30%
Tableau Calculus
28%
linear time temporal logic
27%
Logic Programming
26%
Conditional Logic
25%
Model Checking
22%
Ontology
20%
Business Process
18%
Neural Network
15%
Temporal Constraint
14%
Temporal Action Logic
14%
Deep Learning Method
14%
Decision Procedure
14%
Temporal Logic
13%
Programming Language
12%
Automaton
12%
Neural Network Model
12%
Communicative Action
12%
Domain Description
11%
Access Control
9%
Organizing Map
9%
Argumentation
9%
Checking Technique
9%
Social Approach
8%
Complex Action
7%
And-States
7%
Set Theory
7%
Theorem Prover
7%
Sequent Calculus
6%
Deep Neural Network
6%
Subsumption Relation
6%
Integrity Constraint
6%
Complexity Result
6%
Conditional Knowledge
5%
Axiomatization
5%
Frame Problem
5%
Temporal Extension
5%
