X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (18132) 18132
Conference Proceeding (2740) 2740
Book Chapter (538) 538
Dissertation (164) 164
Newspaper Article (147) 147
Magazine Article (141) 141
Book / eBook (113) 113
Government Document (30) 30
Publication (25) 25
Standard (18) 18
Book Review (8) 8
Reference (5) 5
Web Resource (5) 5
Trade Publication Article (3) 3
Paper (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
temporal logic (15523) 15523
mathematical models (2748) 2748
analysis (2514) 2514
algorithms (2277) 2277
engineering, electrical & electronic (1990) 1990
humans (1664) 1664
mathematical analysis (1535) 1535
computer science (1511) 1511
studies (1506) 1506
dynamics (1121) 1121
computer science, theory & methods (1119) 1119
logic (1090) 1090
computer simulation (1082) 1082
research (1024) 1024
computer science, artificial intelligence (956) 956
computer science, information systems (907) 907
semantics (906) 906
environmental sciences (882) 882
neurosciences (882) 882
time (862) 862
male (859) 859
model checking (834) 834
evolution (810) 810
female (804) 804
usage (779) 779
computer science, software engineering (770) 770
artificial intelligence (735) 735
networks (693) 693
optics (693) 693
correlation (664) 664
adult (644) 644
optimization (634) 634
verification (634) 634
remote sensing (609) 609
methods (579) 579
spectra (563) 563
geosciences, multidisciplinary (560) 560
animals (550) 550
lasers (537) 537
telecommunications (537) 537
simulation (522) 522
water resources (488) 488
brain (486) 486
trends (485) 485
classification (481) 481
monitoring (476) 476
conferences (467) 467
management (463) 463
physics, applied (461) 461
time series (435) 435
linear temporal logic (434) 434
meteorology & atmospheric sciences (431) 431
data mining (421) 421
systems (412) 412
physics (410) 410
mathematics (405) 405
magnetic resonance imaging (403) 403
complexity (402) 402
software (397) 397
temporale logik (395) 395
mathematics, applied (390) 390
ecology (381) 381
specifications (380) 380
time factors (374) 374
dynamical systems (372) 372
computation (369) 369
psychology (365) 365
memory (355) 355
human (352) 352
recognition (348) 348
philosophy (345) 345
channels (344) 344
noise (344) 344
perception (341) 341
sensors (340) 340
representations (339) 339
neural networks (338) 338
coherence (337) 337
density (336) 336
stability (336) 336
tasks (334) 334
china (332) 332
automata (331) 331
statistics (331) 331
precipitation (330) 330
computer science, hardware & architecture (327) 327
construction (324) 324
frames (323) 323
young adult (323) 323
variability (322) 322
learning (316) 316
software engineering (316) 316
strategy (313) 313
coding (312) 312
design engineering (307) 307
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (26) 26
Gerstein Science - Stacks (22) 22
Engineering & Comp. Sci. - Stacks (16) 16
Collection Dvlpm't (Acquisitions) - Vendor file (9) 9
Online Resources - Online (9) 9
UTL at Downsview - May be requested (6) 6
UofT at Mississauga - Stacks (6) 6
UofT at Scarborough - Stacks (6) 6
Collection Dvlpm't (Acquisitions) - Closed Orders (5) 5
Mathematical Sciences - Stacks (4) 4
Victoria University E.J. Pratt - Stacks (3) 3
Mathematical Sciences - Missing (2) 2
OISE - Stacks (2) 2
Physics - Circulation Desk (2) 2
Physics - Stacks (2) 2
Pontifical Inst. Mediaeval Studies - Library use only (2) 2
St. Michael's College (John M. Kelly) - 3rd Floor (2) 2
UofT at Scarborough - Circulation Desk (2) 2
Victoria University E.J. Pratt - Circulation Desk (2) 2
Gerstein Science - Circulation Desk (1) 1
Indust. Rel's & Hum. Resources (Newman) - Library use only (1) 1
OISE - Theses (1) 1
Trinity College (John W Graham) - Stacks (1) 1
Victoria University CRRS - Library use only (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (20913) 20913
Chinese (1052) 1052
Japanese (112) 112
Spanish (92) 92
Portuguese (63) 63
French (58) 58
German (41) 41
Italian (16) 16
Russian (10) 10
Korean (7) 7
Turkish (5) 5
Lithuanian (4) 4
Dutch (3) 3
Norwegian (3) 3
Polish (3) 3
Breton (2) 2
Croatian (2) 2
Czech (2) 2
Danish (2) 2
Latin (2) 2
Slovak (2) 2
Swedish (2) 2
Estonian (1) 1
Greek (1) 1
Hungarian (1) 1
Indonesian (1) 1
Slovenian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Journal of the ACM (JACM), ISSN 1557-735X, 09/2002, Volume 49, Issue 5, pp. 672 - 713
Journal Article
Theoretical computer science, ISSN 0304-3975, 11/2018, Volume 747, pp. 100 - 117
We introduce Visibly Linear Dynamic Logic (VLDL ), which extends Linear Temporal Logic (LTL... 
Model checking | Visibly pushdown languages | Temporal logic | Satisfiability | Infinite games | AUTOMATA | COMPUTER SCIENCE, THEORY & METHODS | Analysis | Robots | Algorithms
Journal Article
Automatica (Oxford), ISSN 0005-1098, 2009, Volume 45, Issue 2, pp. 343 - 352
In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics... 
Motion planning | Hybrid systems | Robustness | Temporal logic | Hierarchical control | DISCRETE | SYSTEMS | AUTOMATION & CONTROL SYSTEMS | ENGINEERING, ELECTRICAL & ELECTRONIC | Robotics industry | Analysis | Robots
Journal Article
Theoretical computer science, ISSN 0304-3975, 08/2017, Volume 691, pp. 27 - 54
Journal Article
Fuzzy sets and systems, ISSN 0165-0114, 05/2019, Volume 363, pp. 84 - 112
In this paper we present FTCLogic, a formal first-order logic that can manage fuzzy temporal constraints between variables efficiently... 
Possibility theory | Temporal reasoning | Approximate reasoning | Fuzzy inference systems | Fuzzy relations | Fuzzy constraint satisfaction | Non-classical logics | SYSTEM | MATHEMATICS, APPLIED | REPRESENTATION | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS
Journal Article
Information and computation, ISSN 0890-5401, 04/2017, Volume 253, pp. 237 - 256
Journal Article
Journal of Automated Reasoning, ISSN 0168-7433, 2/2018, Volume 60, Issue 2, pp. 177 - 220
Journal Article
Proceedings of the 19th International Conference on hybrid systems: computation and control, 04/2016, pp. 11 - 20
We show that metric temporal logic (MTL) the extension of linear temporal logic to real time, can be viewed as linear time-invariant filtering, by interpreting... 
lti filtering | measure | qualitative semantics | mtl | correspondence | temporal logic | quantitative semantics | Computer Science - Logic in Computer Science
Conference Proceeding
Automatica (Oxford), ISSN 0005-1098, 06/2015, Volume 56, pp. 78 - 85
This paper proposes an optimal control strategy for a discrete-time linear system constrained to satisfy a temporal logic specification over a set of linear predicates in its state variables... 
Discrete-time systems | Model predictive control | Formal methods | Linear temporal logic | AUTOMATION & CONTROL SYSTEMS | ENGINEERING, ELECTRICAL & ELECTRONIC
Journal Article
Algorithmica, ISSN 1432-0541, 2018, Volume 81, Issue 2, pp. 476 - 496
In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic... 
Backdoor sets | Linear temporal logic | Parameterized complexity | SATISFIABILITY | COMPUTER SCIENCE, SOFTWARE ENGINEERING | MATHEMATICS, APPLIED | BOUNDS | COMPLEXITY | Algorithms
Journal Article
Journal of logic and computation, ISSN 0955-792X, 06/2017, Volume 27, Issue 4, pp. 1225 - 1305
Journal Article
ACM Transactions on Database Systems (TODS), ISSN 0362-5915, 03/2015, Volume 40, Issue 1, pp. 1 - 46
Journal Article
Logical methods in computer science, ISSN 1860-5974, 12/2015, Volume 11, Issue 4
Journal Article
Journal of the ACM (JACM), ISSN 0004-5411, 06/2019, Volume 66, Issue 3, pp. 1 - 31
Journal Article
Journal Article
The Journal of neuroscience, ISSN 1529-2401, 2018, Volume 38, Issue 33, pp. 7193 - 7200
.... Following this logic leads to the idea of the successor representation, which encodes states of the environment in terms of their predictive relationships with other states... 
Cognitive map | Dopamine | Reward | Hippocampus | Reinforcement learning | reward | TASK | DOPAMINE SYSTEM | hippocampus | ENVIRONMENT | TEMPORAL CONTEXT | NEUROSCIENCES | reinforcement learning | HABITS | DEEP | UNCERTAINTY | OBJECT RECOGNITION | REWARD-PREDICTION | dopamine | cognitive map | Behavior, Animal | Exploratory Behavior | Algorithms | Animals | Humans | Reinforcement, Psychology | Models, Neurological | Goals | Hippocampus - physiology | Logic | Brain - physiology | TechSights
Journal Article
ACM Transactions on Computational Logic (TOCL), ISSN 1529-3785, 08/2012, Volume 13, Issue 3, pp. 1 - 32
Most of the research on temporalized Description Logics (DLs) has concentrated on the case where temporal operators can be applied to concepts, and sometimes additionally to TBox axioms and ABox assertions... 
complexity | description logics | temporal extensions | Knowledge representation | Description logics | Temporal Extensions | Complexity | TEMPORAL DESCRIPTION LOGIC | Theory | Verification | COMPUTER SCIENCE, THEORY & METHODS | LOGIC | Axioms
Journal Article