Monadic reasoning using weak completion semantics

Monadic reasoning using weak completion semantics

Diğer sürümleri göster (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...

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Hölldobler, S.
Materyal Türü:	Статья
Dil:	English
Baskı/Yayın Bilgisi:	CEUR-WS 2018
Konular:	Computer circuits Logic programming Semantics Computation theory
Online Erişim:	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
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Monadic reasoning using weak completion semantics
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2018)

A core method for the weak completion semantics with skeptical abduction
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2018)

The complexity of contextual abduction in human reasoning tasks
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2018)

Ethical decision making under the weak completion semantics
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2018)

Contextual reasoning: usually birds can abductively fly
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2018)

The syllogistic reasoning task: reasoning principles and heuristic strategies in modeling human clusters
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2018)

Contextual abduction and its complexity issues
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2018)

Obligation versus factual conditionals under the Weak Completion Semantics
Yazar:: Hölldobler, S.
Baskı/Yayın Bilgisi: (2018)

Obligation versus factual conditionals under the weak completion semantics
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2018)

Do humans reason with -matchers?
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2019)

The weak completion semantics and counter examples
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2021)

The Weak Completion Semantics and Counterexamples
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2024)

A core method for the weak completion semantics with skeptical abduction (extended abstract)
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2019)

Conditional reasoning and relevance
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2020)

A computational theory for the model construction, inspection and variation phase in human spatial reasoning
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2020)

When are Humans Reasoning with Modus Tollens?
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2022)

The GPU-oriented tree representation based on the method of finding the remainder
Yazar:: Voronkin, V. S., ve diğerleri
Baskı/Yayın Bilgisi: (2018)

System of optimization of cognitive development of the subject of engineering activity in the conditions of use of intelligent computer programs
Yazar:: Chernov, A. B., ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2022)

Game design based learning of programming
Yazar:: Lapina, M. A., ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Mathematical modelling of the stabilization system for a mobile base video camera using quaternions
Yazar:: Isaev, A. M., ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Research of digital algorithms implementing integrated mellin transform for signal processing in automated control systems
Yazar:: Ermakov, A. S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Determining the rank of a number in the residue number system
Yazar:: Babenko, M. G., ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Real-time emergency forecasting technique for situation management systems
Yazar:: Tebueva, F. B., ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Humans Reason Skeptically
Yazar:: Holldobler, S.
Baskı/Yayın Bilgisi: (2023)

Automated prediction of the liquid paraffins viscosity
Yazar:: Boldyrev, D. V., ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Designing Computer Simulators in Support of a Propaedeutic Course on Neural Network Technologies
Yazar:: Ionisyan, A. S., ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Predicate-frame description of linear semantics of artistic narrative
Yazar:: Gusarenko, S. V., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

High-Speed Wavelet Image Processing Using the Winograd Method with Downsampling
Yazar:: Lyakhov, P. A., ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Modeling the adsorption process on graphic processors
Yazar:: Vinokursky, D. L., ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Increasing the Speed of Wavelet Image Processing with Decimation Using the Winograd Method
Yazar:: Lyakhov, P. A., ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Analytical model of object request broker based on Corba standard
Yazar:: Mochalov, V. P., ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Software and hardware infrastructure for timetables scheduling in university
Yazar:: Malikov, A. V., ve diğerleri
Baskı/Yayın Bilgisi: (2019)

A method for planning the trajectory of a mobile robot in an unknown environment with obstacles
Yazar:: Tebueva, F. B., ve diğerleri
Baskı/Yayın Bilgisi: (2021)

High-Speed Wavelet Image Processing Using the Winograd Method
Yazar:: Nagornov, N. N., ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Options for using the Maple Computer Algebra System in Cryptology Training
Yazar:: Grivennaya, N. V., ve diğerleri
Baskı/Yayın Bilgisi: (2023)

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

The study of molecular structure of chitosan and the determination of the possibility of its use in meat production
Yazar:: Sadovoy, V. V., ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Using neural networks in building a psychological typology
Yazar:: Solomonov, V. A., ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Use of electronic means of payment as ways of Crime commission: features of investigation and protection routes
Yazar:: Bondarenko, N. G., ve diğerleri
Baskı/Yayın Bilgisi: (2021)