Keyphrases
Paraconsistent Logic
97%
Inconsistency
86%
Calculus
81%
Non-deterministic Semantics
78%
Non-deterministic Matrices
76%
Non-deterministic
74%
Paraconsistent
69%
Animal-computer Interaction
66%
Distance-based
54%
Canine
54%
Facial Expression
50%
Animal Welfare
47%
Variability Mechanisms
45%
Sequent Calculus
45%
Cut Elimination
43%
Connectives
43%
Animal Behavior
43%
Gentzen
42%
Visual Notation
41%
Pain Recognition
41%
Inconsistent Information
40%
Automated Recognition
40%
Combinatorial Test Design
39%
Pet Wearables
39%
Pet Owners
37%
Multi-valued
34%
Canonical System
33%
Formal Methods
33%
Data Inaccuracy
33%
Machine Learning
32%
Privacy Concerns
31%
Finite-valued
31%
Automated Pain Recognition
30%
Software Artifacts
30%
Formal Framework
29%
Reasoning under Uncertainty
29%
C-system
29%
Activity Tracker
29%
Video-based
29%
Emotional State
29%
Person-centered
28%
Consistency Management
28%
AI Models
28%
Classical Logic
27%
Entailment Relations
27%
Artificial Intelligence
27%
Position Paper
26%
Behavioral Patterns
26%
Logics of Formal Inconsistency
25%
Human Perception
25%
Computer Science
Deterministic Semantics
100%
Valued Semantics
62%
Sequent Calculus
51%
Information Systems
48%
Formal Framework
47%
Syntactics
41%
Structural Rule
41%
Learning System
37%
Machine Learning
37%
Artificial Intelligence
34%
Case Study
31%
Computer Interaction
29%
Requirement Engineering
27%
Type Systems
25%
Software Reuse
25%
Software Engineering
25%
Business Process
23%
Nonclassical Logic
22%
Denotational Semantics
20%
Intuitionistic Logic
20%
Data Analysis
20%
Facial Expression
20%
