Monadic reasoning using weak completion semantics

Monadic reasoning using weak completion semantics

Hiển thị phiên bản (1) khác

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...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Hölldobler, S.
Định dạng:	Статья
Ngôn ngữ:	English
Được phát hành:	CEUR-WS 2018
Những chủ đề:	Computer circuits Logic programming Semantics Computation theory
Truy cập trực tuyến:	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
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Monadic reasoning using weak completion semantics
Bằng: Holldobler, S.
Được phát hành: (2018)

A core method for the weak completion semantics with skeptical abduction
Bằng: Holldobler, S.
Được phát hành: (2018)

The complexity of contextual abduction in human reasoning tasks
Bằng: Holldobler, S.
Được phát hành: (2018)

Ethical decision making under the weak completion semantics
Bằng: Holldobler, S.
Được phát hành: (2018)

Contextual reasoning: usually birds can abductively fly
Bằng: Holldobler, S.
Được phát hành: (2018)

The syllogistic reasoning task: reasoning principles and heuristic strategies in modeling human clusters
Bằng: Holldobler, S.
Được phát hành: (2018)

Contextual abduction and its complexity issues
Bằng: Holldobler, S.
Được phát hành: (2018)

Obligation versus factual conditionals under the Weak Completion Semantics
Bằng: Hölldobler, S.
Được phát hành: (2018)

Obligation versus factual conditionals under the weak completion semantics
Bằng: Holldobler, S.
Được phát hành: (2018)

Do humans reason with -matchers?
Bằng: Holldobler, S.
Được phát hành: (2019)

The weak completion semantics and counter examples
Bằng: Holldobler, S.
Được phát hành: (2021)

The Weak Completion Semantics and Counterexamples
Bằng: Holldobler, S.
Được phát hành: (2024)

A core method for the weak completion semantics with skeptical abduction (extended abstract)
Bằng: Holldobler, S.
Được phát hành: (2019)

Conditional reasoning and relevance
Bằng: Holldobler, S.
Được phát hành: (2020)

A computational theory for the model construction, inspection and variation phase in human spatial reasoning
Bằng: Holldobler, S.
Được phát hành: (2020)

When are Humans Reasoning with Modus Tollens?
Bằng: Holldobler, S.
Được phát hành: (2022)

The GPU-oriented tree representation based on the method of finding the remainder
Bằng: Voronkin, V. S., et al.
Được phát hành: (2018)

System of optimization of cognitive development of the subject of engineering activity in the conditions of use of intelligent computer programs
Bằng: Chernov, A. B., et al.
Được phát hành: (2022)

Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning
Bằng: Holldobler, S.
Được phát hành: (2022)

Game design based learning of programming
Bằng: Lapina, M. A., et al.
Được phát hành: (2019)

Mathematical modelling of the stabilization system for a mobile base video camera using quaternions
Bằng: Isaev, A. M., et al.
Được phát hành: (2019)

Research of digital algorithms implementing integrated mellin transform for signal processing in automated control systems
Bằng: Ermakov, A. S., et al.
Được phát hành: (2020)

Determining the rank of a number in the residue number system
Bằng: Babenko, M. G., et al.
Được phát hành: (2021)

Real-time emergency forecasting technique for situation management systems
Bằng: Tebueva, F. B., et al.
Được phát hành: (2018)

Humans Reason Skeptically
Bằng: Holldobler, S.
Được phát hành: (2023)

Automated prediction of the liquid paraffins viscosity
Bằng: Boldyrev, D. V., et al.
Được phát hành: (2022)

Designing Computer Simulators in Support of a Propaedeutic Course on Neural Network Technologies
Bằng: Ionisyan, A. S., et al.
Được phát hành: (2023)

Predicate-frame description of linear semantics of artistic narrative
Bằng: Gusarenko, S. V., et al.
Được phát hành: (2020)

High-Speed Wavelet Image Processing Using the Winograd Method with Downsampling
Bằng: Lyakhov, P. A., et al.
Được phát hành: (2023)

Modeling the adsorption process on graphic processors
Bằng: Vinokursky, D. L., et al.
Được phát hành: (2021)

Increasing the Speed of Wavelet Image Processing with Decimation Using the Winograd Method
Bằng: Lyakhov, P. A., et al.
Được phát hành: (2024)

Analytical model of object request broker based on Corba standard
Bằng: Mochalov, V. P., et al.
Được phát hành: (2018)

Software and hardware infrastructure for timetables scheduling in university
Bằng: Malikov, A. V., et al.
Được phát hành: (2019)

A method for planning the trajectory of a mobile robot in an unknown environment with obstacles
Bằng: Tebueva, F. B., et al.
Được phát hành: (2021)

High-Speed Wavelet Image Processing Using the Winograd Method
Bằng: Nagornov, N. N., et al.
Được phát hành: (2023)

Options for using the Maple Computer Algebra System in Cryptology Training
Bằng: Grivennaya, N. V., et al.
Được phát hành: (2023)

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

The study of molecular structure of chitosan and the determination of the possibility of its use in meat production
Bằng: Sadovoy, V. V., et al.
Được phát hành: (2019)

Using neural networks in building a psychological typology
Bằng: Solomonov, V. A., et al.
Được phát hành: (2019)

Use of electronic means of payment as ways of Crime commission: features of investigation and protection routes
Bằng: Bondarenko, N. G., et al.
Được phát hành: (2021)