A hybrid qualitative approach for relative movements (Q4644518)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6997917
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A hybrid qualitative approach for relative movements |
scientific article; zbMATH DE number 6997917 |
Statements
A hybrid qualitative approach for relative movements (English)
0 references
8 January 2019
0 references
qualitative reasoning
0 references
relative movement
0 references
propositional dynamic logic
0 references
relational logics
0 references
dual tableau systems
0 references
0.8189827799797058
0 references
0.734043300151825
0 references
0.6969366073608398
0 references
0.6907398104667664
0 references
