scholarly journals Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description)

2012 ◽  
pp. 383-390
Author(s):  
William Snell ◽  
Dirk Pattinson ◽  
Florian Widmann
Keyword(s):  
Modal Logic ◽  
Linear Inequalities ◽  
System Description

Modal Logic

1980 ◽  
Author(s):  
Brian F. Chellas
Keyword(s):  
Modal Logic

Basis System Description of Information in Psychology

2002 ◽  
Author(s):  
Konstantin Malyshev ◽  
Yakov Lebedev
Keyword(s):  
System Description ◽  
Basis System

Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT

2020 ◽  
Vol 12 (1) ◽  
pp. 17-22
Author(s):  
Alexander Nadel
Keyword(s):  
Variable Selection ◽  
Open Source ◽  
System Description

This paper is a system description of the anytime MaxSAT solver TT-Open-WBO-Inc, which won both of the weighted incomplete tracks of MaxSAT Evaluation 2019. We implemented the recently introduced polarity and variable selection heuristics, TORC and TSB, respectively, in the Open-WBO-Inc-BMO algorithm within the open-source anytime MaxSAT solver Open-WBO-Inc. As a result, the solver is substantially more efficient.

Modality and folk psychology

2019 ◽  
Vol 28 (1) ◽  
pp. 19-27
Author(s):  
Ja. O. Petik
Keyword(s):  
Modal Logic ◽  
Brain Activity ◽  
Formal System ◽  
Philosophy Of Logic ◽  
Psychological States ◽  
Formal Systems ◽  
Modern Psychology ◽  
Philosophical Interpretation ◽  
Important Direction

The connection of the modern psychology and formal systems remains an important direction of research. This paper is centered on philosophical problems surrounding relations between mental and logic. Main attention is given to philosophy of logic but certain ideas are introduced that can be incorporated into the practical philosophical logic. The definition and properties of basic modal logic and descending ones which are used in study of mental activity are in view. The defining role of philosophical interpretation of modality for the particular formal system used for research in the field of psychological states of agents is postulated. Different semantics of modal logic are studied. The hypothesis about the connection of research in cognitive psychology (semantics of brain activity) and formal systems connected to research of psychological states is stated.

THU-EE System Description for NIST LRE 2015

2016 ◽  
Author(s):  
Liang He ◽  
Yao Tian ◽  
Yi Liu ◽  
Jiaming Xu ◽  
Weiwei Liu ◽  
...  
Keyword(s):  
System Description

Ensuring the implementation of the modernized structure and automation of air traffic control processes in the area of responsibility of the Moscow district of air traffic control

2018 ◽  
pp. 46-54
Author(s):  
A. V. Strukova
Keyword(s):  
Traffic Control ◽  
Traffic Management ◽  
Air Traffic Control ◽  
Management System ◽  
Air Traffic Management ◽  
Air Traffic ◽  
Security System ◽  
System Description ◽  
Functional Capabilities ◽  
Traffic Management System

The article considers the new automated air traffic management system «Synthesis AR4», as well as a system description for ensuring the implementation of a modernized airspace structure, navigation and surveillance that provides technical capabilities. A number of functional capabilities and advantages of the airspace security system are presented.

Sign in / Sign up

Export Citation Format

Share Document