STRONG COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC FOR REAL TIME.
- Published in:
- Review of Symbolic Logic, 2025, v. 18, n. 2, p. 527, doi. 10.1017/S1755020324000121
- By:
- Publication type:
- Article
Works matching DE "SEMANTICS methodology"
Results: 78
1
2
On the weak completeness of a fragment of linear temporal logic Open Access.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 5, p. 1, doi. 10.1093/logcom/exaf037
- By:
- Publication type:
- Article
3
Una propuesta de cambio para la teoría semántica. ¿El deflacionismo de Horwich o el antifactualismo de Kripkenstein?
- Published in:
- Teorema, 2008, v. 27, n. 2, p. 61
- By:
- Publication type:
- Article
4
A Survey on Automatically Mining Facets for Web Queries.
- Published in:
- International Journal of Electrical & Computer Engineering (2088-8708), 2017, v. 7, n. 6, p. 3700, doi. 10.11591/ijece.v7i6.pp3700-3704
- By:
- Publication type:
- Article
5
Sider on Existence.
- Published in:
- Nous (0029-4624), 2007, v. 41, n. 3, p. 519, doi. 10.1111/j.1468-0068.2007.00658.x
- By:
- Publication type:
- Article
6
A novel methodology for clinical semantic annotations assessment.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 6, p. 569, doi. 10.1093/jigpal/jzy021
- By:
- Publication type:
- Article
7
Axiomatization of a Denotational Semantics for First-order Logic.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 4, p. 277, doi. 10.1093/jigpal/12.4.277
- By:
- Publication type:
- Article
8
The Semantics and Pragmatics of Translating the CUV Bible.
- Published in:
- Ching Feng: A Journal on Christianity & Chinese Religion & Culture, 2020, v. 19, n. 1/2, p. 157
- By:
- Publication type:
- Article
9
An Event-Oriented Data Modeling Technique Based on the Cognitive Semantics Theory.
- Published in:
- Journal of Database Management, 2012, v. 23, n. 4, p. 52, doi. 10.4018/jdm.2012100103
- By:
- Publication type:
- Article
10
Standard and Super-Standard English: Recognition and Use of Prescriptive Rules By Native and Non-Native Speakers.
- Published in:
- TESOL Quarterly, 1977, v. 11, n. 4, p. 415, doi. 10.2307/3585738
- By:
- Publication type:
- Article
11
General Semantics … … and Rhetoric.
- Published in:
- Today's Speech, 1966, v. 14, n. 4, p. 18, doi. 10.1080/01463376609368788
- By:
- Publication type:
- Article
12
Human motion capture data retrieval based on semantic thumbnail.
- Published in:
- Multimedia Tools & Applications, 2016, v. 75, n. 19, p. 11723, doi. 10.1007/s11042-015-2705-3
- By:
- Publication type:
- Article
13
Towards load shedding and scheduling schemes for data streams that maintain quality and timing requirements of query results.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2016, v. 20, n. 5, p. 1961, doi. 10.1007/s00500-015-1617-5
- By:
- Publication type:
- Article
14
Characteristic of creating methodology of correction of the semantic field of words.
- Published in:
- International Journal of Pedagogy, Innovation & New Technologies, 2018, v. 5, n. 1, p. 98, doi. 10.5604/01.3001.0012.2145
- By:
- Publication type:
- Article
15
Relational data modelling of textual corpora: The Skaldic Project and its extensions.
- Published in:
- Digital Scholarship in the Humanities, 2015, p. 294, doi. 10.1093/llc/fqt045
- By:
- Publication type:
- Article
16
Predication and Opposition in Dào Dé Jīng Thought Experimental Analyses of (e.g.) 道可道 非常道 (III) Global Cross-cultural and Religious Aspects.
- Published in:
- Humanities Bulletin, 2025, v. 8, n. 1, p. 20
- By:
- Publication type:
- Article
17
Review of Han, Wen & Runcieman (2023): Interpreting as Translanguaging: Theory, Research, and Practice.
- Published in:
- 2025
- By:
- Publication type:
- Book Review
18
SUPERVISED OUTLIER DETECTION IN LARGE-SCALE MVS POINT CLOUDS FOR 3D CITY MODELING APPLICATIONS.
- Published in:
- ISPRS Annals of Photogrammetry, Remote Sensing & Spatial Information Sciences, 2018, v. 4, n. 2, p. 263, doi. 10.5194/isprs-annals-IV-2-263-2018
- By:
- Publication type:
- Article
19
Using ontologies to capture the semantics of a (business) process for digital preservation.
- Published in:
- International Journal on Digital Libraries, 2015, v. 15, n. 2-4, p. 129, doi. 10.1007/s00799-015-0141-7
- By:
- Publication type:
- Article
20
Naming and Translation/Naming in Translation: Toward a Close Reading of "Don Quijote" (Part I, Chapter I).
- Published in:
- Names: A Journal of Onomastics, 2009, v. 57, n. 1, p. 17, doi. 10.1179/175622709X402645
- By:
- Publication type:
- Article
21
WORDS IN AND OUT OF HISTORY: INDIAN SEMANTIC DERIVATION (NIRVACANA) AND MODERN ETYMOLOGY IN DIALOGUE.
- Published in:
- Philosophy East & West: A Quarterly of Comparative Philosophy, 2017, v. 67, n. 4, p. 1143, doi. 10.1353/pew.2017.0097
- By:
- Publication type:
- Article
22
Applying semantics to grid middleware.
- Published in:
- Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 13, p. 1725, doi. 10.1002/cpe.1395
- By:
- Publication type:
- Article
23
Towards a Methodology for Knowledge Reuse Based on Semantic Repositories.
- Published in:
- Information Systems Frontiers, 2019, v. 21, n. 1, p. 5, doi. 10.1007/s10796-018-9862-7
- By:
- Publication type:
- Article
24
Methodological Principles of Investigating Semantic Structure of Ukrainian Axionomens of the Danube Region.
- Published in:
- Journal of Danubian Studies & Research, 2015, v. 5, n. 2, p. 229
- By:
- Publication type:
- Article
25
The New‐Meaning Objection: A Reply to Nicolò D'Agruma.
- Published in:
- Cognitive Science, 2025, v. 49, n. 1, p. 1, doi. 10.1111/cogs.70036
- By:
- Publication type:
- Article
26
The Collections Ontology: Creating and handling collections in OWL 2 DL frameworks.
- Published in:
- Semantic Web (1570-0844), 2014, v. 5, n. 6, p. 515, doi. 10.3233/SW-130121
- By:
- Publication type:
- Article
27
Natural Language Generation in the context of the Semantic Web.
- Published in:
- Semantic Web (1570-0844), 2014, v. 5, n. 6, p. 493, doi. 10.3233/SW-130125
- By:
- Publication type:
- Article
28
How ontologies benefit enterprise applications.
- Published in:
- Semantic Web (1570-0844), 2014, v. 5, n. 6, p. 473, doi. 10.3233/SW-130114
- By:
- Publication type:
- Article
29
An egocentric semantic reference system for affordances.
- Published in:
- Semantic Web (1570-0844), 2014, v. 5, n. 6, p. 449, doi. 10.3233/SW-130119
- By:
- Publication type:
- Article
30
SECURITY ANALYSIS OF MVHASH-B SIMILARITY HASHING.
- Published in:
- Journal of Digital Forensics, Security & Law, 2016, v. 11, n. 2, p. 21
- By:
- Publication type:
- Article
31
The heart of the matter: A matter of the heart: The crucifixion of Jesus from a cognitive semantic perspective.
- Published in:
- Review of Cognitive Linguistics, 2022, v. 20, n. 1, p. 91, doi. 10.1075/rcl.00102.kov
- By:
- Publication type:
- Article
32
On-line processing of verb-argument constructions.
- Published in:
- Review of Cognitive Linguistics, 2016, v. 14, n. 1, p. 105, doi. 10.1075/rcl.14.1.05ell
- By:
- Publication type:
- Article
33
Semantically-based functions of noun-class markers in Tagbana.
- Published in:
- Cognitive Linguistics, 2017, v. 28, n. 1, p. 131, doi. 10.1515/cog-2015-0100
- By:
- Publication type:
- Article
34
Sentiment Analysis of Micro-blog Integrated on Explicit Semantic Analysis Method.
- Published in:
- Wireless Personal Communications, 2018, v. 102, n. 2, p. 1095, doi. 10.1007/s11277-017-5144-9
- By:
- Publication type:
- Article
35
Semantic Segmentation of Underwater Imagery Using Deep Networks Trained on Synthetic Imagery.
- Published in:
- Journal of Marine Science & Engineering, 2018, v. 6, n. 3, p. 93, doi. 10.3390/jmse6030093
- By:
- Publication type:
- Article
36
HOMOPHONIC PREJUDICES.
- Published in:
- Crítica, 2008, v. 40, n. 120, p. 67, doi. 10.22201/iifs.18704905e.2008.999
- By:
- Publication type:
- Article
37
Semantic interoperability in IoT-based automation infrastructures.
- Published in:
- Automatisierungstechnik, 2016, v. 64, n. 9, p. 742, doi. 10.1515/auto-2016-0067
- By:
- Publication type:
- Article
38
Tile-Level Annotation of Satellite Images Using Multi-Level Max-Margin Discriminative Random Field.
- Published in:
- Remote Sensing, 2013, v. 5, n. 5, p. 2275, doi. 10.3390/rs5052275
- By:
- Publication type:
- Article
39
dbPEC: a comprehensive literature-based database for preeclampsia related genes and phenotypes.
- Published in:
- Database: The Journal of Biological Databases & Curation, 2016, v. 2016, p. 1, doi. 10.1093/database/baw006
- By:
- Publication type:
- Article
40
HIGHER-ORDER ATTRIBUTE SEMANTICS OF FLAT DECLARATIVE LANGUAGES.
- Published in:
- Computing & Informatics, 2010, v. 29, n. 2, p. 251
- By:
- Publication type:
- Article
41
The Semantics of Change as Revealed Through an Examination of Financial Accounting Standards Amendments.
- Published in:
- Journal of Emerging Technologies in Accounting, 2006, v. 3, p. 41, doi. 10.2308/jeta.2006.3.1.41
- By:
- Publication type:
- Article
42
Tracing semantic change with distributional methods: The contexts of algo.
- Published in:
- Diachronica, 2023, v. 40, n. 2, p. 153, doi. 10.1075/dia.21012.ama
- By:
- Publication type:
- Article
43
Principles of linguistic composition below and beyond the clause: Elements of a semantic combinatorial system.
- Published in:
- Pragmatics & Cognition, 2006, v. 14, n. 3, p. 501, doi. 10.1075/pc.14.3.04bun
- By:
- Publication type:
- Article
44
Coherent Taylor expansion as a bimonad.
- Published in:
- 2025
- By:
- Publication type:
- Conference Paper/Materials
45
Learning distributed representations of conceptual...
- Published in:
- Connection Science, 1990, v. 2, n. 4, p. 313, doi. 10.1080/09540099008915676
- By:
- Publication type:
- Article
46
La no evidencia de la “evidence". A veinte años del inicio de su uso.
- Published in:
- 2014
- By:
- Publication type:
- Essay
47
Analyticity and Possible-World Semantics.
- Published in:
- Erkenntnis, 2010, v. 72, n. 3, p. 295, doi. 10.1007/s10670-010-9216-4
- By:
- Publication type:
- Article
48
Social Representations of Human Rights Amongst Czech University Students.
- Published in:
- Journal of Community & Applied Social Psychology, 1997, v. 7, n. 1, p. 65, doi. 10.1002/(SICI)1099-1298(199702)7:1<65::AID-CASP400>3.0.CO;2-Q
- By:
- Publication type:
- Article
49
Military metaphors in contemporary Chinese disease coverage: a case study of the People's Daily, 1946–2019.
- Published in:
- Chinese Journal of Communication, 2021, v. 14, n. 3, p. 259, doi. 10.1080/17544750.2020.1818593
- By:
- Publication type:
- Article
50
Influences of Length and Syntactic Complexity on the Speech Motor Stability of the Fluent Speech of Adults Who Stutter.
- Published in:
- Journal of Speech, Language & Hearing Research, 2000, v. 43, n. 2, p. 548, doi. 10.1044/jslhr.4302.548
- By:
- Publication type:
- Article