Works matching DE "PREDICATE (Logic)"
Results: 646
The Effect of Individual-Level Factors and Task Features on Interface Design for Rule-Verification Crowdsourcing Tasks.
- Published in:
- International Journal of Human-Computer Interaction, 2025, v. 41, n. 5, p. 3213, doi. 10.1080/10447318.2024.2332031
- By:
- Publication type:
- Article
Analysis of Three Complement-Taking Predicates in Spoken Turkish: bil , san , and zannet.
- Published in:
- Languages, 2025, v. 10, n. 2, p. 27, doi. 10.3390/languages10020027
- By:
- Publication type:
- Article
The DL-Lite Family and Relations.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 36, p. 1, doi. 10.1613/jair.2820
- By:
- Publication type:
- Article
Hypertableau Reasoning for Descriptions Logics.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 36, p. 165, doi. 10.1613/jair.2811
- By:
- Publication type:
- Article
Prime Implicates and Prime Implicants: From Propositional to Modal Logic.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 36, p. 71, doi. 10.1613/jair.2754
- By:
- 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:
- Publication type:
- Article
Value Predicate Analysis: A Language‐Based Tool for Diagnosing Behavioral Tendencies of Religious or Value‐Based Groups in Regions of Conflict.
- Published in:
- Journal for the Scientific Study of Religion, 2019, v. 58, n. 1, p. 93, doi. 10.1111/jssr.12574
- By:
- Publication type:
- Article
On Trying to Leave Truth Alone.
- Published in:
- Philosophical Quarterly, 2022, v. 72, n. 1, p. 197, doi. 10.1093/pq/pqab004
- By:
- Publication type:
- Article
Kripkean Meta-Semantics and Generalized Rigidity.
- Published in:
- Philosophical Quarterly, 2019, v. 69, n. 275, p. 332, doi. 10.1093/pq/pqy059
- By:
- Publication type:
- Article
USING MEREOLOGICAL PRINCIPLES TO SUPPORT METAPHYSICS.
- Published in:
- Philosophical Quarterly, 2011, v. 61, n. 243, p. 225, doi. 10.1111/j.1467-9213.2010.683.x
- By:
- Publication type:
- Article
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 4, p. 1411, doi. 10.1007/s10270-022-00986-2
- By:
- Publication type:
- Article
Can Deep CNNs Avoid Infinite Regress/Circularity in Content Constitution?
- Published in:
- Minds & Machines, 2023, v. 33, n. 3, p. 507, doi. 10.1007/s11023-023-09642-0
- By:
- Publication type:
- Article
Preferential Semantics for Plausible Subsumption in Possibility Theory.
- Published in:
- Minds & Machines, 2013, v. 23, n. 1, p. 47, doi. 10.1007/s11023-012-9300-4
- By:
- Publication type:
- Article
Preconditions and projection: Explaining non-anaphoric presupposition.
- Published in:
- Linguistics & Philosophy, 2024, v. 47, n. 4, p. 703, doi. 10.1007/s10988-024-09413-9
- By:
- Publication type:
- Article
Sense-based low-degree modifiers in Japanese and English: their relations to experience, evaluation, and emotions.
- Published in:
- Linguistics & Philosophy, 2024, v. 47, n. 4, p. 653, doi. 10.1007/s10988-023-09404-2
- By:
- Publication type:
- Article
Quantifying into wh-dependencies: multiple-wh questions and questions with a quantifier.
- Published in:
- Linguistics & Philosophy, 2023, v. 46, n. 3, p. 429, doi. 10.1007/s10988-022-09366-x
- By:
- Publication type:
- Article
Occasion-sensitive semantics for objective predicates.
- Published in:
- Linguistics & Philosophy, 2019, v. 42, n. 5, p. 451, doi. 10.1007/s10988-018-9255-x
- By:
- Publication type:
- Article
In defense of the unification argument for predicativism.
- Published in:
- Linguistics & Philosophy, 2018, v. 41, n. 5, p. 557, doi. 10.1007/s10988-018-9233-3
- By:
- Publication type:
- Article
The proper treatment of variables in predicate logic.
- Published in:
- Linguistics & Philosophy, 2018, v. 41, n. 2, p. 209, doi. 10.1007/s10988-017-9224-9
- By:
- Publication type:
- Article
Modified numerals and maximality.
- Published in:
- Linguistics & Philosophy, 2016, v. 39, n. 3, p. 151, doi. 10.1007/s10988-016-9187-2
- By:
- Publication type:
- Article
Temporal realization of multimodally designed enactment in Japanese talk-in-interaction.
- Published in:
- Asian Languages & Linguistics, 2021, v. 2, n. 2, p. 135, doi. 10.1075/alal.21002.ari
- By:
- Publication type:
- Article
THE REPRESENTATION OF JOKO WIDODO'S FIGURE IN THE JAKARTA POST.
- Published in:
- Indonesian Journal of Applied Linguistics, 2017, v. 6, n. 2, p. 341, doi. 10.17509/ijal.v6i2.4920
- By:
- Publication type:
- Article
Rule Fusion of Privacy Protection Strategies for Co-Ownership Data Sharing.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 6, p. 969, doi. 10.3390/math10060969
- By:
- Publication type:
- Article
Six reconstruction effects in Mandarin Chinese.
- Published in:
- International Journal of Chinese Linguistics, 2023, v. 10, n. 1, p. 1, doi. 10.1075/ijchl.23002.law
- By:
- Publication type:
- Article
The idiosyncratic preposition zai in Mandarin Chinese and differential argument marking.
- Published in:
- International Journal of Chinese Linguistics, 2022, v. 9, n. 2, p. 232, doi. 10.1075/ijchl.21003.kuo
- By:
- Publication type:
- Article
On Middle applicatives: Evidence from Mandarin BA.
- Published in:
- International Journal of Chinese Linguistics, 2021, v. 8, n. 1, p. 35, doi. 10.1075/ijchl.20001.zha
- By:
- Publication type:
- Article
Object expletives in Chinese and the structural theory of predication.
- Published in:
- International Journal of Chinese Linguistics, 2016, v. 3, n. 2, p. 179, doi. 10.1075/ijchl.3.2.01wu
- By:
- Publication type:
- Article
Completely hereditarily atomic OMLS.
- Published in:
- Mathematica Slovaca, 2024, v. 74, n. 5, p. 1107, doi. 10.1515/ms-2024-0080
- By:
- Publication type:
- Article
An algebraic study of the logic S5'(BL).
- Published in:
- Mathematica Slovaca, 2022, v. 72, n. 6, p. 1447, doi. 10.1515/ms-2022-0098
- By:
- Publication type:
- Article
TOWARDS A THOMISTIC THEORY OF INTENTIONAL ("FICTIVE") INDIVIDUALS (II).
- Published in:
- AUC Theologica / Acta Universitatis Carolinae Theologica, 2015, v. 5, n. 2, p. 253, doi. 10.14712/23363398.2015.77
- By:
- Publication type:
- Article
TOWARDS A THOMISTIC THEORY OF INTENTIONAL ("FICTIVE") INDIVIDUALS (I).
- Published in:
- AUC Theologica / Acta Universitatis Carolinae Theologica, 2015, v. 5, n. 1, p. 133, doi. 10.14712/23363398.2015.72
- By:
- Publication type:
- Article
Semiproducts, Products, and Modal Predicate Logics: Some Examples.
- Published in:
- Doklady Mathematics, 2023, v. 108, n. 2, p. 411, doi. 10.1134/S1064562423701296
- By:
- Publication type:
- Article
Single-Case Experimental Research: A Methodology for Establishing Evidence-Based Practice in Special Education.
- Published in:
- International Journal of Special Education, 2017, v. 32, n. 3, p. 551
- By:
- Publication type:
- Article
COMMENT «SURINTENSIFIER» LES EXPRESSIONS D’INTENSITÉ ? L’EXEMPLE DES COLLOCATIONS ADJ/V COMME SN ET ADJ/N À FAIRE <sub>V</sub>.
- Published in:
- Estudios Románicos, 2021, v. 30, p. 59, doi. 10.6018/ER.471871
- By:
- Publication type:
- Article
Existence and Predication in Free Logics.
- Published in:
- Studia Humana, 2017, v. 6, n. 4, p. 3, doi. 10.1515/sh-2017-0023
- By:
- Publication type:
- Article
Consistent Truth.
- Published in:
- Ratio, 2014, v. 27, n. 3, p. 247, doi. 10.1111/rati.12038
- By:
- Publication type:
- Article
The predicate method to construct the Post lattice.
- Published in:
- Discrete Mathematics & Applications, 2011, v. 21, n. 3, p. 329, doi. 10.1515/DMA.2011.022
- By:
- Publication type:
- Article
FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning.
- Published in:
- Symmetry (20738994), 2024, v. 16, n. 4, p. 404, doi. 10.3390/sym16040404
- By:
- Publication type:
- Article
Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.
- Published in:
- Symmetry (20738994), 2022, v. 14, n. 3, p. 588, doi. 10.3390/sym14030588
- By:
- Publication type:
- Article
DETECTION OF LADDER PROGRAM UNSTABLE STATES.
- Published in:
- Transport Problems: an International Scientific Journal, 2024, v. 19, n. 3, p. 107, doi. 10.20858/tp.2023.19.3.09
- By:
- Publication type:
- Article
Language evolution from a cognitive-grammar perspective: The rise of the Arabic clause.
- Published in:
- Review of Cognitive Linguistics, 2021, v. 19, n. 2, p. 429, doi. 10.1075/rcl.00090.ald
- By:
- Publication type:
- Article
Truth-Functional and Penumbral Intuitions.
- Published in:
- Theoria: An International Journal for Theory, History & Foundations of Science, 2010, v. 25, n. 2, p. 137, doi. 10.1387/theoria.635
- By:
- Publication type:
- Article
Interest and Pregivenness in Husserl's Genealogy of Logic.
- Published in:
- Studia Phaenomenologica, 2018, v. 18, p. 49
- By:
- Publication type:
- Article
The Consequence of the Consequence Argument.
- Published in:
- Kriterion, 2020, v. 34, n. 4, p. 45, doi. 10.1515/krt-2020-340406
- By:
- Publication type:
- Article
The Consequence of the Consequence Argument.
- Published in:
- Kriterion, 2020, v. 34, n. 1, p. 1
- By:
- Publication type:
- Article
Defining Original Presentism.
- Published in:
- Kriterion, 2016, v. 30, n. 2, p. 29, doi. 10.1515/krt-2016-300206
- By:
- Publication type:
- Article
Yet Another Puzzle of Ground.
- Published in:
- Kriterion, 2015, v. 29, n. 2, p. 1, doi. 10.1515/krt-2015-290202
- By:
- Publication type:
- Article
A corpus study of kasama 'companion' in Tagalog.
- Published in:
- Concentric: Studies in Linguistics, 2020, v. 46, n. 2, p. 240, doi. 10.1075/consl.00019.kli
- By:
- Publication type:
- Article
Event-related states in secondary predication.
- Published in:
- Linguística: Revista de Estudos Linguísticos da Universidade do Porto, 2022, v. 2, p. 99, doi. 10.21747/16466195/ling2022v2a5
- By:
- Publication type:
- Article
Resistência do dativo de primeira pessoa na batalha (quase) perdida dos clíticos pronominais do português brasileiro.
- Published in:
- Revista de Estudos da Linguagem, 2022, v. 30, n. 4, p. 1621, doi. 10.17851/2237-2083.30.4.1621-1657
- By:
- Publication type:
- Article