Search

Your search keyword '"temporal reasoning"' showing total 914 results
Start Over Descriptor "temporal reasoning"

Refine your results

more »

more »

more »

more »

more »
914 results on '"temporal reasoning"'

151. Towards an Efficient SAT Encoding for Temporal Reasoning

Author

Pham, Duc Nghia, Thornton, John, Sattar, Abdul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Benhamou, Frédéric, editor

Published
2006
Full Text
View/download PDF

152. Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis

Author

Roşu, Grigore, Bensalem, Saddek, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ball, Thomas, editor, and Jones, Robert B., editor

Published
2006
Full Text
View/download PDF

153. Retaining Consistency in Temporal Knowledge Bases

Author

Wotawa, Franz, Angerer, Bibiane, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Ali, Moonis, editor, and Dapoigny, Richard, editor

Published
2006
Full Text
View/download PDF

154. Imprecise Temporal Interval Relations

Author

Schockaert, Steven, De Cock, Martine, Kerre, Etienne E., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Bloch, Isabelle, editor, Petrosino, Alfredo, editor, and Tettamanzi, Andrea G. B., editor

Published
2006
Full Text
View/download PDF

155. A Qualitative Trajectory Calculus and the Composition of Its Relations

Author

Van de Weghe, Nico, Kuijpers, Bart, Bogaert, Peter, De Maeyer, Philippe, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Rodríguez, M. Andrea, editor, Cruz, Isabel, editor, Levashkin, Sergei, editor, and Egenhofer, Max J., editor

Published
2005
Full Text
View/download PDF

156. Weak Composition for Qualitative Spatial and Temporal Reasoning

Author

Renz, Jochen, Ligozat, Gérard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and van Beek, Peter, editor

Published
2005
Full Text
View/download PDF

157. A Linguistics-Based Framework for Modeling Spatio-temporal Occurrences and Purposive Change

Author

Howarth, Jeff T., Couclelis, Helen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cohn, Anthony G., editor, and Mark, David M., editor

Published
2005
Full Text
View/download PDF

158. A Logic Approach for LTL System Modification

Author

Ding, Yulin, Zhang, Yan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Hacid, Mohand-Said, editor, Murray, Neil V., editor, Raś, Zbigniew W., editor, and Tsumoto, Shusaku, editor

Published
2005
Full Text
View/download PDF

159. Anticipatory Agents Based on Anticipatory Reasoning

Author

Shang, Feng, Cheng, Jingde, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Hacid, Mohand-Said, editor, Murray, Neil V., editor, Raś, Zbigniew W., editor, and Tsumoto, Shusaku, editor

Published
2005
Full Text
View/download PDF

160. Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects

Author

Ramati, Michael, Shahar, Yuval, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Zucker, Jean-Daniel, editor, and Saitta, Lorenza, editor

Published
2005
Full Text
View/download PDF

161. A Tractable Subclass of Fuzzy Constraint Networks

Author

Bosch, Alfonso, Guil, Francisco, Marin, Roque, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Moreno Díaz, Roberto, editor, Pichler, Franz, editor, and Quesada Arencibia, Alexis, editor

Published
2005
Full Text
View/download PDF

162. A Fuzzy Temporal Diagnosis Algorithm and a Hypothesis Discrimination Proposal

Author

Palma, J., Juárez, J. M., Campos, M., Marín, R., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Mira, José, editor, and Álvarez, José R., editor

Published
2005
Full Text
View/download PDF

163. EventNet: Inferring Temporal Relations Between Commonsense Events

Author

Espinosa, Jose, Lieberman, Henry, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Gelbukh, Alexander, editor, de Albornoz, Álvaro, editor, and Terashima-Marín, Hugo, editor

Published
2005
Full Text
View/download PDF

164. Graph Theoretic Models for Reasoning About Time

Author

Golumbic, Martin Charles, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor

Published
2005
Full Text
View/download PDF

165. Ambient Intelligence Using KGP Agents

Author

Stathis, Kostas, Toni, Francesca, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Markopoulos, Panos, editor, Eggen, Berry, editor, Aarts, Emile, editor, and Crowley, James L., editor

Published
2004
Full Text
View/download PDF

166. References

Author

Visser, Ubbo, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, and Visser, Ubbo

Published
2004
Full Text
View/download PDF

167. Conclusion and Future Work

Author

Visser, Ubbo, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, and Visser, Ubbo

Published
2004
Full Text
View/download PDF

168. Solving Over-Constrained Temporal Reasoning Problems Using Local Search

Author

Beaumont, Matthew, Thornton, John, Sattar, Abdul, Maher, Michael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Zhang, Chengqi, editor, W. Guesgen, Hans, editor, and Yeap, Wai-Kiang, editor

Published
2004
Full Text
View/download PDF

171. Situated Reasoning in Time about Time

Author

ter Meulen, Alice G. B., Wójcicki, Ryszard, editor, Mundici, Daniele, editor, Orłowska, Ewa, editor, Priest, Graham, editor, Segerberg, Krister, editor, Urquhart, Alasdair, editor, Wansing, Heinrich, editor, Löwe, Benedikt, editor, Malzkom, Wolfgang, editor, and Räsch, Thoralf, editor

Published
2003
Full Text
View/download PDF

176. Constraint-Based Flexible Workflows

Author

Wainer, Jacques, de Lima Bezerra, Fábio, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Favela, Jesús, editor, and Decouchant, Dominique, editor

Published
2003
Full Text
View/download PDF

184. A Hybrid Treatment of Evolutionary Sets

Author

Heinemann, Bernhard, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, J. G., editor, Siekmann, J., editor, Coello Coello, Carlos A., editor, de Albornoz, Alvaro, editor, Sucar, Luis Enrique, editor, and Battistutti, Osvaldo Cairó, editor

Published
2002
Full Text
View/download PDF

186. Execution-Time Plan Management for a Cognitive Orthotic System

Author

Pollack, Martha E., McCarthy, Colleen E., Ramakrishnan, Sailesh, Tsamardinos, Ioannis, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Beetz, Michael, editor, Hertzberg, Joachim, editor, Ghallab, Malik, editor, and Pollack, Martha E., editor

Published
2002
Full Text
View/download PDF

187. Postdiction Problems in Dynamic Logic

Author

Chopra, Samir, Zhang, Dongmo, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Stumptner, Markus, editor, Corbett, Dan, editor, and Brooks, Mike, editor

Published
2001
Full Text
View/download PDF

189. The Point Algebra for Branching Time Revisited

Author

Broxvall, Mathias, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baader, Franz, editor, Brewka, Gerhard, editor, and Eiter, Thomas, editor

Published
2001
Full Text
View/download PDF

190. Appendix

Author

Ott, Thomas, Swiaczny, Frank, Ott, Thomas, and Swiaczny, Frank

Published
2001
Full Text
View/download PDF

191. Transparency of first language calendar terms and its impact on calendrical calculations in the first and the second language

Author

Zhuang, Ziyi and Vanek, Norbert

Subjects
Linguistic relativity, Crosslinguistic influence, Temporal reasoning, Bilingual cognition, Calendar calculation, Arts and Humanities
Abstract

This study investigates the effects of transparency of first language calendar terms on the speed and accuracy of calendrical calculations performed by Chinese-English bilinguals' in their transparent L1 (Chinese) and opaque L2 (English).

Published
2022
Full Text
View/download PDF

192. “First, I will get the marbles.” Children’s foresight abilities in a modified spoon task.

Author

Martin-Ordas, Gema

Subjects
*COGNITIVE ability, *REASONING in children, *CHILD psychology, *TASKS, *ABILITY testing
Abstract

Previous methodologies used to investigate future thinking (i.e., one-step “spoon test”) do not directly assess temporal reasoning. Consequently, the extent to which foresight is required to solve these tasks has been questioned. In the current study, 3-, 4- and 5-year-olds were presented with a two-step “spoon test”: to secure a future need (e.g., play with a marble run game), children first had to obtain a key that allowed them next to access the marbles. By the age of 4 children selected the key; however, it is only by the age of 5 that children reasoned about the temporal sequence of future events and selected the key. Temporal reasoning, memory for the past events and age significantly contributed to predict children’s ability to select the correct item. These findings suggest that temporal reasoning is crucial to assess future thinking and that item-choice measures alone might not involve foresight. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

193. Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach.

Author

Spiotta, Matteo, Terenziani, Paolo, and Dupre, Daniele Theseider

Subjects
*CONFORMANCE testing, *KNOWLEDGE management, *NONMONOTONIC logic, *COMPUTER programming, *MEDICAL terminology
Abstract

Clinical Guidelines (CGs) provide general evidence-based recommendations and physicians often have to resort also to their Basic Medical Knowledge (BMK) to cope with specific patients. In this paper, we explore the interplay between CGs and BMK from the viewpoint of a-posteriori conformance analysis, intended as the adherence of a specific execution log to both the CG and the BMK. In this paper, we consider also the temporal dimension: the guideline may include temporal constraints for the execution of actions, and its adaptation to a specific patient and context may add or modify conditions and temporal constraints for actions. We propose an approach for analyzing execution traces in Answer Set Programming with respect to a guideline and BMK, pointing out discrepancies – including temporal discrepancies – with respect to the different knowledge sources, and providing explanations regarding how the applications of the CG and the BMK have interacted, especially in case strictly adhering to both is not possible. [ABSTRACT FROM PUBLISHER]

Published
2017
Full Text
View/download PDF

194. Temporal representation and reasoning in OWL 2.

Author

Batsakis, Sotiris, Petrakis, Euripides G. M., Tachmazidis, Ilias, and Antoniou, Grigoris

Subjects
SEMANTIC Web, NATURAL language processing, WORLD Wide Web
Abstract

The representation of temporal information has been in the center of intensive research activities over the years in the areas of knowledge representation, databases and more recently, the Semantic Web. The proposed approach extends the existing framework of representing temporal information in ontologies by allowing for representation of concepts evolving in time (referred to as "dynamic" information) and of their properties in terms of qualitative descriptions in addition to quantitative ones (i.e., dates, time instants and intervals). For this purpose, we advocate the use of natural language expressions, such as "before" or "after", for temporal entities whose exact durations or starting and ending points in time are unknown. Reasoning over all types of temporal information (such as the above) is also an important research problem. The current work addresses all these issues as follows: The representation of dynamic concepts is achieved using the "4D-fluents" or, alternatively, the "N-ary relations" mechanism. Both mechanisms are thoroughly explored and are expanded for representing qualitative and quantitative temporal information in OWL. In turn, temporal information is expressed using either intervals or time instants. Qualitative temporal information representation in particular, is realized using sets of SWRL rules and OWL axioms leading to a sound, complete and tractable reasoning procedure based on path consistency applied on the existing relation sets. Building upon existing SemanticWeb standards (OWL), tools and member submissions (SWRL), as well as integrating temporal reasoning support into the proposed representation, are important design features of our approach. [ABSTRACT FROM AUTHOR]

Published
2017
Full Text
View/download PDF

195. Fault Propagation Reasoning and Diagnosis for Computer Networks Using Cyclic Temporal Constraint Network Model.

Author

Cui, Yiqian, Shi, Junyou, and Wang, Zili

Subjects
*COMPUTER networks, *DEBUGGING, *INFORMATION processing
Abstract

Fault diagnosis, including fault detection and isolation, is a critical task for computer networks. Among the various techniques used for online system-level diagnosis, we are interested in the approach based on temporal information processing. The delays of the computer networks are inevitable, and the fault localization process has to take into account bounded delays or the temporal constraints. Temporal information is fundamental in model-based diagnosis. There can be cycles or loops in a computer network, but the fault reasoning methods for such cases are seldom considered in the literature. This paper provides an analytic model based on the cyclic temporal constraint network (CTCN), which aims at the fault diagnosis of cyclic computer networks using temporal information. The goal of the proposed framework is twofold: given the network structures and the predetermined candidate fault causes, the CTCN model corresponding the computer network under test is formulated; based on the CTCN model, given the alarms sequences with timestamps, the fault diagnosis process is executed to determine the most likely fault cause(s) with its/their time interval(s) of occurrence(s). The reasoning method is dependent on time point and time distance information, with which the fault motivators (i.e., actors) and fault responders (i.e., victims) can be identified. The calculation process consists of three steps: 1) establishment of the objective function; 2) determination of the fault propagation paths; and 3) determination of the expected states with a given fault hypothesis. Finally, the proposed method is demonstrated via an application study, and the effectiveness of our proposed method is verified. [ABSTRACT FROM PUBLISHER]

Published
2017
Full Text
View/download PDF

196. A Hybrid Temporal Reasoning Framework for Fall Monitoring.

Author

Pannurat, Natthapon, Thiemjarus, Surapa, and Nantajeewarawat, Ekawit

Abstract

This paper presents a real-time method for detecting a fall at different phases using a wireless tri-axial accelerometer and reports the classification performance when the sensor is placed on different body parts. The proposed hybrid framework combines a rule-based knowledge representation scheme with a time control mechanism and machine-learning-based activity classification. Real-time temporal reasoning is performed using a standard rule-based inference engine. The framework is validated for fall detection performance, false alarm evaluation, and comparison with a highly cited baseline method. Based on a data set with 14 fall types (280 falls) collected from 16 subjects, the highest accuracy values of 86.54%, 87.31%, and 91.15% are obtained for fall detection at pre-impacts, impacts, and post-impacts, respectively. Without post-impact activity information, the side of the waist and chest are the best sensor positions, followed by the head, front of the waist, wrist, ankle, thigh, and upper arm. With post-impact activity information, the best sensor position is the side of the waist, followed by the head, wrist, front of the waist, thigh, chest, ankle, and upper arm. Most false alarms occur during transitions of lying postures. The proposed method is more robust to a variety of fall and activity types and yields better classification performance and false alarm rates compared with the baseline method. The results provide guidelines for sensor placement when developing a fall monitoring system. [ABSTRACT FROM PUBLISHER]

Published
2017
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results