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
オンライン･アクセス:	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)