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

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Hölldobler, S.
Formatua:	Статья
Hizkuntza:	English
Argitaratua:	CEUR-WS 2018
Gaiak:	Computer circuits Logic programming Semantics Computation theory
Sarrera elektronikoa:	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
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Monadic reasoning using weak completion semantics
nork: Holldobler, S.
Argitaratua: (2018)

A core method for the weak completion semantics with skeptical abduction
nork: Holldobler, S.
Argitaratua: (2018)

The complexity of contextual abduction in human reasoning tasks
nork: Holldobler, S.
Argitaratua: (2018)

Ethical decision making under the weak completion semantics
nork: Holldobler, S.
Argitaratua: (2018)

Contextual reasoning: usually birds can abductively fly
nork: Holldobler, S.
Argitaratua: (2018)

The syllogistic reasoning task: reasoning principles and heuristic strategies in modeling human clusters
nork: Holldobler, S.
Argitaratua: (2018)

Contextual abduction and its complexity issues
nork: Holldobler, S.
Argitaratua: (2018)

Obligation versus factual conditionals under the Weak Completion Semantics
nork: Hölldobler, S.
Argitaratua: (2018)

Obligation versus factual conditionals under the weak completion semantics
nork: Holldobler, S.
Argitaratua: (2018)

Do humans reason with -matchers?
nork: Holldobler, S.
Argitaratua: (2019)

The weak completion semantics and counter examples
nork: Holldobler, S.
Argitaratua: (2021)

The Weak Completion Semantics and Counterexamples
nork: Holldobler, S.
Argitaratua: (2024)

A core method for the weak completion semantics with skeptical abduction (extended abstract)
nork: Holldobler, S.
Argitaratua: (2019)

Conditional reasoning and relevance
nork: Holldobler, S.
Argitaratua: (2020)

A computational theory for the model construction, inspection and variation phase in human spatial reasoning
nork: Holldobler, S.
Argitaratua: (2020)

When are Humans Reasoning with Modus Tollens?
nork: Holldobler, S.
Argitaratua: (2022)

The GPU-oriented tree representation based on the method of finding the remainder
nork: Voronkin, V. S., et al.
Argitaratua: (2018)

System of optimization of cognitive development of the subject of engineering activity in the conditions of use of intelligent computer programs
nork: Chernov, A. B., et al.
Argitaratua: (2022)

Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning
nork: Holldobler, S.
Argitaratua: (2022)

Game design based learning of programming
nork: Lapina, M. A., et al.
Argitaratua: (2019)

Mathematical modelling of the stabilization system for a mobile base video camera using quaternions
nork: Isaev, A. M., et al.
Argitaratua: (2019)

Research of digital algorithms implementing integrated mellin transform for signal processing in automated control systems
nork: Ermakov, A. S., et al.
Argitaratua: (2020)

Determining the rank of a number in the residue number system
nork: Babenko, M. G., et al.
Argitaratua: (2021)

Real-time emergency forecasting technique for situation management systems
nork: Tebueva, F. B., et al.
Argitaratua: (2018)

Humans Reason Skeptically
nork: Holldobler, S.
Argitaratua: (2023)

Automated prediction of the liquid paraffins viscosity
nork: Boldyrev, D. V., et al.
Argitaratua: (2022)

Designing Computer Simulators in Support of a Propaedeutic Course on Neural Network Technologies
nork: Ionisyan, A. S., et al.
Argitaratua: (2023)

Predicate-frame description of linear semantics of artistic narrative
nork: Gusarenko, S. V., et al.
Argitaratua: (2020)

High-Speed Wavelet Image Processing Using the Winograd Method with Downsampling
nork: Lyakhov, P. A., et al.
Argitaratua: (2023)

Modeling the adsorption process on graphic processors
nork: Vinokursky, D. L., et al.
Argitaratua: (2021)

Increasing the Speed of Wavelet Image Processing with Decimation Using the Winograd Method
nork: Lyakhov, P. A., et al.
Argitaratua: (2024)

Analytical model of object request broker based on Corba standard
nork: Mochalov, V. P., et al.
Argitaratua: (2018)

Software and hardware infrastructure for timetables scheduling in university
nork: Malikov, A. V., et al.
Argitaratua: (2019)

A method for planning the trajectory of a mobile robot in an unknown environment with obstacles
nork: Tebueva, F. B., et al.
Argitaratua: (2021)

High-Speed Wavelet Image Processing Using the Winograd Method
nork: Nagornov, N. N., et al.
Argitaratua: (2023)

Options for using the Maple Computer Algebra System in Cryptology Training
nork: Grivennaya, N. V., et al.
Argitaratua: (2023)

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

The study of molecular structure of chitosan and the determination of the possibility of its use in meat production
nork: Sadovoy, V. V., et al.
Argitaratua: (2019)

Using neural networks in building a psychological typology
nork: Solomonov, V. A., et al.
Argitaratua: (2019)

Use of electronic means of payment as ways of Crime commission: features of investigation and protection routes
nork: Bondarenko, N. G., et al.
Argitaratua: (2021)