Monadic reasoning using weak completion semantics

Monadic reasoning using weak completion semantics

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Hölldobler, S.
Formáid:	Статья
Teanga:	English
Foilsithe / Cruthaithe:	CEUR-WS 2018
Ábhair:	Computer circuits Logic programming Semantics Computation theory
Rochtain ar líne:	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
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Monadic reasoning using weak completion semantics
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2018)

A core method for the weak completion semantics with skeptical abduction
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2018)

The complexity of contextual abduction in human reasoning tasks
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2018)

Ethical decision making under the weak completion semantics
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2018)

Contextual reasoning: usually birds can abductively fly
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2018)

The syllogistic reasoning task: reasoning principles and heuristic strategies in modeling human clusters
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2018)

Contextual abduction and its complexity issues
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2018)

Obligation versus factual conditionals under the Weak Completion Semantics
de réir: Hölldobler, S.
Foilsithe / Cruthaithe: (2018)

Obligation versus factual conditionals under the weak completion semantics
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2018)

Do humans reason with -matchers?
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2019)

The weak completion semantics and counter examples
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2021)

The Weak Completion Semantics and Counterexamples
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2024)

A core method for the weak completion semantics with skeptical abduction (extended abstract)
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2019)

Conditional reasoning and relevance
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2020)

A computational theory for the model construction, inspection and variation phase in human spatial reasoning
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2020)

When are Humans Reasoning with Modus Tollens?
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2022)

The GPU-oriented tree representation based on the method of finding the remainder
de réir: Voronkin, V. S., et al.
Foilsithe / Cruthaithe: (2018)

System of optimization of cognitive development of the subject of engineering activity in the conditions of use of intelligent computer programs
de réir: Chernov, A. B., et al.
Foilsithe / Cruthaithe: (2022)

Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2022)

Game design based learning of programming
de réir: Lapina, M. A., et al.
Foilsithe / Cruthaithe: (2019)

Mathematical modelling of the stabilization system for a mobile base video camera using quaternions
de réir: Isaev, A. M., et al.
Foilsithe / Cruthaithe: (2019)

Research of digital algorithms implementing integrated mellin transform for signal processing in automated control systems
de réir: Ermakov, A. S., et al.
Foilsithe / Cruthaithe: (2020)

Determining the rank of a number in the residue number system
de réir: Babenko, M. G., et al.
Foilsithe / Cruthaithe: (2021)

Real-time emergency forecasting technique for situation management systems
de réir: Tebueva, F. B., et al.
Foilsithe / Cruthaithe: (2018)

Humans Reason Skeptically
de réir: Holldobler, S.
Foilsithe / Cruthaithe: (2023)

Automated prediction of the liquid paraffins viscosity
de réir: Boldyrev, D. V., et al.
Foilsithe / Cruthaithe: (2022)

Designing Computer Simulators in Support of a Propaedeutic Course on Neural Network Technologies
de réir: Ionisyan, A. S., et al.
Foilsithe / Cruthaithe: (2023)

Predicate-frame description of linear semantics of artistic narrative
de réir: Gusarenko, S. V., et al.
Foilsithe / Cruthaithe: (2020)

High-Speed Wavelet Image Processing Using the Winograd Method with Downsampling
de réir: Lyakhov, P. A., et al.
Foilsithe / Cruthaithe: (2023)

Modeling the adsorption process on graphic processors
de réir: Vinokursky, D. L., et al.
Foilsithe / Cruthaithe: (2021)

Increasing the Speed of Wavelet Image Processing with Decimation Using the Winograd Method
de réir: Lyakhov, P. A., et al.
Foilsithe / Cruthaithe: (2024)

Analytical model of object request broker based on Corba standard
de réir: Mochalov, V. P., et al.
Foilsithe / Cruthaithe: (2018)

Software and hardware infrastructure for timetables scheduling in university
de réir: Malikov, A. V., et al.
Foilsithe / Cruthaithe: (2019)

A method for planning the trajectory of a mobile robot in an unknown environment with obstacles
de réir: Tebueva, F. B., et al.
Foilsithe / Cruthaithe: (2021)

High-Speed Wavelet Image Processing Using the Winograd Method
de réir: Nagornov, N. N., et al.
Foilsithe / Cruthaithe: (2023)

Options for using the Maple Computer Algebra System in Cryptology Training
de réir: Grivennaya, N. V., et al.
Foilsithe / Cruthaithe: (2023)

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

The study of molecular structure of chitosan and the determination of the possibility of its use in meat production
de réir: Sadovoy, V. V., et al.
Foilsithe / Cruthaithe: (2019)

Using neural networks in building a psychological typology
de réir: Solomonov, V. A., et al.
Foilsithe / Cruthaithe: (2019)

Use of electronic means of payment as ways of Crime commission: features of investigation and protection routes
de réir: Bondarenko, N. G., et al.
Foilsithe / Cruthaithe: (2021)