Search results for "Tense"

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