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