Tag temporal_reasoning [35 articles] Export Sort

Recent papers classified by the tag temporal_reasoning.

Hide details

	The temporal logic of programs [My Copy] Foundations of Computer Science, 1977., 18th Annual Symposium on, Vol. 0 (18 July 2008), pp. 46-57. by Amir Pnueli posted to temporal_reasoning temporal_logic temporal-logic program_verification concurrent_programs by ajholanda on 2009-11-12 19:15:49 as along with 3 people knowlengr michaelbanks prahlad
	Reasoning with Temporal Constraints in RDF [My Copy] Principles and Practice of Semantic Web Reasoning (2006), pp. 164-178. by Carlos Hurtado, Alejandro Vaisman posted to temporal_reasoning reasoning kbs evidential by knowlengr on 2009-10-20 18:33:57 as along with 2 people and 1 group A_Olympia ilaria logics of knowledge
	An AGM-style belief revision mechanism for probabilistic spatio-temporal logics [My Copy] Artificial Intelligence (14 October 2009) by John Grant, Francesco Parisi, Austin Parker, V. S. Subrahmanian posted to temporal_reasoning spatial_reasoning probabilistic_reasoning belief_revision by fheintz on 2009-10-18 04:15:20 as
	Multi-Agent Coordination by Temporal Plan Fusion -Application to Combat Search and Rescue [My Copy] Information Fusion (20 September 2009) by Mohamad K. Allouche, Abdeslem Boukhtouta posted to temporal_reasoning planning mas by fheintz on 2009-09-23 21:35:53 as
	A spatio-temporal ontology for geographic information integration [My Copy] International Journal of Geographical Information Science, Vol. 23, No. 6. (2009), pp. 765-798. by Thomas Bittner, Maureen Donnelly, Barry Smith posted to spatial_reasoning temporal_reasoning by fheintz on 2009-08-07 10:21:55 as along with 1 person qiuyl
	An intensional approach to qualitative and quantitative periodicity-dependent temporal constraints [My Copy] International Journal of Intelligent Systems, Vol. 24, No. 8. (2009), pp. 902-918. by Luca Anselma, Stefania Montani, Paolo Terenziani posted to temporal_reasoning by fheintz on 2009-06-17 20:35:58 as
	Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra [My Copy] J. ACM, Vol. 42, No. 1. (1995), pp. 43-66. by Bernhard Nebel, Hans J. Bürckert posted to temporal_reasoning by fheintz on 2009-03-19 10:15:21 as along with 1 person mdengler
	Temporal Bayesian Network of Events for Diagnosis and Prediction in Dynamic Domains [My Copy] Applied Intelligence, Vol. 23, No. 2. (October 2005), pp. 77-86. by Gustavo Arroyo-Figueroa, Luis Sucar posted to diagnosis temporal_reasoning by fheintz on 2008-12-04 10:08:44 as along with 1 person Maderlock
	A survey on temporal reasoning in artificial intelligence [My Copy] AI Commun., Vol. 7, No. 1. (March 1994), pp. 4-28. by Llu\is Vila posted to survey temporal_reasoning by robotact on 2008-05-21 02:15:42 as
	Temporal reasoning about composite and/or periodic events [My Copy] Journal of Experimental & Theoretical Artificial Intelligence, Vol. 18, No. 1. (March 2006), pp. 87-115. by Terenziani, Paolo, Anselma, Luca posted to temporal_reasoning by fheintz on 2008-04-06 15:36:02 as along with 2 people and 1 group maddogmiller georgeon StFX Centre for Logic and Information
	General Temporal Knowledge for Planning and Data Mining [My Copy] Annals of Mathematics and Artificial Intelligence (September 2001), pp. 1-19. by R. Morris, L. Khatib posted to planning temporal_reasoning by fheintz on 2008-04-06 15:17:59 as
	Temporal reasoning about fuzzy intervals [My Copy] Artificial Intelligence, Vol. 172, No. 8-9. (May 2008), pp. 1158-1193. by Steven Schockaert, Martine De Cock posted to temporal_reasoning by fheintz on 2008-03-29 11:28:52 as
	Fuzzy branching temporal logic [My Copy] Systems, Man, and Cybernetics, Part B, IEEE Transactions on In Systems, Man, and Cybernetics, Part B, IEEE Transactions on, Vol. 34, No. 2. (2004), pp. 1045-1055. by Seong-Ick Moon, K. H. Lee, Doheon Lee posted to temporal_reasoning uncertainty_mgt by fheintz on 2007-12-12 17:43:26 as
	Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming [My Copy] In KI '97: Proceedings of the 21st Annual German Conference on Artificial Intelligence (1997), pp. 301-312. by Michael Haag, Wolfgang Theilmann, Kart Schäfer, Hans-Hellmut Nagel posted to temporal_reasoning video_recognition by fheintz on 2007-12-12 17:23:55 as
	Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 (Foundations of Artificial Intelligence) [My Copy] (25 March 2005) by Dov Gabbay, Lluis Vila, Michael Fisher posted to ai temporal_reasoning by fheintz on 2007-12-12 17:11:12 as
	A Visual Query Language for Uncertain Spatial and Temporal Data [My Copy] Visual Information and Information Systems (2006), pp. 163-176. by Karin Silvervarg, Erland Jungert posted to spatial_reasoning temporal_reasoning by fheintz on 2007-10-28 10:50:24 as
	Bayesian network modelling through qualitative patterns [My Copy] Artif. Intell., Vol. 163, No. 2. (April 2005), pp. 233-263. by Peter J. F. Lucas posted to bayesian_networks qualitative temporal_reasoning by fheintz on 2007-10-08 12:44:38 as
	Temporal abstraction for feature extraction: A comparative case study in prediction from intensive care monitoring data [My Copy] Artificial Intelligence in Medicine, Vol. 41, No. 1. (September 2007), pp. 1-12. by Marion Verduijn, Lucia Sacchi, Niels Peek, Riccardo Bellazzi, Evert de Jonge, Bas A. de Mol posted to abstraction feature_extraction medical_application temporal_reasoning by fheintz on 2007-08-31 12:24:58 as
	Duration Properties over Real Time System Designs [My Copy] In IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design (2000) by Victor Braberman, Fabio Pieniazek posted to model_checking rts_verification temporal_reasoning by citeilike on 2007-08-23 15:02:00 as
	Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems [My Copy] IEEE Trans. Softw. Eng., Vol. 20, No. 9. (September 1994), pp. 708-719. by George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden posted to parametric real-time_system temporal_reasoning by citeilike on 2007-06-12 08:31:26 as
	Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution [My Copy] In RTSS '06: Proceedings of the 27th IEEE International Real-Time Systems Symposium (2006), pp. 57-66. by Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Bjorn Lisper posted to parametric real-time_system temporal_reasoning by citeilike on 2007-06-12 07:56:52 as
	Reasoning About Time in Higher-Level Language Software [My Copy] IEEE Trans. Softw. Eng., Vol. 15, No. 7. (July 1989), pp. 875-889. by A. C. Shaw posted to real-time_system rts_specification temporal_reasoning by citeilike on 2007-06-10 15:11:31 as
	Temporal proof methodologies for timed transition systems [My Copy] Inf. Comput., Vol. 112, No. 2. (August 1994), pp. 273-337. by Thomas A. Henzinger, Zohar Manna, Amir Pnueli posted to real-time_system rts_verification temporal_logic temporal_reasoning by citeilike on 2007-06-08 06:46:57 as
	Temporal proof methodologies for real-time systems [My Copy] (1991) by Thomas A. Henzinger, Z. Manna, Amir Pnueli posted to real-time_system rts_specification rts_verification temporal_reasoning by citeilike on 2007-06-08 06:45:28 as
	Parametric real-time reasoning [My Copy] In STOC '93: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing (1993), pp. 592-601. by Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi posted to parametric real-time_system temporal_reasoning by citeilike on 2007-06-08 06:00:13 as
	Quantitative temporal reasoning [My Copy] Real-Time Systems, Vol. 4, No. 4. (1 December 1992), pp. 331-352. by E. A. Emerson, Mok, A. P. Sistla, J. Srinivasan posted to model_checking quantitative temporal_logic temporal_reasoning by citeilike on 2007-06-08 05:45:46 as
	The temporal specification and verification of real-time systems [My Copy] (1992) by Thomas A. Henzinger posted to doctoral_thesis real-time_system rts_specification rts_verification temporal_reasoning by citeilike on 2007-06-08 05:30:59 as
	Reasoning about Time in Higher-Level Language Software [My Copy] IEEE Transactions on Software Engineering, Vol. 15, No. 7. (1989), pp. 875-889. by A. C. Shaw posted to real-time_system rts_specification temporal_reasoning by citeilike on 2007-06-06 07:57:24 as
	Qualitative and quantitative temporal constraints and relational databases: theory, architecture, and applications [My Copy] Knowledge and Data Engineering, IEEE Transactions on, Vol. 11, No. 6. (1999), pp. 948-968. by V. Brusoni, L. Console, P. Terenziani, B. Pernici posted to temporal_reasoning by fheintz on 2006-06-06 18:31:21 as
	On the issue of valid time(s) in temporal databases [My Copy] SIGMOD Rec., Vol. 24, No. 3. (September 1995), pp. 40-43. by Stavros Kokkotos, Efstathios V. Ioannidis, Themis Panayiotopoulos, Constantine D. Spyropoulos posted to temporal_databases temporal_reasoning by fheintz on 2006-06-06 18:29:24 as
	Modeling Time: Adequacy of Three Distinct Time Concepts for Temporal Databases [My Copy] In ER '93: Proceedings of the 12th International Conference on the Entity-Relationship Approach (1994), pp. 475-491. by Seung-Kyum Kim, Sharma Chakravarthy posted to temporal_databases temporal_reasoning by fheintz on 2006-06-06 18:22:26 as
	Decidability Issues for Petri Nets - a Survey [My Copy] Bulletin of the European Association for Theoretical Computer Science, Vol. 52 (1994), pp. 245-262. by J. Esparza, M. Nielsen posted to temporal_reasoning by fheintz on 2006-01-18 15:14:43 as along with 3 people and 1 group pverstra abellogin samsalisbury macc
	TiNA: a scheme for temporal coherency-aware in-network aggregation [My Copy] In MobiDe '03: Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access (2003), pp. 69-76. by Mohamed A. Sharaf, Jonathan Beaver, Alexandros Labrinidis, Panos K. Chrysanthis posted to data_stream_mgt sensor_networks temporal_reasoning by fheintz on 2006-01-18 14:39:42 as
	Temporal representation and reasoning in artificial intelligence: Issues and approaches [My Copy] Annals of Mathematics and Artificial Intelligence, Vol. 28, No. 1-4. (2000), pp. 47-106. by Luca Chittaro, Angelo Montanari posted to temporal_reasoning by fheintz on 2005-12-11 10:52:45 as
	Introduction to the special issue on temporal information processing [My Copy] ACM Transactions on Asian Language Information Processing (TALIP), Vol. 3, No. 1. (March 2004), pp. 1-10. by Inderjeet Mani, James Pustejovsky, Beth Sundheim posted to knowledge_representation temporal_reasoning by fheintz on 2005-12-11 10:50:31 as along with 3 people wyf181 ssn neilernst

Note: You may cite this page as: http://www.citeulike.org/tag/temporal_reasoning

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

real-time_system	8
rts_specification	4
rts_verification	4
parametric	3
spatial_reasoning	3
temporal_logic	3
model_checking	2
planning	2
temporal_databases	2
abstraction	1
ai	1
bayesian_networks	1
belief_revision	1
concurrent_programs	1
data_stream_mgt	1
diagnosis	1
doctoral_thesis	1
electronic_medical_records	1
evidential	1
feature_extraction	1
kbs	1
knowledge_representation	1
mas	1
medical_application	1
probabilistic_reasoning	1
program_verification	1
qualitative	1
quantitative	1
reasoning	1
sensor_networks	1
survey	1
temporal-logic	1
uncertainty_mgt	1
video_recognition	1

Tag temporal_reasoning [35 articles] Export Sort

Related Tags