Monadic reasoning using weak completion semantics

Monadic reasoning using weak completion semantics

Εμφάνιση άλλων εκδόσεων (1)

A recent meta-analysis carried out by Khemlani and Johnson-Laird showed that the conclusions drawn by humans in psychological experiments about syllogistic reasoning deviate from the conclusions drawn by classical logic. Moreover, none of the current cognitive theories predictions fit the empirical...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Hölldobler, S.
Μορφή:	Статья
Γλώσσα:	English
Έκδοση:	CEUR-WS 2018
Θέματα:	Computer circuits Logic programming Semantics Computation theory
Διαθέσιμο Online:	https://www.scopus.com/record/display.uri?eid=2-s2.0-85019939161&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=416f00c871c55c7ccba00877f9ba3281&sot=aff&sdt=sisr&sl=174&s=AF-ID%28%22North+Caucasus+Federal+University%22+60070541%29+OR+AF-ID%28%22Stavropol+State+University%22+60070961%29+OR+AF-ID%28%22stavropolskij+Gosudarstvennyj+Tehniceskij+Universitet%22+60026323%29&ref=%28Monadic+reasoning+using+weak+completion+semantics%29&relpos=0&citeCnt=1&searchTerm= https://dspace.ncfu.ru/handle/20.500.12258/3062
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Monadic reasoning using weak completion semantics
ανά: Holldobler, S.
Έκδοση: (2018)

A core method for the weak completion semantics with skeptical abduction
ανά: Holldobler, S.
Έκδοση: (2018)

The complexity of contextual abduction in human reasoning tasks
ανά: Holldobler, S.
Έκδοση: (2018)

Ethical decision making under the weak completion semantics
ανά: Holldobler, S.
Έκδοση: (2018)

Contextual reasoning: usually birds can abductively fly
ανά: Holldobler, S.
Έκδοση: (2018)

The syllogistic reasoning task: reasoning principles and heuristic strategies in modeling human clusters
ανά: Holldobler, S.
Έκδοση: (2018)

Contextual abduction and its complexity issues
ανά: Holldobler, S.
Έκδοση: (2018)

Obligation versus factual conditionals under the Weak Completion Semantics
ανά: Hölldobler, S.
Έκδοση: (2018)

Obligation versus factual conditionals under the weak completion semantics
ανά: Holldobler, S.
Έκδοση: (2018)

Do humans reason with -matchers?
ανά: Holldobler, S.
Έκδοση: (2019)

The weak completion semantics and counter examples
ανά: Holldobler, S.
Έκδοση: (2021)

The Weak Completion Semantics and Counterexamples
ανά: Holldobler, S.
Έκδοση: (2024)

A core method for the weak completion semantics with skeptical abduction (extended abstract)
ανά: Holldobler, S.
Έκδοση: (2019)

Conditional reasoning and relevance
ανά: Holldobler, S.
Έκδοση: (2020)

A computational theory for the model construction, inspection and variation phase in human spatial reasoning
ανά: Holldobler, S.
Έκδοση: (2020)

When are Humans Reasoning with Modus Tollens?
ανά: Holldobler, S.
Έκδοση: (2022)

The GPU-oriented tree representation based on the method of finding the remainder
ανά: Voronkin, V. S., κ.ά.
Έκδοση: (2018)

System of optimization of cognitive development of the subject of engineering activity in the conditions of use of intelligent computer programs
ανά: Chernov, A. B., κ.ά.
Έκδοση: (2022)

Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning
ανά: Holldobler, S.
Έκδοση: (2022)

Game design based learning of programming
ανά: Lapina, M. A., κ.ά.
Έκδοση: (2019)

Mathematical modelling of the stabilization system for a mobile base video camera using quaternions
ανά: Isaev, A. M., κ.ά.
Έκδοση: (2019)

Research of digital algorithms implementing integrated mellin transform for signal processing in automated control systems
ανά: Ermakov, A. S., κ.ά.
Έκδοση: (2020)

Determining the rank of a number in the residue number system
ανά: Babenko, M. G., κ.ά.
Έκδοση: (2021)

Real-time emergency forecasting technique for situation management systems
ανά: Tebueva, F. B., κ.ά.
Έκδοση: (2018)

Humans Reason Skeptically
ανά: Holldobler, S.
Έκδοση: (2023)

Automated prediction of the liquid paraffins viscosity
ανά: Boldyrev, D. V., κ.ά.
Έκδοση: (2022)

Designing Computer Simulators in Support of a Propaedeutic Course on Neural Network Technologies
ανά: Ionisyan, A. S., κ.ά.
Έκδοση: (2023)

Predicate-frame description of linear semantics of artistic narrative
ανά: Gusarenko, S. V., κ.ά.
Έκδοση: (2020)

High-Speed Wavelet Image Processing Using the Winograd Method with Downsampling
ανά: Lyakhov, P. A., κ.ά.
Έκδοση: (2023)

Modeling the adsorption process on graphic processors
ανά: Vinokursky, D. L., κ.ά.
Έκδοση: (2021)

Increasing the Speed of Wavelet Image Processing with Decimation Using the Winograd Method
ανά: Lyakhov, P. A., κ.ά.
Έκδοση: (2024)

Analytical model of object request broker based on Corba standard
ανά: Mochalov, V. P., κ.ά.
Έκδοση: (2018)

Software and hardware infrastructure for timetables scheduling in university
ανά: Malikov, A. V., κ.ά.
Έκδοση: (2019)

A method for planning the trajectory of a mobile robot in an unknown environment with obstacles
ανά: Tebueva, F. B., κ.ά.
Έκδοση: (2021)

High-Speed Wavelet Image Processing Using the Winograd Method
ανά: Nagornov, N. N., κ.ά.
Έκδοση: (2023)

Options for using the Maple Computer Algebra System in Cryptology Training
ανά: Grivennaya, N. V., κ.ά.
Έκδοση: (2023)

Элементы математической логики. Решение задач в симуляторе цифровых логических схем LogicCircuit практикум для спо
ανά: Седов, В. А.

The study of molecular structure of chitosan and the determination of the possibility of its use in meat production
ανά: Sadovoy, V. V., κ.ά.
Έκδοση: (2019)

Using neural networks in building a psychological typology
ανά: Solomonov, V. A., κ.ά.
Έκδοση: (2019)

Use of electronic means of payment as ways of Crime commission: features of investigation and protection routes
ανά: Bondarenko, N. G., κ.ά.
Έκδοση: (2021)