Works matching Logic and reasoning

Results: 2110

Design of a Computable Approximate Reasoning Logic System for AI.

Published in:

Mathematics (2227-7390), 2022, v. 10, n. 9, p. 1447, doi. 10.3390/math10091447

By:

Liu, Kaidi;
Li, Yancang;
Cui, Rong

Publication type:

Article

A Breakdown of System of Systems Needs Using Architecture Frameworks, Ontologies and Description Logic Reasoning.

Published in:

Aerospace (MDPI Publishing), 2021, v. 8, n. 4, p. 118, doi. 10.3390/aerospace8040118

By:

Franzén, Ludvig Knöös;
Staack, Ingo;
Krus, Petter;
Jouannet, Christopher;
Amadori, Kristian

Publication type:

Article

Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis.

Published in:

Theory & Practice of Logic Programming, 2022, v. 22, n. 5, p. 693, doi. 10.1017/S1471068422000254

By:

TARAU, PAUL

Publication type:

Article

Guiding reinvention of conventional tools of mathematical logic: students' reasoning about mathematical disjunctions.

Published in:

Educational Studies in Mathematics, 2017, v. 94, n. 3, p. 241, doi. 10.1007/s10649-016-9722-7

By:

Dawkins, Paul;
Cook, John

Publication type:

Article

Reasoning about actions in dynamic linear time temporal logic.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 2, p. 273, doi. 10.1093/jigpal/9.2.273

By:

Giordano, L;
Martelli, A;
Schwind, C

Publication type:

Article

An Automatic Centroid Image Selection Method Based on Fuzzy Logic Reasoning in Image Deduplication.

Published in:

International Journal of Grid & High Performance Computing, 2020, v. 12, n. 4, p. N.PAG, doi. 10.4018/IJGHPC.2020100101

By:

Chen, Ming;
Yan, Jinghua;
Gao, Tieliang;
Ma, Huan;
Duan, Li;
Tang, Qiguang

Publication type:

Article

The normative role of logic for reasoning.

Published in:

Theoria: An International Journal for Theory, History & Foundations of Science, 2023, v. 38, n. 2, p. 137, doi. 10.1387/theoria.24374

By:

MASSOLO, Alba

Publication type:

Article

INVARIANT SIGNATURE, LOGIC REASONING, AND SEMANTIC NATURAL LANGUAGE PROCESSING (NLP)-BASED AUTOMATED BUILDING CODE COMPLIANCE CHECKING (I-SNACC) FRAMEWORK.

Published in:

Journal of Information Technology in Construction, 2023, v. 28, p. 1, doi. 10.36680/j.itcon.2023.001

By:

Jin Wu;
Xiaorui Xue;
Jiansong Zhang

Publication type:

Article

Joint Sensor Selection and Power Allocation Algorithm for Multiple-Target Tracking of Unmanned Cluster Based on Fuzzy Logic Reasoning.

Published in:

Sensors (14248220), 2020, v. 20, n. 5, p. 1371, doi. 10.3390/s20051371

By:

Zhang, Yuanshi;
Pan, Minghai;
Han, Qinghua

Publication type:

Article

دور التفكير الاستدلالى التقريبى فى المنطق الغائم

Published in:

Al-Mukhatabat, 2018, n. 26, p. 273

By:

EL-JANAINI, Hiba El-Sayed Mohammed Ahmed

Publication type:

Article

Tableau reasoning and programming with dynamic first order logic.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 411, doi. 10.1093/jigpal/9.3.411

By:

van Eijck, J;
Heguiabehere, J;
Ó Nualláin, B

Publication type:

Article

Practical reasoning for very expressive description logics.

Published in:

Logic Journal of the IGPL, 2000, v. 8, n. 3, p. 239, doi. 10.1093/jigpal/8.3.239

By:

Horrocks, I;
Sattler, U;
Tobies, S

Publication type:

Article

Optimizing description logic reasoning for the large-scale semantic repositories.

Published in:

Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 5, p. 635, doi. 10.1002/cpe.1371

By:

Babík, Marian;
Hluchý, Ladislav

Publication type:

Article

Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs.

Published in:

Theory & Practice of Logic Programming, 2023, v. 23, n. 3, p. 507, doi. 10.1017/S1471068422000412

By:

BELLOMARINI, LUIGI;
LAURENZA, ELEONORA;
SALLINGER, EMANUEL;
SHERKHONOV, EVGENY

Publication type:

Article

A Philosophical Treatise on the Connection of Scientific Reasoning with Fuzzy Logic.

Published in:

Mathematics (2227-7390), 2020, v. 8, n. 6, p. 875, doi. 10.3390/math8060875

By:

Athanassopoulos, Evangelos;
Voskoglou, Michael Gr.

Publication type:

Article

Towards a Unified Temporal and Event Logic Paradigm for Multi-Hop Path Reasoning in Knowledge Graphs.

Published in:

Electronics (2079-9292), 2025, v. 14, n. 3, p. 516, doi. 10.3390/electronics14030516

By:

Zeng, Yajian;
Hou, Xiaorong;
Wang, Xinrui;
Li, Junying

Publication type:

Article

EL PROBLEMA DE LA ADOPCIÓN Y LA NECESIDAD DE DISTINGUIR ENTRE LÓGICA Y RAZONAMIENTO.

Published in:

Análisis Filosófico, 2022, v. 42, n. 2, p. 317, doi. 10.36446/af.2022.399

By:

MOSCOSO VÁSCONEZ, DAVID

Publication type:

Article

Informal logic and reasoning in evaluation.

Published in:

New Directions for Evaluation, 1995, n. 68, p. 71

By:

Blair, J. Anthony

Publication type:

Article

A decision logic schema of process planning using backward chaining reasoning.

Published in:

International Journal of Advanced Manufacturing Technology, 2008, v. 38, n. 11/12, p. 1181, doi. 10.1007/s00170-007-1163-0

By:

Huan-Min Xu;
Liang-Chuan Mi;
Dong-Bo Li

Publication type:

Article

UDUDO REASONING IN AFRICAN THOUGHT: A POSTMODERN FORMALIST METHOD FOR LOGIC.

Published in:

2014

By:

CHIMAKONAM, Jonathan O.

Publication type:

Essay

基于改进的主动逻辑与元认知环的机器人常识推理的研究.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2016, v. 33, n. 1, p. 35, doi. 10.3969/j.issn.1001-3695.2016.01.008

By:

王科俊;
杜同春

Publication type:

Article

Modelling defeasible reasoning by means of adaptive logic games.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 2, p. 417, doi. 10.1093/jigpal/jzq060

By:

Verdée, Peter

Publication type:

Article

Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.

Published in:

Logic Journal of the IGPL, 2009, v. 17, n. 4, p. 375, doi. 10.1093/jigpal/jzp016

By:

Golińska-Pilarek, J.;
Muñoz-Velasco, E.

Publication type:

Article

PSpace Reasoning with the Description Logic AℒCF(D).

Published in:

Logic Journal of the IGPL, 2002, v. 10, n. 5, p. 535, doi. 10.1093/jigpal/10.5.535

By:

Lutz, Carsten

Publication type:

Article

Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K<sub>m</sub>/ALC-Satisfiability.

Published in:

Journal of Artificial Intelligence Research, 2009, v. 35, p. 343, doi. 10.1613/jair.2675

By:

Sebastiani, Roberto;
Vescovi, Michele

Publication type:

Article

A Logic for Reasoning about Evidence.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 1, doi. 10.1613/jair.1838

By:

Halpern, Joseph Y.;
Pucella, Riccardo

Publication type:

Article

PSYCHOLOGICAL RELATIONSHIP OF STUDENTS' LOGIC AND REASONING SKILLS IN THE CONTEXT OF CRITICAL THINKING.

Published in:

Journal of Psychology & Sociology, 2024, v. 91, n. 4, p. 35, doi. 10.26577/JPsS.2024.v91.i4.4

By:

Molbassynova, Zh.;
Gelişli, Y.;
Murzagulova, M.;
Zhamirova, U.;
Danikeyeva, A.

Publication type:

Article

Is Logic the Key to All Good Reasoning?

Published in:

Argumentation, 2001, v. 15, n. 1, p. 35, doi. 10.1023/A:1007808902314

By:

Hintikka, Jaakko

Publication type:

Article

Default logic and specification of nonmonotonic reasoning.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2001, v. 13, n. 2, p. 99, doi. 10.1080/09528130010025374

By:

Engelfriet, Joeri;
Wiktor Marek, V.;
Treur, Jan;
Truszczynski, Miroslaw

Publication type:

Article

A Need for New Algebraic System of Logic Based on Al-Ghazali's Reasoning.

Published in:

KRITIKE: An Online Journal of Philosophy, 2016, v. 10, n. 1, p. 255

By:

bin Mohamad Zain, Shaharir

Publication type:

Article

Conditional Reasoning with Subjective Logic.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2009, v. 15, n. 1, p. 5

By:

Jøsang, Audun

Publication type:

Article

Conditional Reasoning with Subjective Logic.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2008, v. 15, n. 1, p. 5

By:

Jøsang, Audun

Publication type:

Article

FORMAL LOGIC, INFORMAL REASONING, AND THEIR DISPUTABLE RELEVANCE.

Published in:

Pamukkale University Journal of Social Sciences Institute / Pamukkale Üniversitesi Sosyal Bilimler Enstitüsü Dergisi, 2024, n. 64, p. 325, doi. 10.30794/pausbed.1464096

By:

POLAT, Mustafa

Publication type:

Article

Approximate Reasoning in Chemical Kinetics based upon fuzzy logic.

Published in:

International Journal of ElectroComputational World & Knowledge Interface, 2011, v. 1, n. 1, p. 54

By:

Khatri, Ritu;
Rishi, Rahul

Publication type:

Article

Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 6, p. 881, doi. 10.1017/S1471068410000463

By:

TRUSZCZYŃSKI, MIROSŁAW

Publication type:

Article

Lukasiewicz 模糊命题逻辑系统的计量化与近似推理.

Published in:

China Sciencepaper, 2016, v. 11, n. 5, p. 586

By:

黎丽

Publication type:

Article

International Entrepreneurship: Exploring the Logic and Utility of Individual Experience Through Comparative Reasoning Approaches.

Published in:

Entrepreneurship: Theory & Practice, 2014, v. 38, n. 1, p. 45, doi. 10.1111/etap.12060

By:

Jones, Marian V.;
Casulli, Lucrezia

Publication type:

Article

Reasoning About Set Constraints Applied to Tractable Inference in Instutionstic Logic.

Published in:

Journal of Logic & Computation, 1998, v. 8, n. 6, p. 855, doi. 10.1093/logcom/8.6.855

By:

DRAKENGREN, THOMAS;
JONSSON, PETER

Publication type:

Article

Diabetes Diagnosis by Case-Based Reasoning and Fuzzy Logic.

Published in:

International Journal of Interactive Multimedia & Artificial Intelligence, 2018, v. 5, n. 3, p. 72, doi. 10.9781/ijimai.2018.02.001

By:

Benamina, Mohammed;
Atmani, Baghdad;
Benbelkacem, Sofia

Publication type:

Article

Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.

Published in:

Minds & Machines, 2017, v. 27, n. 1, p. 37, doi. 10.1007/s11023-017-9428-3

By:

Besold, Tarek;
Garcez, Artur;
Stenning, Keith;
Torre, Leendert;
Lambalgen, Michiel

Publication type:

Article

Default Reasoning for Forensic Visual Surveillance Based on Subjective Logic and its Comparison with L-Fuzzy Set Based Approaches.

Published in:

International Journal of Multimedia Data Engineering & Management, 2011, v. 2, n. 1, p. 38, doi. 10.4018/jmdem.2011010103

By:

Han, Seunghan;
Stechele, Walter

Publication type:

Article

Reasoning about reasons behind preferences using modal logic.

Published in:

Information Systems Frontiers, 2015, v. 17, n. 4, p. 713, doi. 10.1007/s10796-014-9520-7

By:

Pedersen, Truls;
Dyrkolbotn, Sjur;
Ågotnes, Thomas

Publication type:

Article

A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making.

Published in:

Fuzzy Optimization & Decision Making, 2020, v. 19, n. 3, p. 251, doi. 10.1007/s10700-020-09319-8

By:

Wang, Xinxin;
Xu, Zeshui;
Gou, Xunjie

Publication type:

Article

On the strict logic foundation of fuzzy reasoning.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2004, v. 8, n. 8, p. 539, doi. 10.1007/s00500-003-0312-0

By:

D. W. Pei

Publication type:

Article

Logics for reasoning about knowledge and belief.

Published in:

Knowledge Engineering Review, 1989, v. 4, n. 2, p. 119, doi. 10.1017/S0269888900004884

By:

Reichgelt, Han

Publication type:

Article

Reasoning Biases, Non-Monotonic Logics and Belief Revision.

Published in:

Theoria: A Swedish Journal of Philosophy, 2017, v. 83, n. 1, p. 29, doi. 10.1111/theo.12108

By:

Dutilh Novaes, Catarina;
Veluwenkamp, Herman

Publication type:

Article

Logic, Reasoning and Revision.

Published in:

Theoria: A Swedish Journal of Philosophy, 2016, v. 82, n. 1, p. 3, doi. 10.1111/theo.12071

By:

Allo, Patrick

Publication type:

Article

MODULATED LOGICS AND FLEXIBLE REASONING.

Published in:

Logic & Logical Philosophy, 2008, v. 17, n. 3, p. 211, doi. 10.12775/LLP.2008.012

By:

Carnielli, Walter;
Grácio, Maria Cláudia C.

Publication type:

Article

Linking Corporate Institutional Logics and Moral Reasoning - Evidence from Large Danish Audit Firms.

Published in:

Management Revue, 2021, v. 32, n. 1, p. 54, doi. 10.5771/0935-9915-2021-1-53

By:

Kent, Pamela;
van Liempd, Dennis

Publication type:

Article

Probabilities, causation, and logic programming in conditional reasoning: reply to Stenning and Van Lambalgen (2016).

Published in:

Thinking & Reasoning, 2016, v. 22, n. 3, p. 336, doi. 10.1080/13546783.2016.1139505

By:

Oaksford, Mike;
Chater, Nick

Publication type:

Article