Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
105 | Tomasz Jarmuzek, Andrzej Pietruszczak |
The Tense Logic for Master Argument in Prior's Reconstruction. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Master Argument of Diodorus Cronus, time and modalities, logical structures of time, modal and tense logics |
105 | Tadeusz Litak, Frank Wolter |
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic |
95 | Henk Verkuyl |
Georgian as the Testing-Ground for Theories of Tense and Aspect. |
TbiLLC |
2005 |
DBLP DOI BibTeX RDF |
|
74 | Jeremy E. Dawson, Rajeev Goré |
A Mechanisation of Classical Modal Tense Logics Using Isabelle. |
Australian Joint Conference on Artificial Intelligence |
1998 |
DBLP DOI BibTeX RDF |
logics for knowledge and belief, display logic, sequent calculus, automated deduction, hybrid logics, tense logic |
58 | Nicolette Bonnette, Rajeev Goré |
A Labelled Sequent System for Tense Logic Kt. |
Australian Joint Conference on Artificial Intelligence |
1998 |
DBLP DOI BibTeX RDF |
labelled deductive system, lean deduction, sequent system, automated deduction, tense logic |
49 | Rajeev Goré, Linda Postniece, Alwen Tiu |
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Corien Bary, Emar Maier |
The Dynamics of Tense under Attitudes - Anaphoricity and de seInterpretation in the Backward Shifted Past. |
JSAI |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Luca Viganò 0001, Marco Volpe 0001 |
Labeled Natural Deduction Systems for a Family of Tense Logics. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Yang Ye, Zhu Zhang |
Tense Tagging for Verbs in Cross-Lingual Context: A Case Study. |
IJCNLP |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Peter Øhrstrøm |
Existential Graphs and Tense Logic. |
ICCS |
1996 |
DBLP DOI BibTeX RDF |
|
46 | Leonie Bosveld-de Smet |
Diagrams in Second or Foreign Language Learning??! |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Alessandro Artale, Enrico Franconi |
Introducing Temporal Description Logics. |
TIME |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Nuel Belnap |
Truth Values, Neither-true-nor-false, and Supervaluations. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
neither-true-nor-false, non-denoting terms, future tense, vagueness, paradoxes, truth values |
41 | Peter Øhrstrøm |
Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. |
ICFCA |
2009 |
DBLP DOI BibTeX RDF |
dynamic and static time, A- and B-concepts, A.N. Prior, Temporal logic, tense logic |
41 | Michiel van Lambalgen, Claudia van Kruistum, Esther Parigger |
Discourse Processing in Attention-Deficit Hyperactivity Disorder (ADHD). |
J. Log. Lang. Inf. |
2008 |
DBLP DOI BibTeX RDF |
ADHD, Verb tense, Planning, Discourse models |
41 | Rajeev Goré, Lan Duy Nguyen |
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics |
41 | Johan van Benthem |
Time, logic and computation. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
first-order definability, period structure, point structure, Completeness, correspondence, event structure, temporal operator, computational semantics, tense logic |
35 | Qixiang Chen, Hidehito Honda, Kazuhiro Ueda |
Influence of linguistic tense marking on temporal discounting: From the perspective of asymmetric tense marking in Japanese. |
CogSci |
2019 |
DBLP BibTeX RDF |
|
35 | Tao Ge 0001, Heng Ji, Baobao Chang, Zhifang Sui |
One Tense per Scene: Predicting Tense in Chinese Conversations. |
ACL (2) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Iske Bakker, Lucy J. MacGregor, Friedemann Pulvermüller, Yury Shtyrov |
Past tense in the brain's time: Neurophysiological evidence for dual-route processing of past-tense verbs. |
NeuroImage |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Nianwen Xue, Hua Zhong, Kai-Yun Chen |
Annotating "tense" in a Tense-less Language. |
LREC |
2008 |
DBLP BibTeX RDF |
|
35 | Frank Wolter |
Tense Logic Without Tense Operators. |
Math. Log. Q. |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Patrick Blackburn |
Tense, Temporal Reference, and Tense Logic. |
J. Semant. |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Lenhart K. Schubert, Chung Hee Hwang |
Picking Reference Events from Tense A Formal, Implement able Theory of English Tense-Aspect Semantics Trees. |
HLT |
1990 |
DBLP BibTeX RDF |
|
33 | Joel Garreau |
Future tense - Radical evolution. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Robert J. Sawyer |
Future tense - Webmind says hello. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Jaron Lanier |
Future tense - Confusions of the hive mind. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Cory Doctorow |
Future tense - Pester power. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Michel Gagnon, Eliana de Mattos Pinto Coelho, Roger Antonio Finger |
Towards a Formalization of Tense and Aspect for the Generation of Portuguese Sentences. |
PROPOR |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Volker Diekert, Paul Gastin |
An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
33 | Bernard Moulin, Stéphanie Dumas |
The Temporal Structure of a Discourse and Verb Tense Determination. |
ICCS |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Kamal Lodaya, Ramaswamy Ramanujam |
Tense Logics for Local Reasoning in Distributed Systems. |
FSTTCS |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Guoxing Zhao, Jixin Ma 0001, Fuxing Shen, Miltos Petridis |
A Sound and Complete Reified Temporal Logic. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Reified Temporal Logic, Completeness |
31 | Kalyanamalini Sahoo |
A Deterministic Finite State Automaton for the Oriya Negative Verbal Forms. |
Language Engineering Conference |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Carlos Areces, Patrick Blackburn, Maarten Marx |
A Road-Map on Complexity for Hybrid Logics. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
Labeled Deduction, Computational Complexity, Description Logic, Modal and Temporal Logic |
31 | Madhukar N. Thakur, John Dinsmore |
Time representation based on knowledge partitioning (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Catherine Recanati, Nicoleta Rogovschi, Younès Bennani |
Hybrid Unsupervised Learning to Uncover Discourse Structure. |
LTC |
2007 |
DBLP DOI BibTeX RDF |
Tense, Connectionism and neural nets, Data mining, Clustering, Time, Unsupervised learning, Aspect, Text analysis, Discourse |
18 | Zhe Lin, Minghui Ma |
Cut-Free Gentzen Sequent Calculi for Tense Logics. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Libby Barak, Zara Harmon, Naomi H. Feldman, Jan Edwards, Patrick Shafto |
When Children's Production Deviates From Observed Input: Modeling the Variable Production of the English Past Tense. |
Cogn. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Federico G. Almiñana, Gustavo Pelaitay, William Zuluaga |
On Heyting Algebras with Negative Tense Operators. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Minghui Ma, Qian Chen |
Finite Model Property in Weakly Transitive Tense Logics. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Gustavo Pelaitay, William Zuluaga |
Tense Operators on Distributive Lattices with Implication. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Aldo V. Figallo, Gustavo Pelaitay, Jonathan Sarmiento |
Discrete Duality for Nelson Algebras with Tense Operators. |
Stud Logica |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yiming Ai, Zhiwei He 0002, Kai Yu 0004, Rui Wang 0015 |
TeCS: A Dataset and Benchmark for Tense Consistency of Machine Translation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Gallardo, Gustavo Pelaitay, Cecilia Segura Gallardo |
T-rough symmetric Heyting algebras with tense operators. |
Fuzzy Sets Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Xiulin Yang, Jingyan Chen, Arjan van Eerden, Ahnaf Mozib Samin, Arianna Bisazza |
Slaapte or Sliep? Extending Neural-Network Simulations of English Past Tense Learning to Dutch and German. |
NoDaLiDa |
2023 |
DBLP BibTeX RDF |
|
18 | Yiming Ai, Zhiwei He 0002, Kai Yu 0004, Rui Wang 0015 |
TeCS: A Dataset and Benchmark for Tense Consistency of Machine Translation. |
ACL (2) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Toshiyuki Ogihara |
Relative Tense without Existential Quantification and Before. |
J. Semant. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Inés Pascual |
Simple and Subdirectly Irreducible Tense LMθ-algebras. |
J. Multiple Valued Log. Soft Comput. |
2022 |
DBLP BibTeX RDF |
|
18 | Enas Ali Mohammed, Zinah Abdulridha Abutiheen, Hafedh Hameed Hussein |
Collaborative Writing Tools for Predicting Verb Tense Using Syntax Parsing on Learning Networks. |
Int. J. e Collab. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Zhe Lin 0002, Minghui Ma |
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Aldo V. Figallo, Jonathan Sermento, Gustavo Pelaitay |
A Categorical Equivalence for Tense Nelson Algebras. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Juan Carlos Sánchez Hernández |
Tableaux for Some Modal-Tense Logics Graham Priest's Fashion. |
Stud Logica |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Xiaomeng Ma, Lingyu Gao |
How do we get there? Evaluating transformer neural networks as cognitive models for English past tense inflection. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Shokoofeh Ghorbani |
Tense operators on frameable equality algebras. |
Soft Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | John S. Seberger |
Into the archive of ubiquitous computing: the data perfect tense and the historicization of the present. |
J. Documentation |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Xiaomeng Ma, Lingyu Gao |
How do we get there? Evaluating transformer neural networks as cognitive models for English past tense inflection. |
AACL/IJCNLP (1) |
2022 |
DBLP BibTeX RDF |
|
18 | Samia Touileb |
Exploring the Effects of Negation and Grammatical Tense on Bias Probes. |
AACL/IJCNLP (2) |
2022 |
DBLP BibTeX RDF |
|
18 | Xiaoyang Wang, Yanjing Wang 0001 |
Tense Logics over Lattices. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Yuxuan Liu, Maofu Liu, Mengjie Wu |
Numeral Tense Detection in Chinese Financial News. |
WWW (Companion Volume) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Hiroakira Ono, Katsuhiko Sano |
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
18 | Zhao Xu, Zheng Wu |
Divergence and Convergence in Tense and Aspect Meanings of "guo" and "le". |
CLSW (1) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | James Read, Emily Qureshi-Hurst |
Getting tense about relativity. |
Synth. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu |
Display to Labeled Proofs and Back Again for Tense Logics. |
ACM Trans. Comput. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Aldo V. Figallo, Gustavo Pelaitay, Jonathan Sarmiento |
An Algebraic Study of Tense Operators on Nelson Algebras. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Minghui Ma, Qian Chen |
Lattices of Finitely Alternative Normal Tense Logics. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Petroula Mousikou, Patrycja Strycharczuk, Alice Turk, James M. Scobbie |
Coarticulation across morpheme boundaries: An ultrasound study of past-tense inflection in Scottish English. |
J. Phonetics |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Danièle Allard, Riichiro Mizoguchi |
Dr. Mosaik: a holistic framework for understanding the English tense-aspect system based on ontology engineering. |
Res. Pract. Technol. Enhanc. Learn. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Yu Peng, Zhe Lin, Fei Liang |
On the Finite Model Property of Weak Intuitionistic Tense Logic. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Avril Styrman |
Tense Logic and Ontology of Time. |
JOWO |
2021 |
DBLP BibTeX RDF |
|
18 | Bingzhi Li, Guillaume Wisniewski |
Are Neural Networks Extracting Linguistic Properties or Memorizing Training Data? An Observation with a Multilingual Probe for Predicting Tense. |
EACL |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré |
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. |
TABLEAUX |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Maitrei Kohli, George D. Magoulas, Michael S. C. Thomas |
Evolving Connectionist Models to Capture Population Variability across Language Development: Modeling Children's Past Tense Formation. |
Artif. Life |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Nadia Refat, Md. Arafatur Rahman, A. Taufiq Asyhari, Hafizoah Kassim, Ibnu Febry Kurniawan, Mahbubur Rahman 0002 |
MATT: A Mobile Assisted Tense Tool for Flexible m-Grammar Learning Based on Cloud-Fog-Edge Collaborative Networking. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Charles Redmon, Keith King Wui Leung, Yue Wang 0065, Bob McMurray, Allard Jongman, Joan A. Sereno |
Cross-linguistic perception of clearly spoken English tense and lax vowels based on auditory, visual, and auditory-visual information. |
J. Phonetics |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ali Hürriyetoglu |
Tense, aspect and mood based event extraction for situation analysis and crisis management. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Anita Ramm, Ekaterina Lapshinova-Koltunski, Alexander M. Fraser |
Pragmatic information in translation: a corpus-based study of tense and mood in English and German. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Dan Geer |
For Good Measure: Security Measurement in the Present Tense. |
login Usenix Mag. |
2020 |
DBLP BibTeX RDF |
|
18 | Adil Mohammed Hamoud Qadha, Mohammed Ahmed Alward |
The effect of using videos in teaching and learning English present progressive tense. |
Interact. Technol. Smart Educ. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Mengrou Li, Ying Chen, Jie Cui |
The Effect of Input on the Production of English Tense and Lax Vowels by Chinese Learners: Evidence from an Elementary School in China. |
INTERSPEECH |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Jian Gong, Di Xue, William Bellamy, Feng Wang, Xiaoli Ji |
Temporal and Formant Trajectory Analysis of English Tense-Lax Vowels Produced by Native Chinese Speakers. |
APSIPA |
2020 |
DBLP BibTeX RDF |
|
18 | Tillmann Dönicke |
Clause-Level Tense, Mood, Voice and Modality Tagging for German. |
TLT |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ryo Takahashi, Keiko Ogawa-Ochiai, Norimichi Tsumura |
Visualizing Blood Flow of Palm in Different Muscle Tense State Using High-Speed Video Camera. |
ICISP |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Daniela Palleschi, Camilo Rodriguez Ronderos, Pia Knoeferle |
Effects of linguistic context and world knowledge on the processing of tense and aspect: evidence from eye-tracking. |
CogSci |
2020 |
DBLP BibTeX RDF |
|
18 | Dag Svanæs, Louise Barkhuus |
The Designer's Body as Resource in Design: Exploring Combinations of Point-of-view and Tense. |
CHI |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston |
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Fei Liang, Zhe Lin |
On the Decidability of Intuitionistic Tense Logic without Disjunction. |
IJCAI |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Jian Gong, Zhenzhen Yang, William Bellamy, Feng Wang, Xiaoli Ji |
Effect of Perceptual Training on the Production of English Tense-Lax Vowels by Native Chinese Speakers. |
IALP |
2020 |
DBLP DOI BibTeX RDF |
|
18 | M. Ryan Bochnak, Vera Hohaus, Anne Mucha |
Variation in Tense and Aspect, and the Temporal Interpretation of Complement Clauses. |
J. Semant. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Peter Øhrstrøm |
A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston |
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Rajeev Goré, Björn Lellmann |
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version). |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Maria Corkery, Yevgen Matusevych, Sharon Goldwater |
Are we there yet? Encoder-decoder neural networks as cognitive models of English past tense inflection. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu |
Display to Labelled Proofs and Back Again for Tense Logics. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay |
A topological duality for tense $$\theta $$ θ -valued Łukasiewicz-Moisil algebras. |
Soft Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Michal Místecký, Gabriel Altmann |
Tense and Person in English: Modelling Attempts. |
Glottometrics |
2019 |
DBLP BibTeX RDF |
|
18 | Kaiyang Lin, Zhe Lin 0002 |
The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Osamu Sawada, Jun Sawada |
The Ambiguity of Tense in the Japanese Mirative Sentence with Nante/Towa. |
JSAI-isAI Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Christine F. Cuskley, Stella Frank, Kenny Smith |
From wugged to wug: Reverse generalisation of stems from novel past tense verbs. |
CogSci |
2019 |
DBLP BibTeX RDF |
|
18 | Rajeev Goré, Björn Lellmann |
Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|