Monadic reasoning using weak completion semantics

Monadic reasoning using weak completion semantics

Veure altres versions (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...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Hölldobler, S.
Format:	Статья
Idioma:	English
Publicat:	CEUR-WS 2018
Matèries:	Computer circuits Logic programming Semantics Computation theory
Accés en línia:	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
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Monadic reasoning using weak completion semantics
per: Holldobler, S.
Publicat: (2018)

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

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

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

Contextual reasoning: usually birds can abductively fly
per: Holldobler, S.
Publicat: (2018)

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

Contextual abduction and its complexity issues
per: Holldobler, S.
Publicat: (2018)

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

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

Do humans reason with -matchers?
per: Holldobler, S.
Publicat: (2019)

The weak completion semantics and counter examples
per: Holldobler, S.
Publicat: (2021)

The Weak Completion Semantics and Counterexamples
per: Holldobler, S.
Publicat: (2024)

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

Conditional reasoning and relevance
per: Holldobler, S.
Publicat: (2020)

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

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

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

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

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

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

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

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

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

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

Humans Reason Skeptically
per: Holldobler, S.
Publicat: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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