{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:59:40Z","timestamp":1761620380485,"version":"build-2065373602"},"reference-count":1045,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444514936"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1016\/s1574-6526(05)80022-7","type":"book-chapter","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T17:57:38Z","timestamp":1188928658000},"page":"655-664","source":"Crossref","is-referenced-by-count":0,"title":["Time in Qualitative Simulation"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(05)80022-7_bib1","first-page":"1","article-title":"A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic","volume":"8","author":"qvist","year":"1979","journal-title":"J. Philosophical Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-15648-8_1","article-title":"Nonclausal Temporal Deduction","volume":"193","author":"Abadi","year":"1985","journal-title":"Lecture Notes in Computer Science"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib3","doi-asserted-by":"crossref","DOI":"10.1016\/S0747-7171(89)80070-7","article-title":"Temporal Logic Programming","volume":"8","author":"Abadi","year":"1989","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib4","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/77600.77617","article-title":"Nonclausal Deduction in First-Order Temporal Logic","volume":"37","author":"Abadi","year":"1990","journal-title":"Journal of the ACM"},{"article-title":"Temporal-Logic Theorem Proving","year":"1987","author":"Abadi","key":"10.1016\/S1574-6526(05)80022-7_bib5"},{"key":"10.1016\/S1574-6526(05)80022-7_bib6","series-title":"Proceedings of the International Conference on Extending Database Technology (EDBT)","article-title":"A Logic-Based Language for Complex Objects","author":"Abiteboul","year":"1988"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib7","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0304-3975(51)90007-2","article-title":"On the Representation and Querying of Sets of Possible Worlds","volume":"78","author":"Abiteboul","year":"1991","journal-title":"Theoretical Computer Science"},{"year":"1995","author":"Abiteboul","key":"10.1016\/S1574-6526(05)80022-7_bib8"},{"key":"10.1016\/S1574-6526(05)80022-7_bib9","series-title":"Proceedings of the ACM Symposium on Principles of Database Systems (PODS)","first-page":"49","article-title":"Temporal Versus First-Order Logic to Query Temporal Databases","author":"Abiteboul","year":"1996"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib10","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1006\/jcss.1998.1598","article-title":"Temporal Connectives Versus Explicit Timestamps to Query Temporal Databases","volume":"58","author":"Abiteboul","year":"1999","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1574-6526(05)80022-7_bib11","series-title":"Proceedings of the 2nd International Conference on Data Engineering","first-page":"374","article-title":"Towards an Implementation of Database Management Systems with Temporal Support","author":"Ahn","year":"1986"},{"year":"1996","author":"Alferes","key":"10.1016\/S1574-6526(05)80022-7_bib12"},{"key":"10.1016\/S1574-6526(05)80022-7_bib13","series-title":"Proceedings of International Conference on Uncertainty in AI (UAI)","first-page":"28","article-title":"A Structurally and Temporally Extended Bayesian Belief Network Model: Definitions, Properties, and Modeling Techniques","author":"Aliferis","year":"1996"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib14","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","article-title":"Actions and events in interval temporal logic","volume":"4","author":"Allen","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib15","first-page":"528","article-title":"A Common-Sense Theory of Time","author":"Allen","year":"1985"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1111\/j.1467-8640.1989.tb00329.x","article-title":"Moments and Points in an Interval-Based Temporal Logic","volume":"5","author":"Allen","year":"1989","journal-title":"Computational Intelligence"},{"issue":"11","key":"10.1016\/S1574-6526(05)80022-7_bib17","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining Knowledge About Temporal Intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib18","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","article-title":"Towards a General Theory of Action and Time","volume":"23","author":"Allen","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib19","series-title":"Reasoning about Plans, chapter 1","first-page":"1","article-title":"Temporal reasoning and planning","author":"Allen","year":"1991"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib20","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1002\/int.4550060403","article-title":"Time and Time Again: The Many Ways to Represent Time","volume":"6","author":"Allen","year":"1991","journal-title":"International Journal of Intelligent Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib21","series-title":"Real Time: Theory in Practice","first-page":"74","article-title":"Logics and Models of Real-Time: A Survey","author":"Alur","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib22","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1006\/inco.1993.1025","article-title":"Real-Time Logics: Complexity and Expressiveness","volume":"104","author":"Alur","year":"1993","journal-title":"Information and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib23","series-title":"Proceedings of International Workshop on Theory of Hybrid Systems","first-page":"209","article-title":"Hybrid Automata: an Algorithmic Approach to the Specification and Analysis of Hybrid Systems","author":"Alur","year":"1993"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib24","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1145\/177492.177673","article-title":"On the Occur-Check Free Logic Programs","volume":"16","author":"Apt","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib25","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a Theory of Declarative Knowledge","author":"Apt","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib26","first-page":"493","article-title":"Logic Programming","volume":"volume B","author":"Apt","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib27","series-title":"Proceedings of the ACM Symposium on Principles of Database Systems (PODS)","first-page":"221","article-title":"Characterizing Memory Requirements for Queries over Continuous Data Streams","author":"Arasu","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib28","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR'94)","first-page":"3","article-title":"A Computational Account for a Description Logic of Time and Action","author":"Artale","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib29","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1613\/jair.516","article-title":"A Temporal Description Logic for Reasoning about Actions and Plans","volume":"9","author":"Artale","year":"1998","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib30","series-title":"Proceedings of the International Conference on Conceptual Modeling (ER'99)","article-title":"Temporal Entity-Relationship Modeling with Description Logics","author":"Artale","year":"1999"},{"article-title":"Temporal Description Logics for Conceptual Modelling","year":"2000","author":"Artale","key":"10.1016\/S1574-6526(05)80022-7_bib31"},{"issue":"1\u20134","key":"10.1016\/S1574-6526(05)80022-7_bib32","article-title":"A Survey of Temporal Extensions of Description Logics","volume":"30","author":"Artale","year":"2001","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib33","series-title":"Proceedings of the 1999 Description Logic Workshop (DL'99)","first-page":"145","article-title":"A Correspondence between Temporal Description Logics","author":"Artale","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib34","series-title":"Proceedings of European Conference on Artificial Intelligence (ECAI)","first-page":"622","article-title":"Al planning in a chemical plant domain","author":"Aylett","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib35","series-title":"Proceedings of Twelfth international Conference on Artificial Intelligence (IJCAI)","first-page":"446","article-title":"A Scheme for Integrating Concrete Domains into Concept Languages","author":"Baader","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib36","series-title":"Proceedings of the 16th German AI-Conference (GWAI-92)","first-page":"132","article-title":"Extensions of Concept Languages for a Mechanical Engineering Application","author":"Baader","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib37","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1080\/11663081.1995.10510854","article-title":"A Multi-Dimensional Terminological Knowledge Representation Language","volume":"5","author":"Baader","year":"1995","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10.1016\/S1574-6526(05)80022-7_bib38","series-title":"Proceedings of the ACM Symposium on Principles of Database Systems (PODS)","first-page":"1","article-title":"Models and Issues in Data Stream Systems","author":"Babcock","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib39","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"417","article-title":"Planning with Resources and Concurrency: A Forward Chaining Approach","author":"Bacchus","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib40","series-title":"Proceedings of AAAI'96","first-page":"1215","article-title":"Planning for Temporally Extended Goals","author":"Bacchus","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib41","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1018985923441","article-title":"Planning for Temporally Extended Goals","volume":"22","author":"Bacchus","year":"1998","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib42","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","article-title":"Using Temporal Logic to Express Search Control Knowledge for Planning","volume":"116","author":"Bacchus","year":"2000","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib43","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(91)90025-F","article-title":"A Non-Reified Temporal Logic","volume":"52","author":"Bacchus","year":"1991","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib44","first-page":"47","article-title":"The AIPS'00 Planning Competition","volume":"22","author":"Bacchus","year":"2001","journal-title":"AI Magazine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib45","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF00627432","article-title":"The Algebra of Events","volume":"9","author":"Bach","year":"1986","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1574-6526(05)80022-7_bib46","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BFb0013983","article-title":"Dealing with Time Granularity in a Temporal Planning System","volume":"827","author":"Badaloni","year":"1994","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib47","series-title":"Proceedings of AIPS","first-page":"13","article-title":"DPPlan: An Algorithm for Fast Solutions Extraction from a Planning Graph","author":"Baioletti","year":"2000"},{"key":"10.1016\/S1574-6526(05)80022-7_bib48","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR-89)","first-page":"11","article-title":"A simple solution to the Yale Shooting Problem","author":"Baker","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib49","series-title":"Proceedings of International Conference on Knowledge Representation and Reasoning (KR)","article-title":"Bidimensional Temporal Relations","author":"Balbiani","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib50","series-title":"Proceedings of the 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic (TIME-ICTL'03)","article-title":"On the Consistency Problem for the indu Calculus","author":"Balbiani","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib51","series-title":"Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE)","article-title":"A-Prolog as a Tool for Declarative Programming","author":"Balduccini","year":"2000"},{"article-title":"A Study of an Extended Temporal Logic and a Temporal Fixed Point Calculus","year":"1986","author":"Banieqbal","key":"10.1016\/S1574-6526(05)80022-7_bib52"},{"key":"10.1016\/S1574-6526(05)80022-7_bib53","series-title":"Temporal Logic in Specification","first-page":"62","article-title":"Temporal logic with fixed points","author":"Banieqbal","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib54","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0933-3657(94)90055-8","article-title":"A Causal and Temporal Reasoning Model and its use in Drug Therapy Applications","volume":"6","author":"Barahona","year":"1994","journal-title":"Artificial Intelligence in Medicine"},{"issue":"20","key":"10.1016\/S1574-6526(05)80022-7_bib55","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","article-title":"Logic programming and knowledge representation","volume":"19","author":"Baral","year":"1994","journal-title":"Journal of Logic Programming"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(05)80022-7_bib56","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0743-1066(96)00140-9","article-title":"Reasoning about Effects of Concurrent Actions","volume":"31","author":"Baral","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib57","series-title":"Logic Based Artificial Intelligence","article-title":"Reasoning Agents in Dynamic Domains","author":"Baral","year":"2000"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(05)80022-7_bib58","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","article-title":"Representing Actions: Laws, Observations and Hypothesis","volume":"31","author":"Baral","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib59","series-title":"Proceedings of International Joint Conference on Artificial Intelligenc (IJCAI)","first-page":"2017","article-title":"Reasoning about Actions: Non-deterministic effects, Constraints and Qualification","author":"Baral","year":"1995"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib60","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0743-1066(96)00080-5","article-title":"Embedding Revision Programs in Logic Programming Situation Calculus","volume":"30","author":"Baral","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib61","series-title":"Proceedings of AAAI'94","first-page":"136","article-title":"Rule Based Updates on Simple Knowledge Bases","author":"Baral","year":"1994"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib62","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/152947.152955","article-title":"A Metric Time-Point and Duration-Based Temporal Model","volume":"4","author":"Barber","year":"1993","journal-title":"SIGART Bulletin"},{"year":"1984","series-title":"The Lambda Calculus: Its Syntax and Semantics","author":"Barendregt","key":"10.1016\/S1574-6526(05)80022-7_bib63"},{"key":"10.1016\/S1574-6526(05)80022-7_bib64","series-title":"Proceedings of the Annual Symposium on Computer Applications in Medical Care (SCAMC)","first-page":"233","article-title":"An Architecture for a Distributed Guideline Server","author":"Barnes","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib65","series-title":"Proceedings of the NSF\/SERC Seminar on Concurrency","first-page":"35","article-title":"Hierarchical Development of Concurrent Systems in a Temporal Logic Framework","author":"Barringer","year":"1984"},{"key":"10.1016\/S1574-6526(05)80022-7_bib66","series-title":"Proceedings of the 16th Symposium on Theory of Computing (STOC)","first-page":"51","article-title":"Now You May Compose Temporal Logic Specifications","author":"Barringer","year":"1984"},{"key":"10.1016\/S1574-6526(05)80022-7_bib67","series-title":"Proceedings of the Thirteenth ACM Symposium on the Principles of Programming Languages","first-page":"173","article-title":"A really abstract concurrent model and its temporal logic","author":"Barringer","year":"1986"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib68","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1007\/BF01211631","article-title":"METATEM: An Introduction","volume":"7","author":"Barringer","year":"1995","journal-title":"Formal Aspects of Computing"},{"year":"1996","series-title":"The Imperative Future: Principles of Executable Temporal Logics","key":"10.1016\/S1574-6526(05)80022-7_bib69"},{"key":"10.1016\/S1574-6526(05)80022-7_bib70","unstructured":"[Baudinet et al., 1993] M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases. In Tansel et al. [1993], pages 294\u2013320."},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib71","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1999.1632","article-title":"Constraint-Generating Dependencies","volume":"59","author":"Baudinet","year":"1999","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1574-6526(05)80022-7_bib72","series-title":"Intensional Logics for Programming","article-title":"A Simple Proof of the Completeness of Temporal Logic Programming","author":"Baudinet","year":"1992"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib73","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1006\/inco.1995.1036","article-title":"On the Expressiveness of Temporal Logic Programming","volume":"117","author":"Baudinet","year":"1995","journal-title":"Information and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib74","series-title":"Proceedings of International Workshop on Temporal Representation and Reasoning (TIME)","article-title":"A Model for Time Granularity in Natural Language","author":"Becher","year":"1998"},{"article-title":"Use and Justification of Algorithms for Managing Temporal Knowledge in o-plan","year":"1985","author":"Bell","key":"10.1016\/S1574-6526(05)80022-7_bib75"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib76","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/349194.349197","article-title":"Temporal Logics for Real-Time System Specification","volume":"32","author":"Bellini","year":"2000","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S1574-6526(05)80022-7_bib77","series-title":"Machine Intelligence","first-page":"209","article-title":"Logic Programming for Large Scale Applications in Law: A Formalization of Supplementary Benefit Legislation","author":"Bench-Capon","year":"1988"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib78","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","article-title":"Model Checking Multiagent Systems","volume":"8","author":"Benerecetti","year":"1998","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib79","doi-asserted-by":"crossref","DOI":"10.1023\/A:1020083231504","article-title":"Multi-dimensional modal logic as a framework for spatio-temporal reasoning","author":"Bennett","year":"2002","journal-title":"Applied Intelligence"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib80","first-page":"1","article-title":"Combinations of Modal Logics","volume":"17","author":"Bennett","year":"2002","journal-title":"AI Review"},{"year":"1988","author":"Bennett","key":"10.1016\/S1574-6526(05)80022-7_bib81"},{"key":"10.1016\/S1574-6526(05)80022-7_bib82","article-title":"Correspondence Theory","volume":"volume II","author":"van Benthem","year":"1984"},{"year":"1988","series-title":"A Manual of Intensional Logic\u2014Second Edition, Revised and Expanded","author":"van Benthem","key":"10.1016\/S1574-6526(05)80022-7_bib83"},{"key":"10.1016\/S1574-6526(05)80022-7_bib84","first-page":"1","article-title":"Time, Logic and Computation","volume":"Vol. XXX","author":"van Benthem","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib85","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","first-page":"241","article-title":"Temporal logic","author":"van Benthem","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib86","first-page":"1607","article-title":"On the Topology of the Genetic Fine Structure","volume":"45","author":"Benzen","year":"1959"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib87","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0004-3702(97)00050-7","article-title":"Qualitative and Quantitative Simulation: Bridging the Gap","volume":"95","author":"Berleant","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib88","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0304-3975(80)90037-7","article-title":"The Complexity of Logical Theories","volume":"11","author":"Berman","year":"1980","journal-title":"Theoretical Computer Science"},{"article-title":"Model Checking for Branching Time Temporal Logics","year":"1995","author":"Bernholtz","key":"10.1016\/S1574-6526(05)80022-7_bib89"},{"key":"10.1016\/S1574-6526(05)80022-7_bib90","series-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","article-title":"Planning in Non-Deterministic Domains under Partial Observability via Symbolic Model-Checking","author":"Bertoli","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib91","series-title":"Proceedings of International Conference on Uncertainty in Artificial Intelligence (UAI)","article-title":"Temporal Reasoning with Probabilities","author":"Berzuini","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib92","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1080\/01621459.1997.10473661","article-title":"Dynamic Conditional Independence Models and Markov Chain Monte Carlo Methods","volume":"92","author":"Berzuini","year":"1997","journal-title":"Journal of the American Statistical Association"},{"key":"10.1016\/S1574-6526(05)80022-7_bib93","series-title":"Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI)","article-title":"Global Consistency in Interval Algebra Networks: Tractable Subclasses","author":"Bessi\u00e8re","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib94","series-title":"Proceedings of the Thirteenth National Conference of the American Association for Artificial Intelligence (AAAI)","first-page":"375","article-title":"A Simple Way to Improve Path-Consistency in Interval Algebra Networks","author":"Bessi\u00e8re","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib95","unstructured":"C. Bessi\u00e8re. Personal communication, August 1997."},{"key":"10.1016\/S1574-6526(05)80022-7_bib96","article-title":"Semantic Entailment and Formal Derivability","volume":"18","author":"Beth","year":"1955","journal-title":"Mededelingen der Koninklijke Nederlandse Akad. van Wetensch"},{"key":"10.1016\/S1574-6526(05)80022-7_bib97","series-title":"Proceedings of International Conference on Principles of Database Systems (PODS)","first-page":"68","article-title":"Testing Complex Temporal Relationships Involving Multiple Granularities and its Application to Data Mining","author":"Bettini","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib98","series-title":"Temporal Databases: Research and Practice","first-page":"406","article-title":"A Glossary of Time Granularity Concepts","author":"Bettini","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib99","series-title":"Temporal Databases: Research and Practice","first-page":"26","article-title":"An Architecture for Supporting Interoperability among Temporal Databases","author":"Bettini","year":"1998"},{"issue":"22","key":"10.1016\/S1574-6526(05)80022-7_bib100","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1023\/A:1018938007511","article-title":"A General Framework for Time Granularity and its Application to Temporal Reasoning","volume":"1","author":"Bettini","year":"1998","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"10","key":"10.1016\/S1574-6526(05)80022-7_bib101","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1109\/69.683754","article-title":"Discovering Frequent Event Patterns with Multiple Granularities in Time Sequences","volume":"2","author":"Bettini","year":"1998","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib102","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/69.683757","article-title":"Semantic Assumptions and Query Evaluation in Temporal Databases","volume":"10","author":"Bettini","year":"1998","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"year":"2000","author":"Bettini","key":"10.1016\/S1574-6526(05)80022-7_bib103"},{"key":"10.1016\/S1574-6526(05)80022-7_bib104","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI); Intelligent Systems Demonstrations","first-page":"1633","article-title":"GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints","author":"Bettini","year":"2003"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib105","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0169-023X(96)00036-5","article-title":"Time Dependent Concepts: Representation and Reasoning Using Temporal Description Logics","volume":"22","author":"Bettini","year":"1997","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/S1574-6526(05)80022-7_bib106","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/14.2.277","article-title":"Order Independent Temporal Properties","author":"Bidoit","year":"2004","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib107","doi-asserted-by":"crossref","DOI":"10.21236\/ADA238065","article-title":"The Process Group Approach to Reliable Distributed Computing","author":"Birman","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib108","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1145\/361219.361224","article-title":"Backtrack Programming Techniques","volume":"18","author":"Bitner","year":"1975","journal-title":"Journal of the ACM"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib109","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1018945131135","article-title":"A Boundary Sensitive Approach to Qualitative Location","volume":"24","author":"Bittner","year":"1998","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib110","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1023\/A:1015899702951","article-title":"Approximate Qualitative Temporal Reasoning","volume":"36","author":"Bittner","year":"2002","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"year":"1995","author":"Bjorner","key":"10.1016\/S1574-6526(05)80022-7_bib111"},{"year":"2001","series-title":"Modal Logic","author":"Blackburn","key":"10.1016\/S1574-6526(05)80022-7_bib112"},{"key":"10.1016\/S1574-6526(05)80022-7_bib113","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","article-title":"Fast Planning through Plan-graph Analysis","author":"Blum","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib114","article-title":"Discovery and Representation of Causal Relationships from a Large Time-Oriented Clinical Database: The RX Project","volume":"volume 19","author":"Blum","year":"1982"},{"article-title":"Three Essays on Law and Information in the Law of Damages","year":"1991","author":"Blumsohn","key":"10.1016\/S1574-6526(05)80022-7_bib115"},{"key":"10.1016\/S1574-6526(05)80022-7_bib116","series-title":"Proceedings of AAAI Spring Symposium on Extending Theories of Action","article-title":"AI Planning in Dynamic, Uncertain Domains","author":"Blythe","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib117","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-48317-9_4","article-title":"An Overview of Planning Under Uncertainty","volume":"1600","author":"Blythe","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib118","series-title":"Proceedings of the Ninth Conference on Artificial Intelligence in Medicine\u2014Europe (AIME)","article-title":"Idan: A Distributed Temporal-Abstraction Mediator for Medical Databases","author":"Boaz","year":"2003"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib119","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0004-3702(94)90054-X","article-title":"Deliberation Scheduling for Problem Solving in Time-Constrained Environments","volume":"67","author":"Boddy","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib120","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/152947.152952","article-title":"Temporal Reasoning for Planning and Scheduling","volume":"4","author":"Boddy","year":"1993","journal-title":"SIGART Bulletin"},{"key":"10.1016\/S1574-6526(05)80022-7_bib121","series-title":"International Conference on Extending Database Technology (EDBT)","article-title":"Querying TSQL2 Databases with Temporal Logic","author":"B\u00f6hlen","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib122","series-title":"International Conference on Very Large Data Bases (VLDB)","first-page":"180","article-title":"Coalescing in Temporal Databases","author":"B\u00f6hlen","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib123","series-title":"Proceedings of the Fourth International Workshop on Temporal Representation and Reasoning (TIME)","article-title":"A Resolution Method for CTL Branching-Time Temporal Logic","author":"Bolotov","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib124","series-title":"Proceedings of the Fourth European Conference on Planning (ECP)","article-title":"Planning as Heuristic Search: New Results","author":"Bonet","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib125","series-title":"Proceedings of the Fifth International Conference on Al Planning and Scheduling (AIPS)","article-title":"Planning with Incomplete Information as Heuristic Search in Belief Space","author":"Bonet","year":"2000"},{"key":"10.1016\/S1574-6526(05)80022-7_bib126","series-title":"Proceedings of the Fourteenth National Conference on AI (AAAI)","first-page":"714","article-title":"A Robust and Fast Action Selection Mechanism for Planning","author":"Bonet","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib127","series-title":"Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)","article-title":"Model Checking AgentSpeak","author":"Bordini","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib128","series-title":"Proceedings of the First International Workshop on Programming Multiagent Systems: languages, frameworks, techniques and tools (PROMAS)","article-title":"Verifiable Multi-Agent Programs","author":"Bordini","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib129","series-title":"Proceedings of the Fifteenth Conference on Computer-Aided Verification (CAV), Boulder, USA, 8\u201312 July","article-title":"Model Checking Multi-Agent Programs with CASP","author":"Bordini","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib130","series-title":"Proceedings of the Ninth ACM Symposium on Operating System Principles","first-page":"90","article-title":"A Message System Supporting Fault Tolerance","volume":"vol. 17","author":"Borg","year":"1983"},{"key":"10.1016\/S1574-6526(05)80022-7_bib131","series-title":"Proceedings of the Eleventh Biennial Canadian Conference on Artificial Intelligence","article-title":"The Frame Problem and Bayesian Network Action Representations","author":"Boutilier","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib132","series-title":"Proceedings of the Second European Planning Workshop","article-title":"Planning Under Uncertainty: Structural Assumptions and Computational Leverage","author":"Boutilier","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib133","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","article-title":"Exploiting Structure in Policy Construction","author":"Boutilier","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib134","first-page":"1","article-title":"Decision Theoretic Planning: Structural Assumptions and Computational Leverage","volume":"11","author":"Boutilier","year":"1999","journal-title":"Journal of Al Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib135","series-title":"Proceedingsof NIPS","first-page":"396","article-title":"Approximate Learning of Dynamic Models","author":"Boyen","year":"1998"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib136","article-title":"Agents for the Masses?","volume":"14","author":"Bradshaw","year":"1999","journal-title":"IEEE Intelligent Systems"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib137","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1023\/A:1018990024350","article-title":"Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations","volume":"22","author":"Brajnik","year":"1998","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib138","series-title":"Proceedings of International Conference on Knowledge Representation and Reasoning (KR)","first-page":"74","article-title":"A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation","author":"Brass","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib139","series-title":"Intentions in Communication","first-page":"15","article-title":"What is intention?","author":"Bratman","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib140","series-title":"Proceedings of AIPS Workshop on Temporal Planning","article-title":"Planning under Continuous Time and Resource Uncertainty: A Challenge for AI","author":"Bresina","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib141","series-title":"Ninth European Conference on Logics in Artificial Intelligence (JELIA)","first-page":"513","article-title":"Time Granularities and Ultimately Periodic Automata","author":"Bresolin","year":"2004"},{"key":"10.1016\/S1574-6526(05)80022-7_bib142","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-63010-4_4","article-title":"Refinement of Time","volume":"1231","author":"Broy","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib143","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(72)90040-9","article-title":"A Model for Temporal References and its application in a Question Answering Program","volume":"4","author":"Bruce","year":"1972","journal-title":"Artificial Intelligence"},{"article-title":"Een implementatie van SLD-NFA+CLP(R) en zijn toepassing voor het redeneren over continue verandering","year":"1994","author":"Bruneel","key":"10.1016\/S1574-6526(05)80022-7_bib144"},{"key":"10.1016\/S1574-6526(05)80022-7_bib145","series-title":"Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS)","article-title":"LaTeR: A General Purpose Manager of Temporal Information","author":"Brusoni","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib146","series-title":"Recent Advances in Temporal Databases (Proceedings of the International Workshop on Temporal Databases, Z\u00fcrich, Switzerland, September 1995)","article-title":"Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information","author":"Brusoni","year":"1995"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib147","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/0004-3702(95)00008-3","article-title":"On the Computational Complexity of Querying Bounds on Differences Constraints","volume":"74","author":"Brusoni","year":"1995","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib148","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/64.608197","article-title":"LaTeR: An Efficient, General Purpose Manager of Temporal Information","volume":"12","author":"Brusoni","year":"1997","journal-title":"IEEE Expert"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib149","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0004-3702(98)00044-7","article-title":"A spectrum of definitions for temporal model-based diagnosis","volume":"102","author":"Brusoni","year":"1998","journal-title":"Artificial Intelligence"},{"issue":"6","key":"10.1016\/S1574-6526(05)80022-7_bib150","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1109\/69.824613","article-title":"Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications","volume":"1","author":"Brusoni","year":"1999","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1016\/S1574-6526(05)80022-7_bib151","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0304-3975(80)90036-5","article-title":"On Time-Space Classes and their Relation to the Theory of Real Addition","volume":"11","author":"Bruss","year":"1980","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib152","doi-asserted-by":"crossref","DOI":"10.1016\/0020-0190(81)90074-0","article-title":"Solving Combinatorial Search Problems by Intelligent Backtracking","volume":"12","author":"Bruynooghe","year":"1981","journal-title":"Information Processing Letters"},{"key":"10.1016\/S1574-6526(05)80022-7_bib153","series-title":"Proceedings of International Logic Programming Symposium (ILPS)","article-title":"Temporal Logic Programming and its Relation to Constraint Logic Programming","author":"Brzoska","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib154","series-title":"Proceedings of the Tenth International Conference on Logic Programming (ICLP)","first-page":"239","article-title":"Temporal Logic Programming with Bounded Universal Goals","author":"Brzoska","year":"1993"},{"key":"10.1016\/S1574-6526(05)80022-7_bib155","series-title":"Proceedings of International Logic Programming Symposium (ILPS)","article-title":"Temporal Logic Programming in Dense Time","author":"Brozska","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib156","first-page":"10","article-title":"Finite Automata, and Sequential Networks","author":"Brzozowski","year":"1980","journal-title":"theoretical Computer Science"},{"year":"1984","series-title":"Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project","key":"10.1016\/S1574-6526(05)80022-7_bib157"},{"key":"10.1016\/S1574-6526(05)80022-7_bib158","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.19600060105","article-title":"Weak Second-Order Arithmetic and Finite Automata","volume":"6","author":"B\u00fcchi","year":"1960","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"10.1016\/S1574-6526(05)80022-7_bib159","series-title":"Logic Methodology, and Philosophy of Science: Proceedings of 1960 International Congress","first-page":"1","article-title":"On a Decision Method in restricted Second Order Arithmetic","author":"B\u00fcchi","year":"1962"},{"key":"10.1016\/S1574-6526(05)80022-7_bib160","first-page":"65","article-title":"Time and Validity","author":"Bulygin","year":"1982"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib161","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","article-title":"Axioms for Tense Logic I: \u2018Since\u2019 and \u2018Until\u2019","volume":"23","author":"Burgess","year":"1982","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib162","first-page":"89","article-title":"Basic Tense Logic","volume":"volume II","author":"Burgess","year":"1984"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib163","article-title":"The Computational Complexity of Propositional STRIPS Planning","volume":"69","author":"Bylander","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib164","series-title":"Proceedings of the AMIA Annual Fall Symposium (formerly the Symposium on Computer Applications in Medical Care)","first-page":"288","article-title":"HyperCare: A Prototype of an Active Database for Compliance with Essential Hypertension Therapy Guidelines","author":"Caironi","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib165","series-title":"Handbook of Automated Reasoning","first-page":"1581","article-title":"Reasoning in Expressive Description Logics","author":"Calvanese","year":"2001"},{"year":"1995","series-title":"The Generic Book","key":"10.1016\/S1574-6526(05)80022-7_bib166"},{"key":"10.1016\/S1574-6526(05)80022-7_bib167","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1006\/inco.2001.3139","article-title":"The Monadic Theory of Morphic Infinite, Words and Generalizations","volume":"176","author":"Carton","year":"2002","journal-title":"Information and Computation"},{"year":"1996","series-title":"Events","key":"10.1016\/S1574-6526(05)80022-7_bib168"},{"key":"10.1016\/S1574-6526(05)80022-7_bib169","series-title":"Proceedings of International Joint Conference on Artificial Intelligence","article-title":"C-Plan: a Conformant Planner based on Satisfiability","author":"Castellini","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib170","series-title":"Proceedings of the Seventh International Conference on Automated Deduction (CADE)","first-page":"113","article-title":"A Decision Method for Linear Temporal Logic","author":"Cavalli","year":"1984"},{"key":"10.1016\/S1574-6526(05)80022-7_bib171","series-title":"Proceedings of the Second International Conference on Artificial Intelligence, Planning Systems (AIPS)","first-page":"196","article-title":"Managing Dynamic Temporal Constraint Networks","author":"Cervoni","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib172","series-title":"Topics in Al: Proceedings of the Fourth Congress of the Italian Association for AI (AI*AI)","first-page":"255","article-title":"A Formal Domain Description Language for a Temporal Planner","author":"Cesta","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib173","series-title":"Proceeaings of the Third International Workshop on Temporal Representation and, Reasoning (TIME)","article-title":"Gaining Efficiency and Flexibility in the Simple Temporal Problem","author":"Cesta","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib174","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1016661915959","article-title":"A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data","volume":"30","author":"Chakravarty","year":"2000","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib175","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1055\/s-0038-1634201","article-title":"Specification and Detection of Periodicity in Clinical Data","volume":"40","author":"Chakravarty","year":"2001","journal-title":"Methods of Information in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib176","series-title":"Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computation (STOC)","first-page":"384","article-title":"Equations between Regular Terms and an Application to Process Logic","author":"Chandra","year":"1981"},{"key":"10.1016\/S1574-6526(05)80022-7_bib177","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/322234.322243","article-title":"Alternation","volume":"28","author":"Chandra","year":"1981","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib178","series-title":"Compositionality: the Significant Difference","first-page":"584","article-title":"An Adequate First Order Interval Logic","author":"Chaochen","year":"1998"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib179","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","article-title":"Planning for Conjunctive Goals","volume":"32","author":"Chapman","year":"1987","journal-title":"Artificial Intelligence"},{"year":"1985","author":"Charniak","key":"10.1016\/S1574-6526(05)80022-7_bib180"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib181","first-page":"50","article-title":"Bayesian Networks without Tears","volume":"12","author":"Charniak","year":"1991","journal-title":"AI Magazine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib182","series-title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"331","article-title":"Where the really hard problems are","author":"Cheeseman","year":"1991"},{"year":"1987","author":"Chemilieu-Gendrau","key":"10.1016\/S1574-6526(05)80022-7_bib183"},{"key":"10.1016\/S1574-6526(05)80022-7_bib184","series-title":"Proceedings of the Eighth ACM-SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS)","article-title":"C.-logic of Complex Objects","author":"Chen","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib185","series-title":"Proceedings of IEEE International Conference on Data Engineering","first-page":"428","article-title":"Universal Temporal Extensions for Database Languages","author":"Chen","year":"1999"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib186","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","article-title":"Efficient Top-Down Computation of Queries under the Well-Founded Semantics","volume":"24","author":"Chen","year":"1995","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib187","series-title":"Proceedings of the ACM SIGMOD International Conference on Management of Data","first-page":"379","article-title":"NiagaraCQ: A Scalable Continuous Query System for Internet Databases","author":"Chen","year":"2000"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib188","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/603867.603875","article-title":"Version Management of XML Documents","volume":"30","author":"Chien","year":"2001","journal-title":"SIGMOD Record"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib189","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/s00778-002-0079-4","article-title":"Efficient Schemes for Managing Multiversion XML Documents","volume":"11","author":"Chien","year":"2002","journal-title":"The VLDB Journal"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib190","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/69.50907","article-title":"The IDL System Prototype","volume":"2","author":"Chimenti","year":"1990","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib191","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/S0010-4825(97)00014-0","article-title":"Using a General Theory of Time and Change in Patient Monitoring: Experiment and Evaluation","volume":"27","author":"Chittaro","year":"1997","journal-title":"Computers in Biology and Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib192","series-title":"Proceedings of the ACM Symposium on Principles of Database Systems (PODS)","first-page":"61","article-title":"Temporal Deductive Databases and Infinite Objects","author":"Chomicki","year":"1988"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib193","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1006\/jcss.1995.1088","article-title":"On the Feasibility of Checking Temporal Integrity Constraints","volume":"51","author":"Chomicki","year":"1995","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1574-6526(05)80022-7_bib194","series-title":"Logics for Databases and Information Systems","first-page":"31","article-title":"Temporal Logic in Information Systems","author":"Chomicki","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib195","series-title":"Proceedings of the ACM Symposium on Principles of Database Systems (PODS)","first-page":"40","article-title":"Variable Independence and Aggregation Closure","author":"Chomicki","year":"1996"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib196","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1145\/383891.383892","article-title":"Querying ATSQL Databases with Temporal Logic","volume":"26","author":"Chomicki","year":"2001","journal-title":"ACM Transactions on Database Systems"},{"issue":"6","key":"10.1016\/S1574-6526(05)80022-7_bib197","doi-asserted-by":"crossref","first-page":"1422","DOI":"10.1109\/TKDE.2003.1245282","article-title":"Variable Independence in Constraint Databases","volume":"15","author":"Chomicki","year":"2003","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"year":"2003","series-title":"Logics for Emerging Applications of Databases","key":"10.1016\/S1574-6526(05)80022-7_bib198"},{"key":"10.1016\/S1574-6526(05)80022-7_bib199","series-title":"First International Conference on Temporal Logic (TIME)","article-title":"Temporal Query Languages: A Survey","author":"Chomicki","year":"1994"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib200","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/210197.210200","article-title":"Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding","volume":"20","author":"Chomicki","year":"1995","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib201","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0022-0000(74)80051-6","article-title":"Theories of Automata on \u03c9-Tapes: A Simplified Approach","volume":"8","author":"Choueka","year":"1974","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib202","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0167-6423(93)90025-K","article-title":"Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems","volume":"20","author":"Ciapessoni","year":"1993","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib203","series-title":"Proceedings of European Conference on Planning (ECP)","first-page":"21","article-title":"Conformant Planning via Model Checking","author":"Cimatti","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib204","first-page":"305","article-title":"Conformant Planning via Symbolic Model Checking","volume":"13","author":"Cimatti","year":"2000","journal-title":"Journal of A1 Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib205","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1111\/0824-7935.00058","article-title":"A Many-Sorted Natural Deduction","volume":"14","author":"Cimatti","year":"1998","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib206","series-title":"Proceedings of AAAI","first-page":"875","article-title":"Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains","author":"Cimatti","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib207","series-title":"Proceedings of the Twelfth Workshop on Logic Programming","first-page":"128","article-title":"The DLV System: Model Generator and Application Front Ends","author":"Citrigno","year":"1997"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib208","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(85)90016-5","article-title":"Heuristic Classification","volume":"27","author":"Clancey","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib209","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as Failure","author":"Clark","year":"1978"},{"key":"10.1016\/S1574-6526(05)80022-7_bib210","series-title":"Proceedings of IBM Workshop on Logic of Programs","first-page":"52","article-title":"Synthesis of Synchronization Skeletons for Branching Time Temporal Logic","author":"Clarke","year":"1981"},{"key":"10.1016\/S1574-6526(05)80022-7_bib211","series-title":"Workshop on Logics of Programs","first-page":"52","article-title":"Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic","author":"Clarke","year":"1981"},{"key":"10.1016\/S1574-6526(05)80022-7_bib212","series-title":"Handbook of Automated Reasoning","first-page":"1635","article-title":"Model Checking","author":"Clarke","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib213","series-title":"Proceedings of International Symposium on Principles of Programming Languages (POPL)","first-page":"117","article-title":"Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach","author":"Clarke","year":"1983"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib214","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications","volume":"8","author":"Clarke","year":"1986","journal-title":"ACM Transactions on Programming Languages and Systems"},{"year":"1999","author":"Clarke","key":"10.1016\/S1574-6526(05)80022-7_bib215"},{"key":"10.1016\/S1574-6526(05)80022-7_bib216","series-title":"Temporal Aspects of Information Systems","first-page":"17","article-title":"A Simple General Structure for Temporal Domains","author":"Clifford","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib217","series-title":"Temporal Databases: Theory, Design and Implementation, chapter 20","first-page":"496","article-title":"On the Completeness of Query Languages for Grouped and Ungrouped Historical Data Models","author":"Clifford","year":"1993"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib218","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/174638.174642","article-title":"On Completeness of Historical Relational Query Languages","volume":"19","author":"Clifford","year":"1994","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib219","series-title":"Proceedings of ACM-SIGFIDET Workshop on Data Description, Access and Control","first-page":"1","article-title":"Normalized Data Structure: A Brief Tutorial","author":"Codd","year":"1971"},{"key":"10.1016\/S1574-6526(05)80022-7_bib220","series-title":"Data Base Systems","first-page":"33","article-title":"Relational Completeness of Data Base Sub-Languages","author":"Codd","year":"1972"},{"key":"10.1016\/S1574-6526(05)80022-7_bib221","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","article-title":"Intention is Choice with Commitment","volume":"42","author":"Cohen","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib222","series-title":"Proceedings of Constraint Programming (CP)","first-page":"478","article-title":"Tractable disjunctive constraints","author":"Cohen","year":"1997"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib223","doi-asserted-by":"crossref","first-page":"826","DOI":"10.1145\/355483.355485","article-title":"Building Tractable Disjunctive Constraints","volume":"47","author":"Cohen","year":"2000","journal-title":"Journal of the ACM"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib224","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF00243207","article-title":"A More Expressive Formulation of Many Sorted Logics","volume":"3","author":"Cohn","year":"1987","journal-title":"Journal of Automated Reasoning"},{"key":"10.1016\/S1574-6526(05)80022-7_bib225","series-title":"Proceedings of Eighteenth Annual Symposium on Computer Applications in Medical Care (SCAMC)","first-page":"954","article-title":"Managing and Displaying Different Time Granularities of Clinical Information","author":"Combi","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib226","series-title":"Proceedings of the Annual Symposium on Computer Applications in Medical Care (SCAMC)","first-page":"326","article-title":"Querying Temporal Clinical Databases with Different Time Granularities: the GCH-OSQL Language","author":"Combi","year":"1995"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib227","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1093\/logcom\/14.1.51","article-title":"Representing and Reasoning about Temporal Granularities","volume":"14","author":"Combi","year":"2004","journal-title":"Journal of Logic and Computation"},{"year":"1976","author":"Comrie","key":"10.1016\/S1574-6526(05)80022-7_bib228"},{"key":"10.1016\/S1574-6526(05)80022-7_bib229","series-title":"Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"571","article-title":"The Augmented Interval and Rectangle Networks","author":"Condotta","year":"2000"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib230","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1111\/0824-7935.00101","article-title":"Efficient Processing of Queries and Assertions about Qualitative and Quantitative Temporal Constraints","volume":"15","author":"Console","year":"1999","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib231","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","article-title":"A Spectrum of Logical Definitions of Model-Based Diagnosis","volume":"7","author":"Console","year":"1991","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib232","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0933-3657(91)90002-S","article-title":"On the Co-operation Between Abductive and Temporal Reasoning in Medical Diagnosis","volume":"3","author":"Console","year":"1991","journal-title":"Artificial Intelligence in Medicine"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib233","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","article-title":"On the Relationship Between Abduction and Deduction","volume":"1","author":"Console","year":"1991","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib234","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(90)90060-D","article-title":"The Computational Complexity of Probabilistic Inference using Bayesian Belief Networks","volume":"42","author":"Cooper","year":"1990","journal-title":"Artificial Intelligence"},{"year":"1990","author":"Cormen","key":"10.1016\/S1574-6526(05)80022-7_bib235"},{"key":"10.1016\/S1574-6526(05)80022-7_bib236","series-title":"International Workshop on Software Specification and Design","first-page":"92","article-title":"Dealing with Different Time Scales in Formal Specifications","author":"Corsetti","year":"1991"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib237","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00365335","article-title":"Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems","volume":"3","author":"Corsetti","year":"1991","journal-title":"Journal of Real-Time Systems"},{"issue":"6","key":"10.1016\/S1574-6526(05)80022-7_bib238","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1016\/0933-3657(91)90005-V","article-title":"The Visual Display of Temporal Information","volume":"3","author":"Cousins","year":"1991","journal-title":"Artificial Intelligence in Medicine"},{"year":"1999","author":"Cowell","key":"10.1016\/S1574-6526(05)80022-7_bib239"},{"key":"10.1016\/S1574-6526(05)80022-7_bib240","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1051\/ita\/1984180100531","article-title":"Systolic Tree Acceptors","volume":"18","author":"Culik","year":"1984","journal-title":"R.A.I.R.O Informatique Th\u00e9orique"},{"key":"10.1016\/S1574-6526(05)80022-7_bib241","series-title":"Proceedings of Conference on Uncertainty in Artificial Intelligence (UAI)","first-page":"64","article-title":"Forecasting Sleep Apnea with Dynamic Network Models","author":"Dagum","year":"1993"},{"key":"10.1016\/S1574-6526(05)80022-7_bib242","series-title":"Proceedings of the International Symposium on Spatial and Temporal Databases","first-page":"279","article-title":"Calendars, Time Granularities, and Automata","author":"Dal Lago","year":"2001"},{"article-title":"Time Granularities, Calendar Algebra, and Automata","year":"2003","author":"Dal Lago","key":"10.1016\/S1574-6526(05)80022-7_bib243"},{"key":"10.1016\/S1574-6526(05)80022-7_bib244","series-title":"Proceedings of the Eighth Italian Conference on Theoretical Computer Science (ICTCS)","first-page":"52","article-title":"Towards Compact and Tractable Automaton-based Representations of Time Granularity","author":"Dal Lago","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib245","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1055\/s-0038-1635036","article-title":"A Temporal Query System for Protocol-Directed Decision Support","volume":"33","author":"Das","year":"1994","journal-title":"Methods of Information in Medicine"},{"year":"2003","author":"Date","key":"10.1016\/S1574-6526(05)80022-7_bib246"},{"key":"10.1016\/S1574-6526(05)80022-7_bib247","series-title":"The Logic of Decision and Action","article-title":"The Logical Form of Action Sentences","author":"Davidson","year":"1967"},{"key":"10.1016\/S1574-6526(05)80022-7_bib248","series-title":"Essays in Honor of Carl G. Hempel","article-title":"The Individuation of Events","author":"Davidson","year":"1969"},{"key":"10.1016\/S1574-6526(05)80022-7_bib249","series-title":"Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"47","article-title":"Infinite Loops in Finite Time: Some Observations","author":"Davis","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib250","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF01890546","article-title":"Applications of a General Propagation Algorithm for Probabilistic Expert Systems","volume":"2","author":"Dawid","year":"1992","journal-title":"Statistics and Computing"},{"key":"10.1016\/S1574-6526(05)80022-7_bib251","first-page":"38","article-title":"Summarization and Display of On-Line Medical Records","volume":"5","author":"de Zegher-Geets","year":"1988","journal-title":"M.D. Computing"},{"key":"10.1016\/S1574-6526(05)80022-7_bib252","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0004-3702(88)90087-2","article-title":"Reasoning About Partially Ordered Events","volume":"36","author":"Dean","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib253","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1111\/j.1467-8640.1989.tb00324.x","article-title":"A Model for Reasoning about Persistence and Causation","volume":"5","author":"Dean","year":"1989","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib254","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90061-0","article-title":"Temporal Data Base Management","volume":"32","author":"Dean","year":"1987","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib255","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1145\/76359.76360","article-title":"Using Temporal Hierarchies to Efficiently Maintain Large Temporal Databases","volume":"36","author":"Dean","year":"1989","journal-title":"Journal of ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib256","series-title":"Proceedings of First International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"83","article-title":"Temporal Constraint Networks","author":"Dechter","year":"1989"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(05)80022-7_bib257","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","article-title":"Temporal Constraint Networks","volume":"49","author":"Dechter","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib258","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(92)90043-W","article-title":"From Local to Global Consistency","volume":"55","author":"Dechter","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib259","series-title":"Proceedings of Conference on Automated Deduction (CADE)","article-title":"Monodic Temporal Resolution","author":"Degtyarev","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib260","series-title":"Proceedings of the Thirteenth National Conference of the American Association for Artificial Intelligence (AAAI)","first-page":"381","article-title":"A Representation for Efficient Temporal Reasoning","author":"Delgrande","year":"1996"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib261","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0020-0190(01)00278-2","article-title":"Updating<=,<-Chains","volume":"83","author":"Delgrande","year":"2002","journal-title":"Information Processing Letters"},{"key":"10.1016\/S1574-6526(05)80022-7_bib262","series-title":"Proceedings of AAAI Conference","first-page":"739","article-title":"Point Based Approaches to Qualitative Temporal Reasoning","author":"Delgrande","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib263","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0004-3702(01)00119-9","article-title":"A Comparison of Point-based Approaches to Qualitative Temporal Reasoning","volume":"131","author":"Delgrande","year":"2001","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib264","series-title":"Proceedings of the International Symposium on Logic Programming (ILPS)","first-page":"25","article-title":"AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs","author":"Dembinski","year":"1985"},{"key":"10.1016\/S1574-6526(05)80022-7_bib265","series-title":"Proceedings of the Seventh International Conference on Foundations of Software Science and Computation Structures (FOSSACS)","first-page":"121","article-title":"LTL over Integer Periodicity Constraints (Extended Abstract)","author":"Demri","year":"2004"},{"key":"10.1016\/S1574-6526(05)80022-7_bib266","series-title":"Proceedings of the International Joint Conference and Symposium on Logic Programming","first-page":"686","article-title":"SLDNFA: an Abductive Procedure for Normal Abductive Programs","author":"Denecker","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib267","series-title":"Proceedings of International Logic Programming Symposium (ILPS)","first-page":"147","article-title":"Representing incomplete Knowledge in Abductive Logic Programming","author":"Denecker","year":"1993"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib268","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","article-title":"SLDNFA: an Abductive Procedure for Abductive Logic Programs","volume":"34","author":"Denecker","year":"1998","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib269","series-title":"Proceedings of the European Conference on Artificial Intelligence (ECAI)","article-title":"Temporal reasoning with Abductive Event Calculus","author":"Denecker","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib270","series-title":"Proceedings of the International Joint Conference and Symposium on Logic Programming","first-page":"170","article-title":"A Realistic Experiment in Knowledge Representation Using Open Event Calculus: Protocol Specification","author":"Denecker","year":"1996"},{"article-title":"Knowledge Representation and Reasoning in Incomplete Logic Programming","year":"1993","author":"Denecker","key":"10.1016\/S1574-6526(05)80022-7_bib271"},{"key":"10.1016\/S1574-6526(05)80022-7_bib272","series-title":"International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)","first-page":"15","article-title":"A Terminological Interpretation of (Abductive) Logic Programming","author":"Denecker","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib273","series-title":"Proceedings of International Symposium on Spatial Data Handling","first-page":"27","article-title":"How Generalization Interacts with the Topological and Metric Structure of Maps","author":"Dettori","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib274","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(95)00091-7","article-title":"Taxonomic Plant Reasoning","volume":"84","author":"Devanbu","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib275","series-title":"Proceedings of International Symposium on Spatial Data Handling","article-title":"Building a Multi-Scale Database with Scale-Transition Relationship","author":"Devogele","year":"1996"},{"issue":"13","key":"10.1016\/S1574-6526(05)80022-7_bib276","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1056\/NEJMsa010181","article-title":"A Computerized Reminder System to Increase the use of Preventive Care for Hospitalized Patients","volume":"345","author":"Dexter","year":"2001","journal-title":"New England Journal of Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib277","series-title":"Proceedings of European Conference on Planning (ECP)","first-page":"169","article-title":"Encoding Planning Problems in Non-Monotonic Logic Programs","author":"Dimopoulos","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib278","series-title":"Proceedings of International Workshop in Logic Programming and Nonmonotonic Reasoning (LPNMR)","first-page":"166","article-title":"Classifying Semantics of Logic Programs","author":"Dix","year":"1991"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib279","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1093\/logcom\/8.3.345","article-title":"Resolution for Temporal Logics of Knowledge","volume":"8","author":"Dixon","year":"1998","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib280","series-title":"Proceedings of the Thirteenth International Conference on Automated Deduction (CADE)","first-page":"672","article-title":"Search Strategies for Resolution in Temporal Logics","author":"Dixon","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib281","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/A:1018942108420","article-title":"Temporal Resolution using a Breadth-First Search Algorithm","volume":"22","author":"Dixon","year":"1998","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib282","series-title":"Advances in Temporal Logic","first-page":"149","article-title":"Using Otter for Temporal Resolution","author":"Dixon","year":"2000"},{"key":"10.1016\/S1574-6526(05)80022-7_bib283","series-title":"Proceedings of European Conference on Planning (ECP)","article-title":"Sapa: a Domain-Independent Heuristic Metric Temporal Planner","author":"Binh Do","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib284","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","article-title":"Tree Acceptors and Some of their Applications","volume":"4","author":"Doner","year":"1970","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1574-6526(05)80022-7_bib285","series-title":"Principles of Knowledge Representation","first-page":"191","article-title":"Reasoning in Description Logics","author":"Donini","year":"1996"},{"year":"2001","author":"Doucet","key":"10.1016\/S1574-6526(05)80022-7_bib286"},{"key":"10.1016\/S1574-6526(05)80022-7_bib287","series-title":"Proceedings of the Fifth Conference on Medical Informatics (MEDINFO)","first-page":"800","article-title":"Automated Summarization of On-line Medical Records","author":"Downes","year":"1986"},{"year":"1979","author":"Dowty","key":"10.1016\/S1574-6526(05)80022-7_bib288"},{"key":"10.1016\/S1574-6526(05)80022-7_bib289","series-title":"Proceedings of the Second Conference on AI Planning Systems (AIPS)","article-title":"The Use of Optimistic and Pessimistic Resource Profiles to Inform Search in an Activity Based Planner","author":"Drabble","year":"1994"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib290","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(93)90044-C","article-title":"EXCALIBUR: A Program for Planning and Reasoning with Processes","volume":"62","author":"Drabble","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib291","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.340","article-title":"Eight maximal tractable subclasses of Allen's algebra with metric time","volume":"7","author":"Drakengren","year":"1997","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib292","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0004-3702(97)00021-0","article-title":"Twenty-One Large Tractable Subclasses of Allen's Algebra","volume":"93","author":"Drakengren","year":"1997","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib293","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0004-3702(98)00093-9","article-title":"A Complete Classification of Allen's Algebra Relative to Subsets Of Basic Relations","volume":"106","author":"Drakengren","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib294","series-title":"Proceedings of International Conference on Logic Programming (ICLP)","first-page":"222","article-title":"Representing Actions in Logic Programming and its Application in Database Updates","author":"Dung","year":"1993"},{"year":"1988","author":"Durfee","key":"10.1016\/S1574-6526(05)80022-7_bib295"},{"key":"10.1016\/S1574-6526(05)80022-7_bib296","series-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1238","article-title":"Model-Based Monitoring of Dynamic Systems","author":"Dvorak","year":"1989"},{"article-title":"Temporal Granularity and Indeterminacy: Two Sides of the Same Coin","year":"1994","author":"Dyreson","key":"10.1016\/S1574-6526(05)80022-7_bib297"},{"key":"10.1016\/S1574-6526(05)80022-7_bib298","series-title":"Proceedings of Workshop on Decision-Theoretic Planning. Artificial Intelligence Planning and Scheduling (AIPS)","first-page":"18","article-title":"On the Implementation of MIPS","author":"Edelkamp","year":"2000"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib299","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","article-title":"Point Set Topological Spatial Relations","volume":"5","author":"Egenhofer","year":"1991","journal-title":"International Journal of Geographical Information Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib300","series-title":"Pre-prints of Workshop on Logic-Based AI","article-title":"The DLV System","author":"Eiter","year":"2000"},{"key":"10.1016\/S1574-6526(05)80022-7_bib301","series-title":"Logic Based Artificial Intelligence","first-page":"79","article-title":"Declarative problem solving in DLV","author":"Eiter","year":"2000"},{"key":"10.1016\/S1574-6526(05)80022-7_bib302","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2269808","article-title":"Decidability and Undecidability of Second (First) Order Theory of Generalized Successor","volume":"31","author":"Elgot","year":"1966","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib303","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1090\/S0002-9947-1961-0139530-9","article-title":"Decision Problems, for Finite Automata Design and Related Arithmetics","volume":"98","author":"Elgot","year":"1961","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S1574-6526(05)80022-7_bib304","doi-asserted-by":"crossref","DOI":"10.1016\/0167-6423(83)90017-5","article-title":"Using Branching Time Temporal Logic to Synthesise Synchronisation Skeletons","volume":"2","author":"Emerson","year":"1982","journal-title":"Science of Computer Programming"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib305","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","article-title":"Decision Procedures and Expressiveness in the Temporal Logic of Branching Time","volume":"30","author":"Emerson","year":"1985","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1574-6526(05)80022-7_bib306","doi-asserted-by":"crossref","DOI":"10.1145\/4904.4999","article-title":"\u201cSometimes\u2019 and \u2018Not Never\u2019 Revisited: on Branching versus Linear Time","volume":"33","author":"Emerson","year":"1986","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib307","series-title":"Proceedings of the Twenty Ninth IEEE Conference on Foundations of Computer Science (FOCS)","article-title":"Complexity of Tree Automata and Modal Logics of Programs","author":"Emerson","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib308","series-title":"Proceedings of the Twelfth Symposium on Principles of Programming Languages (POPL)","first-page":"84","article-title":"Modalities for Model Checking: Branching Time Strikes Back","author":"Emerson","year":"1985"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib309","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0019-9958(84)80047-9","article-title":"Deciding Full Branching time Logic","volume":"61","author":"Emerson","year":"1984","journal-title":"Information and control"},{"key":"10.1016\/S1574-6526(05)80022-7_bib310","series-title":"Proceedings of the Workshop on Logics of Programs","article-title":"Automata, Tableaux and Temporal Logics","author":"Emerson","year":"1985"},{"key":"10.1016\/S1574-6526(05)80022-7_bib311","series-title":"Handbook of Theoretical Computer Science: Formal Models and Semantics, chapter 16","first-page":"995","article-title":"Temporal and modal logic","author":"Emerson","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib312","series-title":"Logics for Concurrency","first-page":"41","article-title":"Automated Temporal Reasoning for Reactive Systems","author":"Emerson","year":"1996"},{"year":"1972","author":"Enderton","key":"10.1016\/S1574-6526(05)80022-7_bib313"},{"article-title":"Modal Logics of Ordered Trees","year":"2003","author":"Endriss","key":"10.1016\/S1574-6526(05)80022-7_bib314"},{"key":"10.1016\/S1574-6526(05)80022-7_bib315","series-title":"Proceedings of Logic Programming and Non-Monotonic Reasoning (LPNMR)","first-page":"107","article-title":"Transformations of Logic Programs Related to Causality and Planning","author":"Erdem","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib316","series-title":"Proceedings of the International Conference on Logic Programming (ICLP)","article-title":"Abduction Compared with Negation, as Failure","author":"Eshghi","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib317","series-title":"Proceedings of the Fifth International Conference, and Symposium on Logic Programming","first-page":"562","article-title":"Abductive Planning with Event Calculus","author":"Eshghi","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib318","series-title":"Proceedings of International Conference on Logic Programming (ICLP)","article-title":"Abductive Planning with Event Calculus","author":"Eshghi","year":"1988"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib319","first-page":"329","article-title":"Repr\u00e9sentation Granulaire du, Temps","volume":"7","author":"Euzenat","year":"1993","journal-title":"Revue d'Intelligence Artificielle"},{"key":"10.1016\/S1574-6526(05)80022-7_bib320","series-title":"Proceedings of the IJCAI Workshop on Spatial and Temporal Reasoning","first-page":"145","article-title":"A Categorical Approach to Time Representation: First Study on Qualitative Aspects","author":"Euzenat","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib321","series-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"894","article-title":"An Algebraic Approach to Granularity in Qualitative Space and Time Representation","author":"Euzenat","year":"1995"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib322","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1111\/0824-7935.00170","article-title":"Granularity in Relational Formalisms with Application to Time and Space Representation","volume":"17","author":"Euzenat","year":"2001","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib323","series-title":"Proceedings of the Second International Symposium on Artificial Intelligence","article-title":"Negation-as-Failure as an Approach to the Hanks and McDermott Problem","author":"Evans","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib324","first-page":"397","author":"Fagan","year":"1984","journal-title":"Extensions to the Rule-Based Formalism for a Monitoring Task"},{"year":"1996","author":"Fagin","key":"10.1016\/S1574-6526(05)80022-7_bib325"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib326","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0304-3975(77)90037-8","article-title":"An Efficient Decision Procedure for the Theory of Rational Order","volume":"4","author":"Ferrante","year":"1977","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib327","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1137\/0204006","article-title":"A Decision Procedure for the First Order Theory of Real Addition with Order","volume":"4","author":"Ferrante","year":"1975","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/S1574-6526(05)80022-7_bib328","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0062837","article-title":"The Computational Complexity of Logical Theories","author":"Ferrante","year":"1979"},{"key":"10.1016\/S1574-6526(05)80022-7_bib329","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/BFb0013980","article-title":"Sometimes \u201ctomorrow\u201d is \u201csometime\u201d: Action Refinement in a Temporal Logic of Objects","volume":"827","author":"Fiadeiro","year":"1994","journal-title":"Lecture Notes in Computer Science"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib330","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: A New Approach to the Application of Theorem-Proving to Problem-Solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib331","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","article-title":"Adding a Temporal Dimension to a Logic System","volume":"1","author":"Finger","year":"1992","journal-title":"Journal of Logic, Language, and Information"},{"key":"10.1016\/S1574-6526(05)80022-7_bib332","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1040046087","article-title":"Combining Temporal Logic Systems","volume":"37","author":"Finger","year":"1996","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib333","article-title":"Super-exponential Complexity of Presburger Arithmetic","volume":"volume III","author":"Fischer","year":"1974"},{"key":"10.1016\/S1574-6526(05)80022-7_bib334","series-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","article-title":"Programming Resource-Bounded Deliberative Agents","author":"Fisher","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib335","series-title":"Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)","first-page":"849","article-title":"The ABC of Rational Agent Programming","author":"Fisher","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib336","series-title":"Proceedings of Twelfth International Symposium on Languages for Intensional Programming (ISLIP)","article-title":"Flexible Agent Grouping in Executable Temporal Logic","author":"Fisher","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib337","series-title":"Proceedings of Logic Programming and Automated Reasoning (LPAR)","article-title":"From the Past to the Future: Executing Temporal Logic Programs","author":"Fisher","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib338","series-title":"Executable Modal and Temporal Logics","first-page":"1","article-title":"An Introduction to Executable Modal and Temporal Logics","author":"Fisher","year":"1995"},{"year":"1995","series-title":"Executable Modal and Temporal Logics","author":"Fisher","key":"10.1016\/S1574-6526(05)80022-7_bib339"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib340","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1142\/S0218843097000057","article-title":"On the Formal Specification and Verification of Multi-Agent Systems","volume":"6","author":"Fisher","year":"1997","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib341","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/371282.371311","article-title":"Clausal Temporal Resolution","volume":"2","author":"Fisher","year":"2001","journal-title":"ACM Transactions on Computational Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib342","series-title":"Proceedings of Second International Workshop on Formal Approaches to Agent-Based Systems (FAABS)","first-page":"15","article-title":"Organising logic-based agents","author":"Fisher","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib343","series-title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI)","article-title":"A Resolution Method for Temporal Logic","author":"Fisher","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib344","series-title":"Parallel Architectures and Languages, Europe (PARLE)","article-title":"Concurrent MetateM\u2014A Language for Modeling Reactive Systems","author":"Fisher","year":"1993"},{"key":"10.1016\/S1574-6526(05)80022-7_bib345","series-title":"First International Conference on Temporal Logic (ICTL)","article-title":"A Survey of Concurrent MetateM\u2014The Language and its Applications","author":"Fisher","year":"1994"},{"issue":"5\/6","key":"10.1016\/S1574-6526(05)80022-7_bib346","article-title":"A Temporal Semantics for Concurrent MetateM","volume":"22","author":"Fisher","year":"1996","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib347","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1017\/S0269888900007670","article-title":"An Introduction to Executable Temporal Logics","volume":"11","author":"Fisher","year":"1996","journal-title":"Knowledge Engineering Review"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib348","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/7.4.429","article-title":"A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution","volume":"7","author":"Fisher","year":"1997","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib349","series-title":"Proceedings of International Joint Conference on, Artificial Intelligence (IJCAI)","article-title":"Implementing BDI-like Systems by Direct Execution","author":"Fisher","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib350","article-title":"Temporal Development Methods for Agent-Based Systems","author":"Fisher","year":"2004","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"year":"1983","author":"Fitting","key":"10.1016\/S1574-6526(05)80022-7_bib351"},{"key":"10.1016\/S1574-6526(05)80022-7_bib352","series-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1273","article-title":"Introducing Actions into Qualitative Simulation","author":"Forbus","year":"1989"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib353","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/264927.264930","article-title":"An Efficient Algorithm for Managing Partial Orders in Planning","volume":"7","author":"Fox","year":"1996","journal-title":"ACM SIGART Bulletin"},{"article-title":"PDDL+: Planning with Time and Metric Resources","year":"2002","author":"Fox","key":"10.1016\/S1574-6526(05)80022-7_bib354"},{"key":"10.1016\/S1574-6526(05)80022-7_bib355","series-title":"Proceedings of the Third International NASA Workshop on Planning and Scheduling for Space","article-title":"PDDL+: Modelling Continuous Time-dependent Effects","author":"Fox","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib356","article-title":"PDDL2.1: An extension to PDDL for expressing temporal planning domain s","volume":"20","author":"Fox","year":"2003","journal-title":"Journal of AI Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib357","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0933-3657(98)00021-9","article-title":"Disseminating medical knowledge: the proforma approach","volume":"14","author":"Fox","year":"1998","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib358","series-title":"Proceedings of the Second International Workshop on Methods for Modalities (M4M)","article-title":"A Combined Approach to Temporal Logics for Time Granularity","author":"Franceschet","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib359","series-title":"Proceedings of the Second International Workshop on Verification and Computational Logic","first-page":"55","article-title":"Towards an Automata-Theoretic Counterpart of Combined Temporal Logics","author":"Franceschet","year":"2001"},{"issue":"3\u20134","key":"10.1016\/S1574-6526(05)80022-7_bib360","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1024643624349","article-title":"Branching Within Time: An Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity","volume":"1","author":"Franceschet","year":"2003","journal-title":"Research on Language and Computation"},{"issue":"5\u20136","key":"10.1016\/S1574-6526(05)80022-7_bib361","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1017\/S147106840400208X","article-title":"Temporalized Logics and Automata for Time Granularity","volume":"4","author":"Franceschet","year":"2004","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib362","series-title":"Proceedings of the Tenth International Symposium on Temporal Representation and Reasoning and of the Fourth International Conference on Temporal Logic (TIME-ICTL)","first-page":"192","article-title":"Definability and Decidability of Binary Predicates for Time Granularity","author":"Franceschet","year":"2003"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib363","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1023\/B:AUSE.0000028537.84347.9c","article-title":"Model Checking for Combined Logics with an Application to Mobile Systems","volume":"11","author":"Franceschet","year":"2004","journal-title":"Automated Software Engineering"},{"article-title":"Dividing and Conquering the Layered Land","year":"2002","author":"Franceschet","key":"10.1016\/S1574-6526(05)80022-7_bib364"},{"key":"10.1016\/S1574-6526(05)80022-7_bib365","series-title":"Proceedings of Workshop on Description Logics (DL)","first-page":"160","article-title":"Fixpoint Extensions of Temporal Description Logics","author":"Franconi","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib366","series-title":"Intelligent Agents III\u2014Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL)","article-title":"Is it an Agent, or just a Program? A Taxonomy for Autonomous Agents","author":"Franklin","year":"1996"},{"year":"1972","author":"Frege","key":"10.1016\/S1574-6526(05)80022-7_bib367"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib368","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","article-title":"Temporal reasoning based on semi-intervals","volume":"54","author":"Freksa","year":"1992","journal-title":"Artificial intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib369","series-title":"Proceedings of International Conference on Uncertainty in AI (UAI)","first-page":"139","article-title":"Learning the Structure of Dynamic Probabilistic Networks","author":"Friedman","year":"1998"},{"issue":"5\/6","key":"10.1016\/S1574-6526(05)80022-7_bib370","doi-asserted-by":"crossref","first-page":"1536","DOI":"10.1001\/jama.1972.03210120034009","article-title":"Time oriented patient records and a computer databank","volume":"22","author":"Fries","year":"1972","journal-title":"Journal of the American Medical Association"},{"issue":"5\/6","key":"10.1016\/S1574-6526(05)80022-7_bib371","article-title":"Temporal Annotated Constraint Logic Programming","volume":"22","author":"Fr\u00fcehwirth","year":"1996","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib372","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","article-title":"The IFF Proof Procedure for Abductive Logic Programming","volume":"33","author":"Fung","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib373","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0304-3975(82)90115-3","article-title":"The Complexity of Presburger Arithmetic with Bounded Quantifier Alternation Depth","volume":"18","author":"Furer","year":"1982","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib374","series-title":"Proceedings of AAAI Conference","first-page":"633","article-title":"Situation Calculus on a Dense Flow of Time","author":"Fusaoka","year":"1996"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib375","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/logcom\/1.2.229","article-title":"An Axiomatisation of the Temporal Logic with Until and Since over the Real Numbers","volume":"1","author":"Gabbay","year":"1990","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib376","series-title":"Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages (POPL)","first-page":"163","article-title":"The Temporal Analysis of Fairness","author":"Gabbay","year":"1980"},{"volume":"Volume 1","year":"1994","author":"Gabbay","key":"10.1016\/S1574-6526(05)80022-7_bib377"},{"year":"1994","author":"Gabbay","key":"10.1016\/S1574-6526(05)80022-7_bib378"},{"year":"2000","author":"Gabbay","key":"10.1016\/S1574-6526(05)80022-7_bib379"},{"article-title":"The Separation Theorem for Temporal Logic","year":"1981","author":"Gabbay","key":"10.1016\/S1574-6526(05)80022-7_bib380"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib381","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BF00962978","article-title":"Representation of Highly-Complex Knowledge in a Database","volume":"3","author":"Gal","year":"1994","journal-title":"Journal of Intelligent Information Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib382","series-title":"Proceedings of Ninth International Symposium on Temporal Representation and Reasoning (TIME)","article-title":"Representation and Reasoning with Disjunction Temporal Constraints","author":"Galipienso","year":"2002"},{"year":"1984","author":"Galton","key":"10.1016\/S1574-6526(05)80022-7_bib383"},{"year":"1987","series-title":"Temporal Logics and Their Applications","key":"10.1016\/S1574-6526(05)80022-7_bib384"},{"key":"10.1016\/S1574-6526(05)80022-7_bib385","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","article-title":"A Critical Examination of Allen's Theory of Action and Time","volume":"42","author":"Galton","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib386","series-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1177","article-title":"Reified Temporal Theories and How To Unreify Them","author":"Galton","year":"1991"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib387","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/logcom\/6.1.1","article-title":"A Note on a Lemma of Ladkin","volume":"6","author":"Galton","year":"1996","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib388","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1093\/logcom\/6.2.271","article-title":"An Investigation of \u2018Non-Intermingling\u2019 Principles in Temporal Logic","volume":"6","author":"Galton","year":"1996","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib389","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0933-3657(97)00393-X","article-title":"Abstract Temporal Diagnosis in Medical Domains","volume":"10","author":"Gamper","year":"1997","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib390","series-title":"Research and Development in Intelligent Systems XVII (Proceedings of ES'2000)","article-title":"A Correct Algorithm for Efficient Planning with Preprocessed Domain Axioms","author":"Garagnani","year":"2000"},{"year":"1987","author":"Gardner","key":"10.1016\/S1574-6526(05)80022-7_bib391"},{"key":"10.1016\/S1574-6526(05)80022-7_bib392","series-title":"Proceedings of the European Conference on Artificial Intelligence (ECAI)","article-title":"Temporal Planning with PDDL2.1","author":"Garrido","year":"2002"},{"article-title":"S\u00e9mantique du Langage Naturel et Profondeur Variable: Une Premi\u00e8re Approche","year":"1992","author":"Gayral","key":"10.1016\/S1574-6526(05)80022-7_bib393"},{"key":"10.1016\/S1574-6526(05)80022-7_bib394","series-title":"Proceedings of European Conference on Planning (ECP)","first-page":"221","article-title":"Combining the Expressivity of UCPOP with the Efficiency of Graphplan","author":"Gazen","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib395","series-title":"Proceedings of the International Workshop on Database Programming Languages","first-page":"198","article-title":"A Theory of Spatio-Temporal Database Queries","author":"Geerts","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib396","series-title":"Logic Programming: Proc. of the Fifth Int'l Conf. and Symp.","first-page":"1070","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib397","series-title":"Proceedings of the Seventh International Conference on Logic Programming (ICLP)","first-page":"579","article-title":"Logic Programs with Classical Negation","author":"Gelfond","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib398","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical Negation in Logic Programs and Disjunctive Databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"issue":"2,3,4","key":"10.1016\/S1574-6526(05)80022-7_bib399","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","article-title":"Representing Actions and Change by Logic Programs","volume":"17","author":"Gelfond","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib400","series-title":"Essays in honor of Woody Bledsoe","first-page":"167","article-title":"What are the Limitations of the Situation Calculus?","author":"Gelfond","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib401","series-title":"Proceedings of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)","first-page":"213","article-title":"Diagnosing Physical Systems in A-Prolog","author":"Gelfond","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib402","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01530762","article-title":"Logic Programming and Reasoning with Incomplete Information","volume":"12","author":"Gelfond","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib403","series-title":"Computational Logic: from Logic Programming to the Future, Collection of Paper in Honour of B. Kowalski","article-title":"Representing knowledge in A-Prolog","author":"Gelfond","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib404_1","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","article-title":"Untersuchungen \u00fcber das logische schliessen","volume":"39","author":"Gentzen","year":"1934","journal-title":"Math. Zeitschrift"},{"key":"10.1016\/S1574-6526(05)80022-7_bib404_2","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01201363","article-title":"Untersuchungen \u00fcber das logische schliessen","volume":"39","author":"Gentzen","year":"1934","journal-title":"Math. Zeitschrift"},{"article-title":"Reasoning with Inequations in Temporal Constraint Networks","year":"1995","author":"Gerevini","key":"10.1016\/S1574-6526(05)80022-7_bib405"},{"article-title":"On Temporal Constraint Networks with Inequations","year":"1996","author":"Gerevini","key":"10.1016\/S1574-6526(05)80022-7_bib406"},{"key":"10.1016\/S1574-6526(05)80022-7_bib407","series-title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1460","article-title":"On Finding Solutions in Temporal Constraint Networks","author":"Gerevini","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib408","series-title":"Proceedings of the Seventh European Conference on Artificial Intelligence (ECAI)","first-page":"312","article-title":"Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity","author":"Gerevini","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib409","series-title":"Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming (CP)","article-title":"Combining Topological and Qualitative Size Constraints for Spatial Reasoning","author":"Gerevini","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib410","series-title":"Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"215","article-title":"An Efficient Methods for Managing Disjunctions in Qualitative Temporal Reasoning","author":"Gerevini","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib411","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(94)90110-4","article-title":"On Point-Based Temporal Disjointness","volume":"70","author":"Gerevini","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib412","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0004-3702(94)00016-T","article-title":"Efficient Algorithms for Qualitative Reasoning about Time","volume":"74","author":"Gerevini","year":"1995","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib413","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1111\/j.1467-8640.1995.tb00043.x","article-title":"On Computing the Minimal Labels in Time Point Algebra Networks","volume":"11","author":"Gerevini","year":"1995","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib414","series-title":"Proceedings of the Sixth International Conference on AI Planning Systems (AIPS)","article-title":"LPG: A Planner Based on Local Search for Planning Graphs","author":"Gerevini","year":"2002"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib415","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/152947.152953","article-title":"Temporal Reasoning in Timegraph I\u2013II","volume":"4","author":"Gerevini","year":"1993","journal-title":"SIGART Bulletin"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib416_1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1142\/S0218213095000140","article-title":"The Temporal Reasoning Tools TimeGraph-I\u2013II","volume":"4","author":"Gerevini","year":"1995","journal-title":"International Journal of Artificial Intelligence Tools"},{"first-page":"513","year":"1994","series-title":"Proceedings of the Sixth IEEE Int. Conf. on Tools with Artificial Intelligence","key":"10.1016\/S1574-6526(05)80022-7_bib416_2"},{"volume":"4","first-page":"21","year":"1993","key":"10.1016\/S1574-6526(05)80022-7_bib416_3"},{"key":"10.1016\/S1574-6526(05)80022-7_bib417","series-title":"Proceedings of the Eighth IEEE International Conference on Tools with Artificial Intelligence (ICTAI)","article-title":"Incremental Algorithms for Managing Temporal Constraints","author":"Gerevini","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib418","series-title":"Spatial and Temporal Reasoning","first-page":"43","article-title":"Reasoning About Time and Actions in Artificial Intelligence: Major Issues","author":"Gerevini","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib419","series-title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1283","article-title":"Incremental Tractable Reasoning about Qualitative Temporal Constraints","author":"Gerevini","year":"2003"},{"article-title":"Incremental Tractable Reasoning about Qualitative Temporal Information","year":"2003","author":"Gerevini","key":"10.1016\/S1574-6526(05)80022-7_bib420"},{"key":"10.1016\/S1574-6526(05)80022-7_bib421","series-title":"Proceedings of NIPS","first-page":"396","article-title":"Factorial hidden Markov models","author":"Ghahramani","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib422","series-title":"Proceedings of the International Conference on Artificial Intelligence Planning and Scheduling (AIPS)","article-title":"Representation and Control in IxTeT, a Temporal Planner","author":"Ghallab","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib423","series-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJACI-89)","first-page":"1297","article-title":"Managing Efficiently Temporal Relations Through Indexed Spanning Trees","author":"Ghallab","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib424","series-title":"Proceedings of Internation Conference on Knowledge Representation and Reasoning (KR)","first-page":"597","article-title":"On Chronicles: Representation. On-line Recognition and Learning","author":"Ghallab","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib425","doi-asserted-by":"crossref","unstructured":"F. Giannotti, G. Manco, and J. Wijsen. Logical Languages for Data Mining. In Chomicki et al. [2003b], chapter 9, pages 325\u2013361.","DOI":"10.1007\/978-3-642-18690-5_9"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib426","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1111\/1467-9868.00280","article-title":"Following a Moving Target\u2014Monte Carlo Inference for Dynamic Bayesian Systems","volume":"63","author":"Gilks","year":"2001","journal-title":"Journal of the Royal Statistical Society (Series B)"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib427","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","article-title":"Reasoning about Action I: A Possible Worlds Approach","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib428","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","article-title":"Reasoning about Action II: The Qualification Problem","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib429","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0304-3975(83)90084-1","article-title":"Order Dependency in the Relational Model","volume":"26","author":"Ginsburg","year":"1983","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib430","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1145\/5925.5929","article-title":"Sort Sets in the Relational Model","volume":"33","author":"Ginsburg","year":"1986","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib431","series-title":"Proceeings of the AAAI Conference","first-page":"623","article-title":"An Action Language Based on Causal Explanation: Preliminary Report","author":"Giunchiglia","year":"1998"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib432","first-page":"167","article-title":"Theories of Abstraction","volume":"10","author":"Giunchiglia","year":"1997","journal-title":"AI Communications"},{"year":"1987","series-title":"Logics of Time and Computation","author":"Goldblatt","key":"10.1016\/S1574-6526(05)80022-7_bib433"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib434","doi-asserted-by":"crossref","first-page":"554","DOI":"10.2307\/2274699","article-title":"The McKinsey Axiom is not Canonical","volume":"56","author":"Goldblatt","year":"1991","journal-title":"The Journal of Symbolic Logic"},{"article-title":"Constraint Query Algebras","year":"1997","author":"Goldin","key":"10.1016\/S1574-6526(05)80022-7_bib435"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib436","doi-asserted-by":"crossref","first-page":"1108","DOI":"10.1145\/174147.169675","article-title":"Complexity and algorithms for reasoning about time: A graph-theoretic approach","volume":"40","author":"Golumbic","year":"1993","journal-title":"Journal of the ACM"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib437","first-page":"261","article-title":"Probabilistic Temporal Representation and Reasoning","volume":"7","author":"Goodwin","year":"1994","journal-title":"International Journal of Expert Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib438","series-title":"Medical Informatics Europe","first-page":"887","article-title":"The PRESTIGE Project: Implementing Guidelines in Healthcare","author":"Gordon","year":"1996"},{"article-title":"Tableau Methods for Modal and Temporal Logics","year":"1997","author":"Gor\u00e9","key":"10.1016\/S1574-6526(05)80022-7_bib439"},{"article-title":"Decision Procedures for Temporal Logic","year":"1984","author":"Gough","key":"10.1016\/S1574-6526(05)80022-7_bib440"},{"year":"1991","series-title":"The Problem of Incomplete Information in Relational Databases","author":"Grahne","key":"10.1016\/S1574-6526(05)80022-7_bib441"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib442","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1109\/69.774104","article-title":"Temporal Entity-Relationship Models\u2014A Survey","volume":"11","author":"Gregersen","year":"1999","journal-title":"Knowledge and Data Engineering"},{"key":"10.1016\/S1574-6526(05)80022-7_bib443","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1016\/0140-6736(93)92244-N","article-title":"Effects of Clinical Guidelines on Medical Practice: A Systematic, Review of Rigorous Evaluation","author":"Grimshaw","year":"1993","journal-title":"Lancet"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib444","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0304-3975(90)90190-S","article-title":"Synthesis, Structure and Power of Systolic Computations","volume":"71","author":"Gruska","year":"1990","journal-title":"Theoretical Computer Science"},{"article-title":"Spatial Reasoning Based on Allen's Temporal Logic","year":"1989","author":"Guesgen","key":"10.1016\/S1574-6526(05)80022-7_bib445"},{"key":"10.1016\/S1574-6526(05)80022-7_bib446","series-title":"Hybrid and Real-time Systems (HART)","first-page":"331","article-title":"Robust timed automata","author":"Gupta","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib447","doi-asserted-by":"crossref","first-page":"668","DOI":"10.2307\/2274321","article-title":"The Decision Problem for Branching Time Logic","volume":"50","author":"Gurevich","year":"1985","journal-title":"J. of Symbolic Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib448","series-title":"Proceedings of the Sixith International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"112","article-title":"Foundation of Spatiotemporal Reasoning with Description Logics","author":"Haarslev","year":"1998"},{"article-title":"Representing Plans under Uncertainty: A Logic of Time, Chance, and Action","year":"1994","author":"Haddawy","key":"10.1016\/S1574-6526(05)80022-7_bib449"},{"key":"10.1016\/S1574-6526(05)80022-7_bib450","series-title":"Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP)","first-page":"269","article-title":"Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree","author":"Hafer","year":"1987"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib451","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0933-3657(95)00037-2","article-title":"Managing Temporal Worlds for Medical Trend Diagnosis","volume":"8","author":"Haimowitz","year":"1996","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib452","series-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"480","article-title":"A Guide to the Modal Logics of Knowledge and Belief","author":"Halpern","year":"1985"},{"key":"10.1016\/S1574-6526(05)80022-7_bib453","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","article-title":"A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief","volume":"54","author":"Halpern","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib454","series-title":"Proceedings of International Symposium on Logic in Computer Science (LICS)","article-title":"A Propositional Modal Logic of Time Intervals","author":"Halpern","year":"1986"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib455","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","article-title":"A Propositional Modal Logic of Time Intervals","volume":"38","author":"Halpern","year":"1991","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib456","series-title":"AI and Mathematical Theory of Computation\u2014Papers in Honor of John McCarthy","article-title":"Model Checking vs. Theorem Proving: A Manifesto","author":"Halpern","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib457","first-page":"127","article-title":"Instants and Intervals","volume":"24","author":"Hamblin","year":"1971","journal-title":"Studium Generale"},{"key":"10.1016\/S1574-6526(05)80022-7_bib458","series-title":"The Study of Time","first-page":"324","article-title":"Instants and Intervals","author":"Hamblin","year":"1972"},{"key":"10.1016\/S1574-6526(05)80022-7_bib459","series-title":"Proceedings of the American Association for AI Conference (AAAI)","first-page":"328","article-title":"Default Reasoning, Nonmonotonic Logic and the Frame Problem","author":"Hanks","year":"1986"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib460","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","article-title":"Nonmonotonic Logic and Temporal Projection","volume":"33","author":"Hanks","year":"1987","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib461","article-title":"Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning about Change","volume":"65","author":"Hanks","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib462","series-title":"Proceedings of International Conference on Uncertainty in Artificial Intelligence (UAI)","article-title":"Probabilistic Temporal Reasoning with Endogenous Change","author":"Hanks","year":"1995"},{"article-title":"Projecting Plans for Uncertain Worlds","year":"1990","author":"Hanks","key":"10.1016\/S1574-6526(05)80022-7_bib463"},{"key":"10.1016\/S1574-6526(05)80022-7_bib464","series-title":"Proceedings of the Thirteenth National Conference of the American Association for Artificial Intelligence (AAAI)","first-page":"1229","article-title":"Monitoring the Progress of Anytime Problem-Solving","author":"Hansen","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib465","series-title":"Proceedings of IEEE Symposium on Foundations of Computer Science (FOCS)","first-page":"129","article-title":"Process Logic: Expressiveness, Decidability, Completeness","author":"Harel","year":"1980"},{"key":"10.1016\/S1574-6526(05)80022-7_bib466","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/0022-0000(82)90003-4","article-title":"Process Logic: Expressiveness, Decidability, Completeness","volume":"25","author":"Harel","year":"1982","journal-title":"Journal of Computing System Sciences"},{"volume":"volume 68","year":"1979","author":"Harel","key":"10.1016\/S1574-6526(05)80022-7_bib467"},{"key":"10.1016\/S1574-6526(05)80022-7_bib468","series-title":"Handbook of Philosophical Logic","first-page":"497","article-title":"Dynamic Logic","author":"Harel","year":"1984"},{"key":"10.1016\/S1574-6526(05)80022-7_bib469","series-title":"Proceedings of the European Conference on Planning (ECP)","article-title":"Heuristic Planning with Time and Resources","author":"Haslum","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib470","series-title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87)","first-page":"449","article-title":"Non-Standard Semantics for The Method of Temporal Arguments","author":"Haugh","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib471","series-title":"Proceedings of the Fifth Conference on Medical Informatics (MEDINFO)","first-page":"27","article-title":"Towards a Better Understanding of the INTERNIST-1 Knowledge Base","author":"Heckerman","year":"1986"},{"key":"10.1016\/S1574-6526(05)80022-7_bib472","series-title":"Computational Economics and Econometrics, chapter 1","article-title":"Likelihood Evaluation for Dynamic Latent Variables Models","author":"Hendry","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib473","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","article-title":"The Completeness of the First-Order Functional Calculus","volume":"14","author":"Henkin","year":"1949","journal-title":"J. of Symbolic Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib474","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1006\/inco.1994.1060","article-title":"Temporal Proof Methodologies for Timed Transition Systems","volume":"112","author":"Henzinger","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib475","series-title":"Proceedings of Conference on Tools and Algorithms for the Construction and Analysis of Systems: (TACAS)","first-page":"41","article-title":"A user guide to HYTECH","author":"Henzinger","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib476","series-title":"Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS)","first-page":"278","article-title":"The Theory of Hybrid Automata","author":"Henzinger","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib477","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0169-2607(95)01655-D","article-title":"Protocols for Clinical Care","volume":"48","author":"Herbert","year":"1995","journal-title":"Computer Methods and Programs in Biomedicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib478","series-title":"Proceedings of Tableaux Workshop","first-page":"310","article-title":"Propositional Logics on the Computer","author":"Heuerding","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib479","first-page":"7","article-title":"Form and Content in Quantification Theory","volume":"8","author":"Hintikka","year":"1955","journal-title":"Acta Philosophica Fennica"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib480","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0004-3702(95)00042-9","article-title":"Relation Algebras of Intervals","volume":"83","author":"Hirsh","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib481","series-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"432","article-title":"Granularity","author":"Hobbs","year":"1985"},{"issue":"6","key":"10.1016\/S1574-6526(05)80022-7_bib482","doi-asserted-by":"crossref","first-page":"1179","DOI":"10.1137\/S0097539793251876","article-title":"Simple and Fast Algorithms for Linear and Integer Programs with Two Variables per Inequality","volume":"23","author":"Hochbaum","year":"1994","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/S1574-6526(05)80022-7_bib483","series-title":"Handbook of Philosophical Logic","article-title":"Elementary Predicate Logic","author":"Hodges","year":"1984"},{"key":"10.1016\/S1574-6526(05)80022-7_bib484","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","article-title":"Decidable Fragments of First-Order Temporal Logics","volume":"106","author":"Hodkinson","year":"2000","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib485","series-title":"IEEE Symposium on Logic in Computer Science","first-page":"393","article-title":"Decidable and Undecidable Fragments of First-Order Branching Temporal Logics","author":"Hodkinson","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib486","series-title":"Proceedings of the Joint Tenth International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic (TIME-ICTL)","article-title":"On the Computational Complexity of Decidable Fragments of First-order Linear Temporal Logics","author":"Hodkinson","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib487","article-title":"Temporal Logic and Automata (Chapter 2)","volume":"Vol. 2","author":"Hodkinson","year":"2000"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib488","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1023\/A:1021356410579","article-title":"Monodic Packed Fragment with Equality is Decidable","volume":"72","author":"Hodkinson","year":"2002","journal-title":"Studia Logica"},{"key":"10.1016\/S1574-6526(05)80022-7_bib489","first-page":"253","article-title":"The FF Planning System: Fast Plan Generation Through Heuristic Search","volume":"14","author":"Hoffmann","year":"2000","journal-title":"Journal of AI Research"},{"article-title":"TPLAN: A Temporal Interval-based Planner with Novel Extensions","year":"1987","author":"Hogge","key":"10.1016\/S1574-6526(05)80022-7_bib490"},{"key":"10.1016\/S1574-6526(05)80022-7_bib491","series-title":"Proceedings of the International Conference on Logic Programming (ICLP)","first-page":"164","article-title":"Actions and Specificity","author":"Holldobler","year":"1993"},{"key":"10.1016\/S1574-6526(05)80022-7_bib492","series-title":"Proceedings of European Conference on Artificial Intelligence (ECAI)","first-page":"348","article-title":"Subsumption Algorithms for Concept Description Languages","author":"Hollunder","year":"1990"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib493","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","article-title":"The Model Checker Spin","volume":"23","author":"Holzmann","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"year":"2003","author":"Holzmann","key":"10.1016\/S1574-6526(05)80022-7_bib494"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib495","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0010-4825(97)00012-7","article-title":"Effective Data Validation of High-Frequency Data: Time-Point-, Time-Interval-, and Trend-Based Methods","volume":"27","author":"Horn","year":"1997","journal-title":"Computers in Biology and Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib496","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0933-3657(01)00072-0","article-title":"AI in Medicine on its way from Knowledge-Intensive to Data-Intensive Systems","volume":"23","author":"Horn","year":"2001","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib497","series-title":"Proceedings of International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'98)","first-page":"307","article-title":"The FaCT System","author":"Horrocks","year":"1998"},{"article-title":"Validating Plans with Continuous Effects","year":"2002","author":"Howey","key":"10.1016\/S1574-6526(05)80022-7_bib498"},{"key":"10.1016\/S1574-6526(05)80022-7_bib499","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1006\/cbmr.1994.1023","article-title":"Rationale for the Arden Syntax","volume":"27","author":"Hripcsak","year":"1994","journal-title":"Computers and Biomedical Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib500","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0743-1066(93)90016-A","article-title":"A Temporal Extension of Prolog","volume":"15","author":"Hrycej","year":"1993","journal-title":"Journal of Logic Programming"},{"year":"1968","author":"Hughes","key":"10.1016\/S1574-6526(05)80022-7_bib501"},{"key":"10.1016\/S1574-6526(05)80022-7_bib502","series-title":"Proceedings of 3rd International Workshop on the Implementation of Logics","article-title":"TRP++: A Temporal Resolution Prover","author":"Hustadt","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib503","series-title":"Proceedings of 19th International Conference on Automated Deduction (CADE)","article-title":"TRP 2.0: A Temporal Resolution Prover","author":"Hustadt","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib504","series-title":"Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"533","article-title":"Scientific Benchmarking with Temporal Logic Decision Procedures","author":"Hustadt","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib505","series-title":"Proceedings of the Third International Workshop on Frontiers of Combining Systems (FroCoS)","article-title":"Normal Forms and Proofs in Combined Modal and Temporal Logics","author":"Hustadt","year":"2000"},{"key":"10.1016\/S1574-6526(05)80022-7_bib506","series-title":"Proceedings of the First International Conference on Temporal Logic (ICTL)","first-page":"237","article-title":"Interpreting Tense, Aspect, and Time Adverbials: A Compositional, Unified Approach","author":"Hwang","year":"1994"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib507","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1145\/1634.1886","article-title":"Incomplete Information in Relational Databases","volume":"31","author":"Imielinski","year":"1984","journal-title":"Journal of ACM"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib508","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0890-5401(89)90055-2","article-title":"Definability with Bounded Number of Bound Variables","volume":"83","author":"Immerman","year":"1989","journal-title":"Information and Computation"},{"year":"1992","author":"ISO","key":"10.1016\/S1574-6526(05)80022-7_bib509"},{"key":"10.1016\/S1574-6526(05)80022-7_bib510","series-title":"Proceedings of the Conference on Intelligent Systems Engineering","article-title":"Device Modelling Environment: An Integrated Model-formulation and simulation environment for Continuous and Discrete Phenomena","author":"Iwasaki","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib511","series-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1773","article-title":"Modelling Time in Hybrid Systems: How Fast Is \u2018Instantaneous\u2019?","author":"Iwasaki","year":"1995"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib512","first-page":"89","article-title":"Toward an Explanatory Semantic Representation","volume":"7","author":"Jackendoff","year":"1976","journal-title":"Linguistic Inquiry"},{"key":"10.1016\/S1574-6526(05)80022-7_bib513","series-title":"Proceedings of ACM Symposium on Principles of Programming Languages (POPL)","article-title":"Constraint Logic Programming","author":"Jaffar","year":"1987"},{"issue":"20","key":"10.1016\/S1574-6526(05)80022-7_bib514","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","article-title":"Constraint Logic Programming: A Survey","volume":"19","author":"Jaffar","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib515","series-title":"Proceedings of PPCP Conference","first-page":"86","article-title":"Beyond Finite Domains","author":"Jaffar","year":"1994"},{"year":"2002","author":"J\u00e4ger","key":"10.1016\/S1574-6526(05)80022-7_bib516"},{"article-title":"Logics for Digital Circuit Verification: Theory, Algorithms, and Applications","year":"1999","author":"Janssen","key":"10.1016\/S1574-6526(05)80022-7_bib517"},{"key":"10.1016\/S1574-6526(05)80022-7_bib518","series-title":"Agent Technology: Foundations, Applications, and Markets","article-title":"Applications of Agent Technology","author":"Jennings","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib519","series-title":"Proceedings of IEEE International Conference on Data Engineering","article-title":"Unification of Temporal Data Models","author":"Jensen","year":"1993"},{"key":"10.1016\/S1574-6526(05)80022-7_bib520","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/181550.181560","article-title":"A Consensus Glossary of Temporal Database Concepts","volume":"23","author":"Jensen","year":"1994","journal-title":"SIGMOD record"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib521","doi-asserted-by":"crossref","DOI":"10.1109\/69.536250","article-title":"Extending Existing Dependency Theory to Temporal Databases","volume":"8","author":"Jensen","year":"1996","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1016\/S1574-6526(05)80022-7_bib522","series-title":"The TSQL2 Temporal Query Language","first-page":"447","article-title":"Vacuuming","author":"Jensen","year":"1995"},{"year":"2001","author":"Jensen","key":"10.1016\/S1574-6526(05)80022-7_bib523"},{"key":"10.1016\/S1574-6526(05)80022-7_bib524","series-title":"Proceedings of the AMIA Annual Symposium","article-title":"Using Scenarios in Chronic, Disease Management Guidelines for Primary Care","author":"Johnson","year":"2000"},{"key":"10.1016\/S1574-6526(05)80022-7_bib525","series-title":"Proceedings of the AAAI Conference","first-page":"1235","article-title":"A Linear Programming Approach to Temporal Reasoning","author":"Jonsson","year":"1996"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib526","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0004-3702(98)00031-9","article-title":"A unifying approach to temporal constraint reasoning","volume":"102","author":"Jonsson","year":"1998","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib527","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/S0004-3702(99)00007-7","article-title":"Thomas Drakengren, and Christer B\u00e4ckstr\u00f6m. Computational complexity of relating time points with intervals","volume":"109","author":"Jonsson","year":"1999","journal-title":"Artificial Intelligence"},{"year":"1994","series-title":"Abductive Inference: Computation, Philosphy, Technology","key":"10.1016\/S1574-6526(05)80022-7_bib528"},{"article-title":"Multi-Agent Planning Using an Abductive Event Calculus","year":"1996","author":"Jung","key":"10.1016\/S1574-6526(05)80022-7_bib529"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib530","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1006\/jcss.1995.1049","article-title":"Handling Infinite Temporal Data","volume":"51","author":"Kabanza","year":"1995","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1574-6526(05)80022-7_bib531","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(77)90015-7","article-title":"Mechanizing Temporal Knowledge","volume":"9","author":"Kahn","year":"1977","journal-title":"Artificial Intelligence"},{"article-title":"Model-Based Interpretation of Time-Ordered Medical Data","year":"1988","author":"Kahn","key":"10.1016\/S1574-6526(05)80022-7_bib532"},{"key":"10.1016\/S1574-6526(05)80022-7_bib533","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1055\/s-0038-1634833","article-title":"Combining Physiologic Models and Symbolic Methods to Interpret Time-Varying Patient Data","volume":"30","author":"Kahn","year":"1991","journal-title":"Methods of Information in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib534","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1055\/s-0038-1634816","article-title":"Extensions to the Time-Oriented Database Model to Support Temporal Reasoning in Medical Expert Systems","volume":"30","author":"Kahn","year":"1991","journal-title":"Methods of Information in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib535","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0010-4809(91)90016-P","article-title":"TQuery: A Context-Sensitive Temporal Query Language","volume":"24","author":"Kahn","year":"1991","journal-title":"Computers and Biomedical Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib536","first-page":"423","article-title":"Axiomatising Linear Time mu-Calculus","author":"Kaivola","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib537","series-title":"Proceedings of European Conference on Artificial Intelligence (ECAI)","first-page":"385","article-title":"Generalizaed Stable Models: A Semantics for Abduction","author":"Kakas","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib538","series-title":"Proceedings of the Sixteenth International Confernece on Very Large, Databases (VLDB)","first-page":"650","article-title":"Database Updates Through Abduction","author":"Kakas","year":"1990"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(05)80022-7_bib539","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0743-1066(96)00138-0","article-title":"A Simple Declarative Language for Describing Narratives with Actions","volume":"31","author":"Kakas","year":"1997","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"10.1016\/S1574-6526(05)80022-7_bib540","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","article-title":"Abductive Logic Programming","volume":"2","author":"Kakas","year":"1992","journal-title":"Journal of Logic and Computation"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(05)80022-7_bib541","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","article-title":"ACLP: Abductive Constraint Logic Programming","volume":"44","author":"Kakas","year":"2000","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib542","first-page":"591","article-title":"A-system: Problem Solving Through Abduction","volume":"volume 1","author":"Kakas","year":"2001"},{"year":"1993","author":"Kamp","key":"10.1016\/S1574-6526(05)80022-7_bib543"},{"key":"10.1016\/S1574-6526(05)80022-7_bib544","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00159343","article-title":"A Calculus for First-Order Discourse Representation Structrues","volume":"5","author":"Kamp","year":"1996","journal-title":"Journal of Logic, Language and Information"},{"article-title":"Tense Logic and the Theory of Linear Order","year":"1968","author":"Kamp","key":"10.1016\/S1574-6526(05)80022-7_bib545"},{"key":"10.1016\/S1574-6526(05)80022-7_bib546","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1111\/j.1755-2567.1971.tb00071.x","article-title":"Formal Properties of \u2018now\u2019","volume":"37","author":"Kamp","year":"1971","journal-title":"Theoria"},{"key":"10.1016\/S1574-6526(05)80022-7_bib547","series-title":"Semantics from Different Points of View","first-page":"376","article-title":"Events, Instants and Temporal Reference","author":"Kamp","year":"1979"},{"key":"10.1016\/S1574-6526(05)80022-7_bib548","series-title":"Proceedings of International Conference on Uncertainty in AI (UAI)","article-title":"Stochastic Simulation Algorithms for Dynamic Probabilistic Networks","author":"Kanazawa","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib549","series-title":"Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI)","first-page":"360","article-title":"A Logic and Time Nets for Probabilistic Inference","author":"Kanazawa","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib550","series-title":"Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS)","first-page":"299","article-title":"Constraint Query Languages","author":"Kanellakis","year":"1990"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib551","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1006\/jcss.1995.1051","article-title":"Constraint Query Languages","volume":"51","author":"Kanellakis","year":"1995","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1574-6526(05)80022-7_bib552","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF02579150","article-title":"A New Polynomial Time Algorithm for Linear Programming","volume":"4","author":"Karmarkar","year":"1984","journal-title":"Combinatorica"},{"key":"10.1016\/S1574-6526(05)80022-7_bib553","series-title":"Proceedings if International joint Conference, on Artificial Intelligence (IJCAI)","first-page":"724","article-title":"Soundness and Completeness Theorems for Three Formalizations of Action","author":"Kartha","year":"1993"},{"key":"10.1016\/S1574-6526(05)80022-7_bib554","series-title":"Proceedings of the Ninth (US) National Conference on Artificial Intelligence (AAAI)","first-page":"241","article-title":"Integrating Metric and Temporal Qualitative Temporal Reasoning","author":"Kautz","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib555","series-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"318","article-title":"Unifying SAT-based and Graph-based Planning","author":"Kautz","year":"1995"},{"article-title":"A Formal Theory of Plant Recognition","year":"1987","author":"Kautz","key":"10.1016\/S1574-6526(05)80022-7_bib556"},{"key":"10.1016\/S1574-6526(05)80022-7_bib557","series-title":"Reasoning about Plans","first-page":"69","article-title":"A Formal Theory of Plan Recognition and its Implementation","author":"Kautz","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib558","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0004-3702(00)00012-6","article-title":"Semi-quantitative System Identification","volume":"119","author":"Kay","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib559","series-title":"Handbook of Logic and Language","first-page":"837","article-title":"Generalizaed Quantifiers in Linguistics and, Logic","author":"Keenan","year":"1997"},{"year":"1963","author":"Kenny","key":"10.1016\/S1574-6526(05)80022-7_bib560"},{"key":"10.1016\/S1574-6526(05)80022-7_bib561","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0933-3657(90)90001-8","article-title":"A Temporal Reasoning Framework used in the Diagnosis of Skeletal Dysplasias","volume":"2","author":"Keravnou","year":"1990","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib562","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1111\/0824-7935.00135","article-title":"Abductive Diagnosis using Time-Objects: Criteria for the Evaluation of Solutions","volume":"17","author":"Keravnou","year":"2001","journal-title":"Computational Intelligence"},{"article-title":"An Ontology of Time Using Time-Axes and Time-Objects as Primitives","year":"1996","author":"Keravnou","key":"10.1016\/S1574-6526(05)80022-7_bib563"},{"key":"10.1016\/S1574-6526(05)80022-7_bib564","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0933-3657(95)00035-6","article-title":"Temporal Diagnostic Reasoning based on Time-Objects","volume":"8","author":"Keravnou","year":"1996","journal-title":"Artificial Intelligence, in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib565","series-title":"Intelligent Data Analysis in Medicine and Pharmacology","first-page":"61","article-title":"Temporal Abstraction of Medical Data: Deriving Periodicity","author":"Keravnou","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib566","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1023\/A:1008758922521","article-title":"A Multidimensional and Multigranular Model of Time for Medical Knowledge-Based Systems","volume":"13","author":"Keravnou","year":"1999","journal-title":"Journal of Intelligent Information Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib567","series-title":"Logics of Programs","first-page":"2","article-title":"A Complete Proof System for QPTL","author":"Kesten","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib568","first-page":"803","article-title":"Temporal Verification of Simulation and Refinement","author":"Kesten","year":"1994","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib569","series-title":"Proceedings of Conference on Computer Aided Verification (CAV)","first-page":"97","article-title":"A Decision Algorithm for Full Propositional Temporal Logic","author":"Kesten","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib570","first-page":"191","article-title":"A Polynomial Algorithm in Linear Programming","volume":"20","author":"Khachiyan","year":"1979","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1574-6526(05)80022-7_bib571","series-title":"Proceedings of Eighth ACM-SIGACT-SIGMOD-SIGART Symposium of Principles of Database Systems (PODS)","article-title":"F-logic: A Higher-order Language for Reasoning, about Objects","author":"Kifer","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib572","series-title":"Proceedings of International Conference on Uncertainty in AI (UAI)","first-page":"121","article-title":"A Computational Scheme for Reasoning in Dynamic Probabilistic Networks","author":"Kjaerulff","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib573","series-title":"Automata Studies","first-page":"3","article-title":"Representation of Events in Nerve Nets and Finite Automata","author":"Kleene","year":"1956"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib574","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/166635.166659","article-title":"An Update of the Temporal Database Bibliography","volume":"22","author":"Kline","year":"1993","journal-title":"SIGMOD RECORD"},{"key":"10.1016\/S1574-6526(05)80022-7_bib575","series-title":"Proceedings of the Joint Tenth International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic (TIME-ICTL)","article-title":"Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case","author":"Konev","year":"2003"},{"year":"2003","author":"Konev","key":"10.1016\/S1574-6526(05)80022-7_bib576"},{"key":"10.1016\/S1574-6526(05)80022-7_bib577","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1080\/01621459.1994.10476469","article-title":"Sequential Imputations and Bayesian Missing Data Problems","volume":"89","author":"Kong","year":"1994","journal-title":"Journal of the American Statistical Association"},{"key":"10.1016\/S1574-6526(05)80022-7_bib578","article-title":"Temporalizing Tableaux","author":"Kontchakov","year":"2003","journal-title":"Studia Logica"},{"key":"10.1016\/S1574-6526(05)80022-7_bib579","series-title":"Proceedings of AAAI Conference","first-page":"745","article-title":"Querying Temporal Constraint Networks in PTIME","author":"Koubarakis","year":"1999"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib580","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/S0004-3702(00)00055-2","article-title":"Querying Temporal and Spatial Constraint networks in PTIME","volume":"123","author":"Koubarakis","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib581","unstructured":"M. Koubarakis. Dense Time and Temporal Constraints with\u2260. In Swartout and Nebel [1992], pages 24\u201335."},{"key":"10.1016\/S1574-6526(05)80022-7_bib582","series-title":"Proceedings of the Ninth International Conference on Data Engineering","first-page":"327","article-title":"Representation and Querying in Temporal Databases: the Power of Temporal Constraints","author":"Koubarakis","year":"1993"},{"key":"10.1016\/S1574-6526(05)80022-7_bib583","series-title":"Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"379","article-title":"Complexity Results for First-Order Theories of Temporal Constraints","author":"Koubarakis","year":"1994"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib584","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0306-4379(94)90008-6","article-title":"Database Models for Infinite and Indefinite Temporal Information","volume":"19","author":"Koubarakis","year":"1994","journal-title":"Information Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib585","series-title":"Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP)","first-page":"53","article-title":"From Local to Global Consistency in Temporal Constraint Networks","author":"Koubarakis","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib586","series-title":"Proceedings of the Second International Conference on Principles and Practice of Constraint Programming (CP)","first-page":"297","article-title":"Tractable Disjunctions of Linear Constraints","author":"Koubarakis","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib587","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/S0304-3975(96)00192-2","article-title":"From Local to Global Consistency in Temporal Constraint Networks","volume":"173","author":"Koubarakis","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib588","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0304-3975(96)00124-7","article-title":"The Complexity of Query Evaluation in Indefinite Temporal Constraint Databases","volume":"171","author":"Koubarakis","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib589","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0304-3975(00)00177-8","article-title":"Tractable Disjunctions of Linear Constraints: Basic Results and Applications to Temporal Reasoning","volume":"266","author":"Koubarakis","year":"2001","journal-title":"Theoretical Computer Science"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(05)80022-7_bib590","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0743-1066(96)00137-9","article-title":"Reconciling the Event Calculus with the Situation Calculus","volume":"31","author":"Kowalski","year":"1997","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib591","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","article-title":"A Logic-based Calculus of Events","volume":"1","author":"Kowalski","year":"1986","journal-title":"New Generation Computing"},{"key":"10.1016\/S1574-6526(05)80022-7_bib592","doi-asserted-by":"crossref","DOI":"10.1016\/0743-1066(92)90041-Z","article-title":"Database Updates in the Event Calculus","author":"Kowalski","year":"1992","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib593","series-title":"Analysis of Concurrent Systems","first-page":"231","article-title":"Examples of a Real-Time Temporal Logic Specification","author":"Koymans","year":"1985"},{"article-title":"Specifying Message, Passing and Time-Critical Systems with Temporal Logic","year":"1989","author":"Koymans","key":"10.1016\/S1574-6526(05)80022-7_bib594"},{"key":"10.1016\/S1574-6526(05)80022-7_bib595","first-page":"340","article-title":"Results on the Propositional \u03bc-calculus","author":"Kozen","year":"1982"},{"year":"1987","author":"Kroger","key":"10.1016\/S1574-6526(05)80022-7_bib596"},{"key":"10.1016\/S1574-6526(05)80022-7_bib597","series-title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"83","article-title":"A Complete Classification of Tractability in Allen's Algebra in the Presence of a Non-Trivial Basic Relation","author":"Krokhin","year":"2001"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib598","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1145\/876638.876639","article-title":"The Tractable Subalgebras of Allen's Interval Algebra","volume":"50","author":"Krokhin","year":"2003","journal-title":"Journal of the ACM"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib599","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/0005-1098(94)90027-2","article-title":"The Composition and Validation of Heterogeneous Control Laws","volume":"30","author":"Kuipers","year":"1994","journal-title":"Automatica"},{"key":"10.1016\/S1574-6526(05)80022-7_bib600","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","article-title":"Qualitative Simulation","volume":"26","author":"Kuipers","year":"1986","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib601","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0954-1810(88)90012-X","article-title":"Qualitative Simulation","volume":"3","author":"Kuipers","year":"1988","journal-title":"Artificial Intelligence"},{"year":"1994","author":"Kuipers","key":"10.1016\/S1574-6526(05)80022-7_bib602"},{"key":"10.1016\/S1574-6526(05)80022-7_bib603","series-title":"Proceedings of the International Conference on Knowledge Based Computed Systems","article-title":"Enforcing the Local Consistency in INDU","author":"Kumari","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib604","series-title":"Proceedings of the Sixth ACM-SIGACT-SIGMOD-SIGART Symposium of Principles of Database Systems (PODS)","article-title":"Logic Programming with Sets","author":"Kuper","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib605","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0004-3702(94)00087-H","article-title":"An Algorithm for Probabilistic Planning","volume":"76","author":"Kushmerick","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib606","series-title":"Proceedings of the Europena Conference on Artificial Intelligence (ECAI)","article-title":"Extending TALplanner with Concurrency and Resources","author":"Kvarnstr\u00f6n","year":"2000"},{"article-title":"On Binary Constraint Networks","year":"1988","author":"Ladkin","key":"10.1016\/S1574-6526(05)80022-7_bib607"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib608","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/176584.176585","article-title":"On Binary Constraint Problems","volume":"41","author":"Ladkin","year":"1994","journal-title":"Journal of the ACM"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib609","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(92)90106-8","article-title":"Effective Solution of Qualitative Interval Constraint Problems","volume":"57","author":"Ladkin","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib610","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1018968024833","article-title":"Fast Algebraic Methods for Interval Constraint Problems","volume":"19","author":"Ladkin","year":"1997","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib611","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"462","article-title":"The Completeness of a Natural System for Reasoning with Time Interals","author":"Ladkin","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib612","series-title":"Proceedings of AAAI Conference","first-page":"512","article-title":"Satisfying First-Order Constraints About Time Intervals","author":"Ladkin","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib613","series-title":"Proceedings of the Timberline Oregon Workshop on Reasoning about Actions and Plants","article-title":"A Representation of Parallel Activity Based on Events, Structure and Causality","author":"Lansky","year":"1986"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib614","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0933-3657(92)90049-U","article-title":"M-HTP: A System for Monitoring Heart-Transplant Patients","volume":"4","author":"Larizza","year":"1992","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib615","series-title":"Proceedings of AIME Conference","first-page":"319","article-title":"Temporal Abstractions for Diabetic Patients Management","author":"Larizza","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib616","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF00986208","article-title":"Temporal Interpretation, Discourse Relations and Commonsense Entailment","volume":"16","author":"Lascarides","year":"1993","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1574-6526(05)80022-7_bib617","series-title":"Proceedings the Sixth Conference of the European Chapter of the ACL (EACL)","first-page":"260","article-title":"Temporal Connectives in a Discourse Context","author":"Lascarides","year":"1993"},{"year":"2004","series-title":"Data Mining in Time Series Databases","key":"10.1016\/S1574-6526(05)80022-7_bib618"},{"key":"10.1016\/S1574-6526(05)80022-7_bib619","series-title":"Logics for Databases and Information Systems","first-page":"389","article-title":"On Logical Foundations of Active Databases","author":"Lausen","year":"1998"},{"year":"1997","series-title":"Intelligent, Data Analysis in Medicine and Pharmacology","key":"10.1016\/S1574-6526(05)80022-7_bib620"},{"key":"10.1016\/S1574-6526(05)80022-7_bib621","series-title":"Proceedings of the Fifth National Conference of the American Association for Artificial Intelligence (AAAI)","first-page":"367","article-title":"A Representation for Collections of Temporal Intervals","author":"Leban","year":"1986"},{"key":"10.1016\/S1574-6526(05)80022-7_bib622","series-title":"Proceedings of the ACM Symposium on Principles of Database Systems (PODS)","first-page":"233","article-title":"Data Integration: a Theoretical Perspective","author":"Lenzerini","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib623","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","article-title":"Foundations of a Functional Approach to Knowledge Representation","volume":"23","author":"Levesque","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib624","series-title":"Proceedings of the ACM Symposium on Principles of Database Systems (PODS)","first-page":"95","article-title":"Answering Queries Using Views","author":"Levy","year":"1995"},{"year":"2000","series-title":"Constraint Databases","key":"10.1016\/S1574-6526(05)80022-7_bib625"},{"key":"10.1016\/S1574-6526(05)80022-7_bib626","series-title":"Proceedings of the Twelfth ACM Symposium on the Principles of Programming Languages (POPL)","first-page":"97","article-title":"Checking that Finite State Concurrent Programs Satisfy their Linear Specification","author":"Lichtenstein","year":"1985"},{"key":"10.1016\/S1574-6526(05)80022-7_bib627","series-title":"Logics of Programs","first-page":"196","article-title":"The Glory of the Past","author":"Lichtenstein","year":"1985"},{"key":"10.1016\/S1574-6526(05)80022-7_bib628","series-title":"Proceedings of the Eleventh International Conference on Logic Programming (ICLP)","first-page":"23","article-title":"Splitting a Logic Program","author":"Lifschitz","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib629","series-title":"Proceedings of the Workshop on the Frame Prblem","first-page":"35","article-title":"Formal Theories of Action","author":"Lifschitz","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib630","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1016\/S0004-3702(97)00057-X","article-title":"On the Logic of Causal Explanation","volume":"96","author":"Lifschitz","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib631","series-title":"Proceedings of International Conference on Logic Programming (ICLP)","first-page":"23","article-title":"Answer Set Planning","author":"Lifschitz","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib632","series-title":"Proceedings of AAAI Conference","first-page":"715","article-title":"Weak Representations of Interval Algebras","author":"Ligozat","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib633","series-title":"Proceedings of the Thirteenth National Conference of the American Association for Artificial Intelligence (AAAI)","first-page":"715","article-title":"A New Proof of Tractability for ORD-Horn Relations","author":"Ligozat","year":"1996"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib634","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1080\/11663081.1991.10510770","article-title":"Two Theories of Time","volume":"1","author":"Lin","year":"1991","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10.1016\/S1574-6526(05)80022-7_bib635","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1985","article-title":"Embracing Causality in Specifying the Indirect Effects of Actions","author":"Lin","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib636","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1412","article-title":"Application of the Situation Calculus to Formalizing Control and Strategic Information: the Prolog Cut Operator","author":"Lin","year":"1997"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib637","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1145\/320083.320088","article-title":"On Semantic Issues Connected with Incomplete Information Databases","volume":"4","author":"Lipski","year":"1979","journal-title":"ACM Transcactions on Database Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib638","series-title":"Proceedings of AAAI Conference","article-title":"Probabilistic proposition planning: Representations and complexity","author":"Littman","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib639","doi-asserted-by":"crossref","DOI":"10.1080\/01621459.1998.10473765","article-title":"Sequential Monte Carlo Methods for Dynamic Systems","volume":"93","author":"Liu","year":"1998","journal-title":"Journal of the American Statistical Association"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib640","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1006\/jsco.1996.0072","article-title":"Dealing with Multiple Granularity of Time in Temporal Logic Programming","volume":"22","author":"Liu","year":"1997","journal-title":"Journal of Symbolic Computation"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib641","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","article-title":"Making Prolog More Expressive","volume":"1","author":"Lloyd","year":"1984","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib642","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","article-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"year":"1992","author":"Lobo","key":"10.1016\/S1574-6526(05)80022-7_bib643"},{"key":"10.1016\/S1574-6526(05)80022-7_bib644","series-title":"Proceedings of International Conference on Automated Planning and Scheduling (ICAPS)","article-title":"Exploiting a Graphplan Framework in Temporal Planning","author":"Long","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib645","first-page":"20","article-title":"The 3rd International Planning Competition: Results and Analysis","author":"Long","year":"2003","journal-title":"Journal of AI Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib646","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0933-3657(95)00033-X","article-title":"Temporal Reasoning for Diagnosis in a Causal Probabilistic Knowledge Base","volume":"8","author":"Long","year":"1996","journal-title":"Artificial Intelligence in Medicine"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib647","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1109\/69.599935","article-title":"SQL Extension for Interval Data","volume":"9","author":"Lorentzos","year":"1997","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib648","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0169-023X(95)00022-K","article-title":"Manipulation Operations for an Interval-extended Relational Model","volume":"17","author":"Lorentzos","year":"1995","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/S1574-6526(05)80022-7_bib649","unstructured":"N. A. Lorentzos. The Interval-extended Relational Model and Its Application to Valid-time Databases. In Tansel et al. [1993], pages 67\u201391."},{"key":"10.1016\/S1574-6526(05)80022-7_bib650","series-title":"Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR)","first-page":"6","article-title":"Complexity of Terminological Reasoning Revisited","author":"Lutz","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib651","series-title":"Proceedings of the Sixteenth International Joint Conference on Artificial, Intelligence (IJCAI)","first-page":"31","article-title":"Reasoning with Concrete Domains","author":"Lutz","year":"1999"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib652","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1111\/j.1467-9337.1990.tb00062.x","article-title":"The Logic of Time in Law and Legal Expert Systems","volume":"3","author":"Mackaay","year":"1990","journal-title":"Ratio Juris"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib653","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in Networks of Relations","volume":"8","author":"Mackworth","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib654","series-title":"Proceedings of the ACM SIGMOD International Conference on Management of Data","first-page":"49","article-title":"Continuously Adaptive Continuous Queries over Streams","author":"Madden","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib655","series-title":"Proceedings of the Workshop on Foundations of Deductive Database and Logic Programming","article-title":"A Logic for Objects","author":"Maier","year":"1986"},{"key":"10.1016\/S1574-6526(05)80022-7_bib656","series-title":"Proceedings of Sixteenth National Conference on AI","article-title":"Contingent Planning under Uncertainty via Stochastic Satisfiability","author":"Majercik","year":"1999"},{"year":"1992","author":"Manna","key":"10.1016\/S1574-6526(05)80022-7_bib657"},{"year":"1995","author":"Manna","key":"10.1016\/S1574-6526(05)80022-7_bib658"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib659","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","article-title":"Synthesis of Communicating Processes from Temporal Logic Specifications","volume":"6","author":"Manna","year":"1984","journal-title":"ACM Transactions on Programming Languages and Systems"},{"first-page":"1","year":"1993","author":"Manzano","key":"10.1016\/S1574-6526(05)80022-7_bib660"},{"key":"10.1016\/S1574-6526(05)80022-7_bib661","series-title":"Proceedings of Fifth International Conference in Database Theory (ICDT)","article-title":"Revision Programming, Database Updates and Integrity Constraints","author":"Marek","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib662","series-title":"The Logic Programming Paradigm: a 25-Year perspective","first-page":"375","article-title":"Stable Models and an Alternative Logic Programming Paradigm","author":"Marek","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib663","series-title":"Decentralized AI 2 \u2014 Proceedings of the 2nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW)","article-title":"Modelling Autonomous Agents and their Group","author":"Maruichi","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib664","first-page":"634","article-title":"Systematic Nonlinear Planning","volume":"volume 2","author":"McAllester","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib665","series-title":"Proceedings of the Eleventh International Conference on Logic Programming (ICLP)","first-page":"38","article-title":"Language Independence and Language Tolerance in Logic Programs","author":"McCain","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib666","unstructured":"N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proc. of IJCAI 95, pages 1978\u20131984, 1995."},{"key":"10.1016\/S1574-6526(05)80022-7_bib667","series-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference (AAAI)","first-page":"460","article-title":"Causal Theories of Action and Change","author":"McCain","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib668","series-title":"Proceedings of International Conference on Principles of Knowledge Represenation and Reasoning (KR)","first-page":"212","article-title":"Satisficability Planning with Causal Theories","author":"McCain","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib669","series-title":"Machine Intelligence 4","article-title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","author":"McCarthy","year":"1969"},{"key":"10.1016\/S1574-6526(05)80022-7_bib670","series-title":"Proceedings of the Teddington Conference on the Mechanization of Thought Processes","first-page":"75","article-title":"Programs with Common Sense","author":"McCarthy","year":"1959"},{"article-title":"Stitutations, Actions and Causal Laws","year":"1963","author":"McCarthy","key":"10.1016\/S1574-6526(05)80022-7_bib671"},{"key":"10.1016\/S1574-6526(05)80022-7_bib672","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription \u2014 A Form of Non-Monotonic Reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib673","series-title":"Spring Symposium Series'95: Extending Theories of Action","first-page":"136","article-title":"Some requirements on an action language for leagal discourse (position paper)","author":"Thorne McCarty","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib674","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Non-Monotonic Logic I","volume":"13","author":"McDermott","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib675","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","article-title":"A Temporal Logic for Reasoning about Processes and Plans","volume":"6","author":"McDermott","year":"1982","journal-title":"Cognitive Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib676","series-title":"Proceedings of the Third International Conference on Artificial Intelligence Planning System (AIPS)","first-page":"142","article-title":"A Heuristic Estimator for Means Ends Analysis in Planning","author":"McDermott","year":"1996"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib677","article-title":"The 1998 AI Planning Systems Competition","volume":"21","author":"McDermott","year":"2000","journal-title":"AI Magazine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib678","series-title":"Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)","article-title":"Reasoning about Autonomous Processes in an Estimated-Regression Planner","author":"McDermott","year":"2003"},{"article-title":"Two Methods for Checking Formulas of Temporal Logic","year":"1995","author":"McGuire","key":"10.1016\/S1574-6526(05)80022-7_bib679"},{"key":"10.1016\/S1574-6526(05)80022-7_bib680","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","article-title":"Testing and Generating Infinite Sequences by Finite Automata","volume":"9","author":"McNaughton","year":"1966","journal-title":"Information and Control"},{"key":"10.1016\/S1574-6526(05)80022-7_bib681","series-title":"Proceedings of AAAI Conference","first-page":"260","article-title":"Combining Qualitative and Quantitative Constraints in Temporal Reasoning","author":"Meiri","year":"1991"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib682","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(95)00109-3","article-title":"Combining Qualitative and Quantitative Constraints in Temporal Reasoning","volume":"87","author":"Meiri","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib683","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","article-title":"A Logical Approach to the Dynamics of Commitments","volume":"113","author":"Meyer","year":"1999","journal-title":"Artificial Intelligence"},{"issue":"6","key":"10.1016\/S1574-6526(05)80022-7_bib684","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1016\/S0933-3657(96)00355-7","article-title":"Utilizing Temporal Data Abstraction for Data Validation and Therapy, Planning for Artificially Ventilated Newborn Infants","volume":"8","author":"Miksch","year":"1996","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib685","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1111\/j.1467-8640.1990.tb00294.x","article-title":"Time Revisited","volume":"6","author":"Miller","year":"1990","journal-title":"Computational Intelligence"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib686","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1093\/logcom\/4.5.513","article-title":"Narratives in the Situational Calculus","volume":"4","author":"Miller","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib687","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1056\/NEJM198208193070803","article-title":"INTERNIST-I, An Experimental Computer-Based Diagnostic Consultant for General Internal Medicine","volume":"307","author":"Miller","year":"1982","journal-title":"New England Journal of Medicine"},{"year":"1986","author":"Miller","key":"10.1016\/S1574-6526(05)80022-7_bib688"},{"article-title":"The Rhetorical Knowledge Representation System Refrence Manual","year":"1990","author":"Miller","key":"10.1016\/S1574-6526(05)80022-7_bib689"},{"article-title":"Abductive Planning with Event Calculus","year":"1992","author":"Missiaen","key":"10.1016\/S1574-6526(05)80022-7_bib690"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib691","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1093\/logcom\/5.5.579","article-title":"CHICA, An Abductive Planning System Based on Event Calculus","volume":"5","author":"Missiaen","year":"1995","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib692","series-title":"Proceedings of the IEEE Conference on Robotics and Automation","first-page":"605","article-title":"Localized Abductive Planning for Robot Assembly","author":"Missiaen","year":"1991"},{"article-title":"Localized Abductive Planning with the Event Calculus","year":"1991","author":"Missiaen","key":"10.1016\/S1574-6526(05)80022-7_bib693"},{"key":"10.1016\/S1574-6526(05)80022-7_bib694","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0304-3975(84)90049-5","article-title":"Alternating Finite Automata on \u03c9-words","volume":"32","author":"Miyano","year":"1984","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib695","series-title":"Proceedings of the ACM Symposium on Principles of Database Systems (PODS)","first-page":"188","article-title":"On Moving Objects Queries","author":"Mokhtar","year":"2002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib696","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0304-3975(96)00324-6","article-title":"Two-Sorted Metric Temporal Logic","volume":"183","author":"Montanari","year":"1997","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib697","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1305\/ndjfl\/1040046089","article-title":"Decidability Results for Metric and Layered Temporal Logics","volume":"37","author":"Montanari","year":"1996","journal-title":"Notre-Dame Journal of Formal Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib698","series-title":"Proceedings of the Twenty-Fourth Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)","article-title":"Decidability of MSO theories of tree structures","author":"Montanari","year":"2004"},{"key":"10.1016\/S1574-6526(05)80022-7_bib699","series-title":"Proceedings of the Eleventh International Symposium on Temporal Representation and Reasoning (TIME)","first-page":"156","article-title":"Decidability of the Theory of the Totally Unbounded \u03c9-Layered Structure","author":"Montanari","year":"2004"},{"article-title":"Dealing with Time Granularity in Logical Specifications of Real-Time Systems: The Synchronous Case","year":"1992","author":"Montanari","key":"10.1016\/S1574-6526(05)80022-7_bib700"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib701","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1093\/jigpal\/7.1.79","article-title":"Theories of Omega-Layered Metric Temporal Structures: Expressiveness, and Decidability","volume":"7","author":"Montanari","year":"1999","journal-title":"Logic Journal of the IGPL"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib702","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1093\/jigpal\/8.5.681","article-title":"The Taming (Timing) of the States","volume":"8","author":"Montanari","year":"2000","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib703","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1093\/logcom\/12.4.641","article-title":"Extending Kamp's Theorem to Model Time Granularity","volume":"12","author":"Montanari","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib704","first-page":"259","article-title":"Decidability of Interval Temporal Logics over Split-Frames via Granularity","author":"Montanari","year":"2002"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib705","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","article-title":"Networks of Constraints: Fundamental Properties and Applications to Picture Processing","volume":"7","author":"Montanari","year":"1974","journal-title":"Information Science"},{"article-title":"A Layered and Metric Temporal Logic for Time Granularity, Synchrony and Asynchrony","year":"1994","author":"Montanari","key":"10.1016\/S1574-6526(05)80022-7_bib706"},{"article-title":"Metric and Layered Temporal Logic for Time Granularity","year":"1996","author":"Montanari","key":"10.1016\/S1574-6526(05)80022-7_bib707"},{"key":"10.1016\/S1574-6526(05)80022-7_bib708","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00257-0","article-title":"Systolic Tree \u03c9-Languages: The Operational and the Logical View","volume":"23","author":"Monti","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib709","first-page":"75","article-title":"Logical Definability of Y-Tree and Trellis Systolic \u03c9-Languages","volume":"15","author":"Monti","year":"2001","journal-title":"Acta Cybernetica"},{"key":"10.1016\/S1574-6526(05)80022-7_bib710","series-title":"Readings in Planning","first-page":"480","article-title":"A Formal Theory of Knowledge and Action","author":"Moore","year":"1990"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib711","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1111\/j.1467-8640.1996.tb00271.x","article-title":"Domain Independent Temporal Reasoning with Recurring Events","volume":"12","author":"Morris","year":"1997","journal-title":"Computational Intelligence"},{"article-title":"Modalized Description Logic\u2014How Much?","year":"2000","author":"Morurovic","key":"10.1016\/S1574-6526(05)80022-7_bib712"},{"article-title":"Reasoning about Digital Circuits","year":"1983","author":"Moszkowski","key":"10.1016\/S1574-6526(05)80022-7_bib713"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib714","doi-asserted-by":"crossref","DOI":"10.1109\/MC.1985.1662795","article-title":"A Temporal Logic for Multilevel Reasoning about Hardware","volume":"18","author":"Moszkowski","year":"1985","journal-title":"IEEE Computer"},{"year":"1986","author":"Moszkowski","key":"10.1016\/S1574-6526(05)80022-7_bib715"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib716","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1006\/jsco.1996.0071","article-title":"NatureTime: Temporal Granularity in Simulation of Ecosystems","volume":"22","author":"Mota","year":"1997","journal-title":"Journal of Symbolic Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib717","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BF00149015","article-title":"Events, Processes and States","volume":"2","author":"Mourelatos","year":"1978","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1574-6526(05)80022-7_bib718","series-title":"Proceedings of Third IEEE Symposium on Logic in Computer Science (LICS)","first-page":"422","article-title":"Weak Alternating Automata give a Simple Explanation of why most Temporal and Dynamic Logics are Decidable in Exponential Time","author":"Muller","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib719","series-title":"GIS and Generalization","first-page":"3","article-title":"Generalization: State of the Art and Issues","author":"Muller","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib720","series-title":"Proceedings of the Fourth Annual IEEE Symposium on Switching Circuit Theory and Logical Design","first-page":"3","article-title":"Infinite Sequences and Finite Machines","author":"Muller","year":"1963"},{"key":"10.1016\/S1574-6526(05)80022-7_bib721","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0004-3702(82)90011-X","article-title":"Completely Non-Clausal Theorem Proving","volume":"18","author":"Murray","year":"1982","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib722","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","article-title":"Remote Agent: To Boldly Go Where No AI System Has Gone Before","volume":"103","author":"Muscettola","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib723","series-title":"Intelligent Scheduling","first-page":"169","article-title":"HSTS: Integrating Planning and Scheduling","author":"Muscettola","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib724","series-title":"Proceedings of the Sixteenth Annual Symposium on Computer Applications in Medical Care (SCAMC)","first-page":"719","article-title":"T-HELPER: Automated Support for Community-Based Clinical Research","author":"Musen","year":"1992"},{"issue":"6","key":"10.1016\/S1574-6526(05)80022-7_bib725","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1136\/jamia.1996.97084511","article-title":"EON: A Component-Based Approach to Automation of Protocol-Directed Therapy","volume":"3","author":"Musen","year":"1996","journal-title":"Journal of the American Medical Informatics Association"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib726","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","article-title":"Telos: A Language for Representing Knowledge About Information Systems","volume":"8","author":"Mylopoulos","year":"1990","journal-title":"ACM Transactions on Information Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib727","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","article-title":"SHOP: Simple Hierarchical Ordered Planner","author":"Nau","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib728","article-title":"SHOP2: an HTN Planning Environment","author":"Nau","year":"2003","journal-title":"Journal of AI Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib729","series-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1454","article-title":"Qualitative Temporal Reasoning with Points and Durations","author":"Navarrete","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib730","series-title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI)","article-title":"Qualitative temporal reasoning with points and durations","author":"Navarrete","year":"1997"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib731","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/200836.200848","article-title":"Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra","volume":"42","author":"Nebel","year":"1995","journal-title":"Journal of the ACM"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib732","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00137869","article-title":"Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class","volume":"1","author":"Nebel","year":"1997","journal-title":"CONSTRAINTS"},{"key":"10.1016\/S1574-6526(05)80022-7_bib733","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1613\/jair.735","article-title":"On the Compilability and Expressive Power of Propositional Planning Formalisms","volume":"12","author":"Nebel","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"year":"1980","author":"Newton-Smith","key":"10.1016\/S1574-6526(05)80022-7_bib734"},{"year":"1936","author":"Newton","key":"10.1016\/S1574-6526(05)80022-7_bib735"},{"key":"10.1016\/S1574-6526(05)80022-7_bib736","series-title":"Proceedings on International Conference on Uncertainty in AI (UAI)","article-title":"A Theoretical Framework for Context-Sensitive Temporal Probability Model Construction with Application to Plan Projection","author":"Ngo","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib737","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"459","article-title":"Reviving Partial Order Planning","author":"Nguyen","year":"2001"},{"issue":"1\/2","key":"10.1016\/S1574-6526(05)80022-7_bib738","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1008711006591","article-title":"Integration of Temporal Reasoning and Temporal-Data Maintenance into a Reusable Database Mediator to Answer Abstract, Time-Oriented Queries: The Tzolkin System","volume":"13","author":"Nguyen","year":"1999","journal-title":"Journal of Intelligent Information Systems"},{"issue":"11","key":"10.1016\/S1574-6526(05)80022-7_bib739","doi-asserted-by":"crossref","first-page":"1593","DOI":"10.1109\/21.328910","article-title":"Dynamic Belief Networks for Discrete Monitoring","volume":"24","author":"Nicholson","year":"1994","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"10.1016\/S1574-6526(05)80022-7_bib740","series-title":"Proceedings of the Fourth International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR)","first-page":"420","article-title":"Smodels\u2014An Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs","author":"Niemel\u00e4","year":"1997"},{"issue":"3\u20134","key":"10.1016\/S1574-6526(05)80022-7_bib741","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1018930122475","article-title":"Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm","volume":"25","author":"Niemel\u00e4","year":"1999","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib742","series-title":"Proceedings of the International Conference on Information and Knowledge Management (CIKM)","first-page":"161","article-title":"An Efficient Symbolic Representation of Periodic Time","author":"Ni\u00e9zette","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib743","series-title":"Proceedings of the Sixth (US) National Conference on Artifical Intelligence (AAAI)","first-page":"643","article-title":"Reasoning about Discontinuous Change","author":"Nishida","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib744","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF03037414","article-title":"A Knowledge Representation and Inference System for Procedural Law","volume":"5","author":"Nitta","year":"1988","journal-title":"New Generation Computing"},{"key":"10.1016\/S1574-6526(05)80022-7_bib745","doi-asserted-by":"crossref","first-page":"513","DOI":"10.4153\/CJM-1986-025-6","article-title":"Ensembles Reconnaissables de mot Biinfinis","volume":"38","author":"Nivat","year":"1986","journal-title":"Canadian Journal of Mathematics"},{"volume":"volume 517","year":"1991","author":"N\u00f6kel","key":"10.1016\/S1574-6526(05)80022-7_bib746"},{"key":"10.1016\/S1574-6526(05)80022-7_bib747","series-title":"Proceedings of the American Medical Informatics Association (AMIA) Annual Fall Symposium","article-title":"The Chronus II Temporal Database Mediator","author":"O'Connor","year":"2002"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib748","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1093\/jigpal\/1.1.69","article-title":"Translation Methods for Non-Classical Logics\u2014An Overview","volume":"1","author":"Ohlbah","year":"1993","journal-title":"Journal of the IGPL"},{"key":"10.1016\/S1574-6526(05)80022-7_bib749","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1136\/jamia.1998.0050357","article-title":"The Guideline Interchange Format: A Model for Representing Guidelines","volume":"5","author":"Ohno-Machado","year":"1998","journal-title":"Journal of the American Medical Informatics Association"},{"year":"1995","series-title":"Temporal Logic: From Ancient Ideas to Artificial Intelligence","author":"Ohrstrom","key":"10.1016\/S1574-6526(05)80022-7_bib750"},{"key":"10.1016\/S1574-6526(05)80022-7_bib751","series-title":"Proceedings of Sixtenth (US) National Conference on Artificial Intelligence (AAAI)","article-title":"Conditional Probabilistic Planning: A Unifying Algorithm and Effective Search Control Mechanisms","author":"Onder","year":"1999"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib752","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1111\/j.1467-8640.1996.tb00261.x","article-title":"On Temporal Deductive Databases","volume":"12","author":"Orgun","year":"1996","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib753","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1109\/69.404027","article-title":"Temporal and Real-Time Databases: A Survey","volume":"7","author":"\u00d6zsoyglu","year":"1995","journal-title":"IEEE Transactions of Knowledge and Data Engineering"},{"key":"10.1016\/S1574-6526(05)80022-7_bib754","series-title":"Proceedings of Conference on Computer Science Logic (CSL)","first-page":"240","article-title":"Gentzen-Systems for Propositional Temporal Logics","author":"Paech","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib755","series-title":"Proceedings of the ACM SIGMOD International Conference on Management of Data","first-page":"92","article-title":"Topological Relations in the World of Minimum Bounding Rectangles: A Study with R-tree","author":"Papadias","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib756","series-title":"Handbook of Logic and Language","first-page":"5","article-title":"Montague Grammar","author":"Partee","year":"1997"},{"article-title":"Reasoning with Negative Information 1-Strong Negation in Logic Programming","year":"1989","author":"Pearce","key":"10.1016\/S1574-6526(05)80022-7_bib757"},{"year":"1988","author":"Pearl","key":"10.1016\/S1574-6526(05)80022-7_bib758"},{"key":"10.1016\/S1574-6526(05)80022-7_bib759","series-title":"Proceedings of the Timberline Oregon Workshop on Reasoning about Actions and Plans","article-title":"Formulating Multiagent, Dynamic-World Problems in the Classical Planning Framework","author":"Pednault","year":"1986"},{"article-title":"Towards a Mathematical Theory of Plan Syntesis","year":"1986","author":"Pednault","key":"10.1016\/S1574-6526(05)80022-7_bib760"},{"key":"10.1016\/S1574-6526(05)80022-7_bib761","series-title":"Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"324","article-title":"ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus","author":"Pednault","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib762","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0304-3975(96)00208-3","article-title":"Satisfiability Problems on Intervals and Unit Intervals","volume":"175","author":"Pe'er","year":"1997","journal-title":"Theoretical Computer Science"},{"year":"1955","author":"Peirce","key":"10.1016\/S1574-6526(05)80022-7_bib763"},{"key":"10.1016\/S1574-6526(05)80022-7_bib764","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1006\/jbin.2001.1016","article-title":"Sharable Representation of Clinical Guidelines in GLIF: Relationship to the Arden Syntax","volume":"34","author":"Peleg","year":"2001","journal-title":"Journal of Biomedical Informatics"},{"key":"10.1016\/S1574-6526(05)80022-7_bib765","series-title":"Proceedings of International Conference on Principles of Knowledges Representations and Reasoning (KR)","first-page":"103","article-title":"UCPOP: a Sound, Complete, Partial-Order Planner for ADL","author":"Penberthy","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib766","series-title":"Proceedings of Twelfth (US) National Conference on Artificial Intelligence (AAAI)","article-title":"Temporal Planning with Continuous Change","author":"Penberthy","year":"1994"},{"article-title":"Planning with Continuous Change","year":"1993","author":"Penberthy","key":"10.1016\/S1574-6526(05)80022-7_bib767"},{"year":"1990","author":"Peng","key":"10.1016\/S1574-6526(05)80022-7_bib768"},{"article-title":"Classical negation in logic programs","year":"1990","author":"Pereira","key":"10.1016\/S1574-6526(05)80022-7_bib769"},{"key":"10.1016\/S1574-6526(05)80022-7_bib770","series-title":"Proceedings of International Symposium on Logic in Computer Science (LICS)","first-page":"16","article-title":"Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories","author":"Perrin","year":"1986"},{"key":"10.1016\/S1574-6526(05)80022-7_bib771","article-title":"Finite Automata","volume":"volume B","author":"Perrin","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib772","series-title":"Proceedings of the International Conference on Logic Programming (ICLP)","first-page":"203","article-title":"Temporal Reasoning in Logic Programming: A Case for the Situation Calculus","author":"Pinto","year":"1993"},{"article-title":"Temporal Reasoning in the Situation Calculus","year":"1994","author":"Pinto","key":"10.1016\/S1574-6526(05)80022-7_bib773"},{"key":"10.1016\/S1574-6526(05)80022-7_bib774","series-title":"Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR)","first-page":"107","article-title":"Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL","author":"Pliu\u0161kevi\u010dius","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib775","series-title":"Proceedings of the Eighteenth IEEE Symposium on the Foundations of Computer Science (OFCS)","first-page":"31","article-title":"The Temporal Logic of Programs","author":"Pnueli","year":"1977"},{"key":"10.1016\/S1574-6526(05)80022-7_bib776","series-title":"Proceedings of Information Processing Conference","article-title":"Specification and Development of Reactive Systems","author":"Pnueli","year":"1986"},{"key":"10.1016\/S1574-6526(05)80022-7_bib777","series-title":"Proceedings of the Nineth National Conference of the American Association for Artificial Intelligence","first-page":"253","article-title":"Metric Constraints for Maintaining Appointments: Dates and Repeated Activities","author":"Poesio","year":"1991"},{"year":"1998","author":"Poole","key":"10.1016\/S1574-6526(05)80022-7_bib778"},{"key":"10.1016\/S1574-6526(05)80022-7_bib779","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","article-title":"A Logical Framework for Default Reasoning","volume":"36","author":"Poole","year":"1988","journal-title":"Artifical Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib780","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511983382","author":"Popkorn","year":"1994","journal-title":"First Steps in Modal Logic, Cambridge"},{"key":"10.1016\/S1574-6526(05)80022-7_bib781","series-title":"Proceedings of the Third International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"147","article-title":"On the Mechanization of Abductive Logic","author":"Pople","year":"1973"},{"key":"10.1016\/S1574-6526(05)80022-7_bib782","unstructured":"D. Poulin, E. Mackaay, P. Bratley, and J. Fremont. Time Server\u2014A Legal Time Specialist. In A. Martino, editor, Expert Systems in Law, pages 295\u2013312, 1992."},{"year":"1957","author":"Prior","key":"10.1016\/S1574-6526(05)80022-7_bib783"},{"year":"1967","author":"Prior","key":"10.1016\/S1574-6526(05)80022-7_bib784"},{"key":"10.1016\/S1574-6526(05)80022-7_bib785","series-title":"Proceedings of International Conference on Uncertainty in Artificial Intelligence (UAI)","first-page":"40","article-title":"Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams","author":"Provan","year":"1993"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib786","doi-asserted-by":"crossref","DOI":"10.1111\/j.1467-8640.1996.tb00272.x","article-title":"Hypothetical Reasoning: From Situation Calculus to Event Calculus","volume":"12","author":"Provetti","year":"1996","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib787","series-title":"Proceedings of the Seventh International Conference on Logic Programming (ICLP)","first-page":"459","article-title":"Extended Stable Semantics for Normal and Disjunctive Programs","author":"Przymusinski","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib788","series-title":"ECAI-96 workshop on Abductive and Inductive Reasoning","article-title":"Ampliative Reasoning: Induction or Abduction","author":"Psillos","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib789","series-title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1259","article-title":"A New Framework for Reasoning about Points, Intervals and Durations","author":"Pujari","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib790","series-title":"Proceedings of Australian Joint Conference on Artificial Intelligence","first-page":"291","article-title":"INDU: An Interval and Duration Network","author":"Pujari","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib791","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-60159-7_10","article-title":"Towards a Formal Model for Multi-Resolution Spatial Maps","volume":"951","author":"Puppo","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib792","series-title":"Proceedings of the International Symposium on Artificial Intelligence Robotics and Automation in Space (ISAIRAS)","article-title":"Iterative Repair Planning for Spacecraft Operations in the ASPEN System","author":"Rabideau","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib793","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1147\/rd.32.0114","article-title":"Finite Automata and their Decision Problem","volume":"3","author":"Rabin","year":"1959","journal-title":"IBM Journal of Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib794","first-page":"1","article-title":"Decidability of Second-Order Theories and Automata on Infinite Trees","volume":"141","author":"Rabin","year":"1969","journal-title":"Transactions of the American Mathematical Society"},{"year":"1972","author":"Rabin","key":"10.1016\/S1574-6526(05)80022-7_bib795"},{"key":"10.1016\/S1574-6526(05)80022-7_bib796","series-title":"Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"165","article-title":"A Spatial Logic based on Regions and Connection","author":"Randell","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib797","series-title":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR)","article-title":"Modeling Agents within a BDI-Architecture","author":"Rao","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib798","series-title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93)","first-page":"318","article-title":"A Model-Theoretic Approach to the Verification of Situated, Reasoning Systems","author":"Rao","year":"1993"},{"key":"10.1016\/S1574-6526(05)80022-7_bib799","series-title":"Proceedings of the First International Conference of Multi-Agent Systems (ICMAS)","first-page":"312","article-title":"BDI Agents: from Theory to Practice","author":"Rao","year":"1995"},{"year":"1979","author":"Rautenberg","key":"10.1016\/S1574-6526(05)80022-7_bib800"},{"key":"10.1016\/S1574-6526(05)80022-7_bib801","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BF00249258","article-title":"Modal Tabeau, Calculi and Interpolation","volume":"12","author":"Rautenberg","year":"1983","journal-title":"Journal of Philosophical logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib802","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0933-3657(01)00078-1","article-title":"AIM: A Personal View of Where I Have Been and Where We Might Be Going","volume":"23","author":"Rector","year":"2001","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib803","series-title":"Proceedings of the ACM Symposium on the Theory of Computing (STOC)","first-page":"320","article-title":"Presburger Arithmetic with Bounded Quantifier Alternation","author":"Reddy","year":"1978"},{"key":"10.1016\/S1574-6526(05)80022-7_bib804","series-title":"Advances in Artificial Intelligence","first-page":"49","article-title":"Semantics for Reified Temporal Logics","author":"Reichgelt","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib805","series-title":"Logic-Based Knowledge Representation","first-page":"143","article-title":"A Comparison of First Order and Modal Logics of Time","author":"Reichgelt","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib806","series-title":"Logic and Data Bases","first-page":"119","article-title":"On Closed World Data Bases","author":"Reiter","year":"1978"},{"key":"10.1016\/S1574-6526(05)80022-7_bib807","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A Logic for Default Reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib808","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/322186.322189","article-title":"Equality and Domain Closure in First-Order Databases","volume":"27","author":"Reiter","year":"1980","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib809","series-title":"On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages","first-page":"191","article-title":"Towards a Logical Reconstruction of Relational Database Theory","author":"Reiter","year":"1984"},{"key":"10.1016\/S1574-6526(05)80022-7_bib810","series-title":"Proceedings of the Second Conference on The oretical Aspects of Reasoning About Knowledge (TARK)","first-page":"97","article-title":"On Integrity Constraints","author":"Reiter","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib811","series-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honour of John McCarthy","first-page":"359","article-title":"The Frame Problem in the Situation Calculus: A simple Solution (Sometimes) and a Completeness Result for Goal Regression","author":"Reiter","year":"1991"},{"year":"2001","author":"Reiter","key":"10.1016\/S1574-6526(05)80022-7_bib812"},{"key":"10.1016\/S1574-6526(05)80022-7_bib813","series-title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"522","article-title":"On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus","author":"Renz","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib814","doi-asserted-by":"crossref","first-page":"537","DOI":"10.2307\/2271360","article-title":"Topological Logic","volume":"33","author":"Rescher","year":"1968","journal-title":"Journal of Symbolic Logic"},{"year":"1971","author":"Rescher","key":"10.1016\/S1574-6526(05)80022-7_bib815"},{"key":"10.1016\/S1574-6526(05)80022-7_bib816","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BF00370112","article-title":"An Axiomatization for Until and Since over the Reals without the IRR rule","volume":"51","author":"Reynolds","year":"1992","journal-title":"Studia Logica"},{"key":"10.1016\/S1574-6526(05)80022-7_bib817","series-title":"Proceedings of the First International Conference on Temporal Logic (ICTL)","first-page":"117","article-title":"Axiomatizing U and S over Integer Time","author":"Reynolds","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib818","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF00370836","article-title":"Axiomatising First-Order Temporal Logic: Until and Since over Linear Time","volume":"57","author":"Reynolds","year":"1996","journal-title":"Studia Logica"},{"key":"10.1016\/S1574-6526(05)80022-7_bib819","article-title":"A Decidable Logic of Parallelism","author":"Reynolds","year":"1998","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib820","series-title":"Proceedings of Fifteenth Annual IEEE Symposium on Logic in Computer, Science (LICS)","first-page":"229","article-title":"More Past Glories","author":"Reynolds","year":"2000"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib821","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.2307\/2695091","article-title":"An Axiomatization of Full Computation Tree Logic","volume":"66","author":"Reynolds","year":"2001","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib822","article-title":"An Axiomatization of PCTL","author":"Reynolds","year":"2003","journal-title":"Information and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib823","series-title":"Proceedings of the Fourth Internation Symposium on Spatial Databases (SSD)","first-page":"170","article-title":"Multi-Scale Partitions: Application to Spatial and Statistical Databases","author":"Rigaux","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib824","series-title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1080","article-title":"Monitoring Piecewise Continuous Behaviour by Refining Semi-Quantative Trackers","author":"Rinner","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib825","first-page":"323","article-title":"Constructing Conditional Plans by a Theorem Prover","volume":"10","author":"Riontannen","year":"1999","journal-title":"Journal of AI Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib826","series-title":"Proceedings of the Fifth National Conference of the American Association for Artificial Intelligence (AAAI)","first-page":"383","article-title":"Propagating Temporal Constraints for Scheduling","author":"Rit","year":"1986"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib827","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A Machine-Oriented Logic Based on the Resolution Principle","volume":"12","author":"Robinson","year":"1965","journal-title":"Journal of the ACM"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib828","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/69.63249","article-title":"Formal Specification of Geographic Data Processing Requirements","volume":"2","author":"Roman","year":"1990","journal-title":"IEEE Transaction on Knowledge and Data Engineering"},{"key":"10.1016\/S1574-6526(05)80022-7_bib829","series-title":"Proceedings of the Symposium on Logic in Computer Science (LICS)","first-page":"306","article-title":"A Choppy Logic","author":"Rosner","year":"1986"},{"key":"10.1016\/S1574-6526(05)80022-7_bib830","series-title":"Proceedings of the Symposium on Computer Applications in Medical Care (SMAMC)","first-page":"38","article-title":"Using Hindsight in Medical Decision Making","author":"Russ","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib831","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1016\/0933-3657(95)00024-8","article-title":"Use of Data Abstraction Methods to Simplify Monitoring","volume":"7","author":"Russ","year":"1995","journal-title":"Artificial Intelligene in Medicine"},{"year":"1995","author":"Russell","key":"10.1016\/S1574-6526(05)80022-7_bib832"},{"key":"10.1016\/S1574-6526(05)80022-7_bib833","series-title":"Bertrand Russell: Logic and Knowledge (essays 1901\u20131950)","article-title":"On Order in Time","author":"Russell","year":"1956"},{"key":"10.1016\/S1574-6526(05)80022-7_bib834","series-title":"Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCA)","first-page":"206","article-title":"The Nonlinear Nature of Plans","author":"Sacerdoti","year":"1975"},{"key":"10.1016\/S1574-6526(05)80022-7_bib835","series-title":"Proceedings of the International Conference on Logic Programming (ICLP)","article-title":"Variants of the Event Calculur","author":"Sadri","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib836","series-title":"Proceedings of Twenty-Ninth IEEE Symposium on the Foundations of Computer Science (FOCS)","article-title":"On the Complexity of \u03c9-Automata","author":"Safra","year":"1988"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib837","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/319806.319816","article-title":"Comparison of Access Methods for Time Evolving Data","volume":"31","author":"Salzberg","year":"1999","journal-title":"ACM Computing Surveys"},{"volume":"volume I","year":"1994","author":"Sandewall","key":"10.1016\/S1574-6526(05)80022-7_bib838"},{"key":"10.1016\/S1574-6526(05)80022-7_bib839","series-title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"466","article-title":"A Correspondence Theory for Terminological Logics: Preliminary Report","author":"Schild","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib840","series-title":"Progress in Artificial Intelligence-Proceedings of the Sixth Portuguese Conference on Artificial Intelligence (EPIA)","article-title":"Combining Terminological Logics with Tense Logic","author":"Schild","year":"1993"},{"key":"10.1016\/S1574-6526(05)80022-7_bib841","series-title":"Proceedings of the Eighth National Conference of the American Association for Artificial Intelligence (AAAI)","first-page":"640","article-title":"A Temporal Terminological Logic","author":"Schmiedel","year":"1990"},{"article-title":"\u03b2-TMM Functional Description","year":"1991","author":"Schrag","key":"10.1016\/S1574-6526(05)80022-7_bib842"},{"key":"10.1016\/S1574-6526(05)80022-7_bib843","unstructured":"R. Schrag, M. Boddy, and J. Carciofini, Managing Disjunction for Practical Temporal Reasoning. In Swartout and Nebel [1992], pages 36\u201346."},{"year":"1986","series-title":"Theory of Integer and Linear Programming","key":"10.1016\/S1574-6526(05)80022-7_bib844"},{"key":"10.1016\/S1574-6526(05)80022-7_bib845","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"444","article-title":"An Episodic Knowledge Representation for Narrative Texts","author":"Schubert","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib846","series-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","first-page":"187","article-title":"Accelerating Deductive Inference: Special Methods for Taxonomies, Colours, and Times","author":"Schubert","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib847","series-title":"Knowledge Representation and Defeasible Reasoning","first-page":"23","article-title":"Monotonic Solution of the Frame, Problem in the Situation Calculus: An Effecient Method for Worlds with Fully Specified Action","author":"Schubert","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib848","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0004-3702(97)00009-X","article-title":"Processing Disjunctions in Temporal Constrain Networks","volume":"93","author":"Schwalb","year":"1997","journal-title":"Artificial Intelligence"},{"journal-title":"Processing Metric Temporal Constraints","year":"1998","author":"Schwalb","key":"10.1016\/S1574-6526(05)80022-7_bib849"},{"key":"10.1016\/S1574-6526(05)80022-7_bib850","series-title":"Proceedings of (US) National Conference on Artificial Intelligence (AAAI)","article-title":"Temporal Reasoning with Constraints on Fluents and Events","author":"Schwalb","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib851","doi-asserted-by":"crossref","DOI":"10.1109\/TIME.1996.555679","article-title":"Temporal Constraint Logic Programming","author":"Schwalb","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib852","unstructured":"E. Schwalb. Personal Communication, 1996."},{"key":"10.1016\/S1574-6526(05)80022-7_bib853","series-title":"Proceedings of Tableaux Workshop","first-page":"277","article-title":"A New One-Pass Tableau Calculus for PLTL","author":"Schwendimann","year":"1998"},{"article-title":"Aspects of Computational Logic","year":"1998","author":"Schwendimann","key":"10.1016\/S1574-6526(05)80022-7_bib854"},{"key":"10.1016\/S1574-6526(05)80022-7_bib855","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1198\/016214502753479464","article-title":"Bayesian Methods for Hidden Markov Models. Recursive Computing in the 21st Century","volume":"97","author":"Scott","year":"2002","journal-title":"Journal of the American Statistical Association"},{"key":"10.1016\/S1574-6526(05)80022-7_bib856","series-title":"Machine Intelligence","first-page":"209","article-title":"Representing Legislation as Logic Programs","author":"Sergot","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib857","series-title":"Tutorial Notes from the Fifth International Conference on Artificial Intelligence in Law","article-title":"Using Logic for Knowledge Representation in Legal Knowledge Based System","author":"Sergot","year":"1995"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib858","first-page":"15","article-title":"Intelligent Visualization and Exploration of Time-Oriented Clinical Data","volume":"20","author":"Shahar","year":"1999","journal-title":"Topics in Health Information Systems"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib859","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1111\/0824-7935.00114","article-title":"Model-Based Visualization of Temporal Abstractions","volume":"16","author":"Shahar","year":"2000","journal-title":"Computational Intelligence"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib860","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF01237938","article-title":"Knowledge-Based Spatiotemporal Linear Abstraction","volume":"1","author":"Shahar","year":"1998","journal-title":"Pattern Analysis and Applications"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib861","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0933-3657(95)00036-4","article-title":"Knowledge-Based Temporal Abstraction in Clinical Domains","volume":"8","author":"Shahar","year":"1996","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib862","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0933-3657(98)00015-3","article-title":"The Asgaard Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines","volume":"14","author":"Shahar","year":"1998","journal-title":"Artificial Intelligence in Medicine"},{"issue":"6","key":"10.1016\/S1574-6526(05)80022-7_bib863","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1136\/jamia.1999.0060494","article-title":"Semiautomated Acquisition of Clinical Temporal-Abstraction Knowledge","volume":"6","author":"Shahar","year":"1999","journal-title":"Journal of the American Medical Informatics Association"},{"key":"10.1016\/S1574-6526(05)80022-7_bib864","series-title":"Proceedings of the AMIA Annual Fall Symposium","article-title":"Interactive Visualization and Exploration of Time-Oriented Clinical Data using a Distributed Temporal-Abstraction Architecture","author":"Shahar","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib865","series-title":"Proceedings of the AMIA Annual Fall Symposium","article-title":"A Distributed, Collaborative, Structuring Model for a Clinical-Guideline digital-Library","author":"Shahar","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib866","series-title":"Proceedings of the Ninth Conference on Artificial Intelligence in Medicine \u2014 Europe (AIME)","article-title":"DEGEL: A Hybrid, Multiple-Ontology Framework for Specification and Retrieval of Clinical Guidelines","author":"Shahar","year":"2003"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib867","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0004-3702(96)00025-2","article-title":"A Framework for Knowledge-Based Temporal Abstraction","volume":"90","author":"Shahar","year":"1997","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib868","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1023\/A:1018998326167","article-title":"Dynamic Temporal Interpretation Contexts for Temporal Abstraction","volume":"22","author":"Shahar","year":"1998","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib869","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1080\/095281399146643","article-title":"Knowledge-Based Temporal Interpolation","volume":"11","author":"Shahar","year":"1999","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"year":"1989","author":"Shanahan","key":"10.1016\/S1574-6526(05)80022-7_bib870"},{"year":"1987","author":"Shanahan","key":"10.1016\/S1574-6526(05)80022-7_bib871"},{"key":"10.1016\/S1574-6526(05)80022-7_bib872","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"1055","article-title":"Prediction is Deduction but Explanation is Abduction","author":"Shanahan","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib873","series-title":"Proceedings of the European Conference on Artificial Intelligence (ECAI)","first-page":"598","article-title":"Representing Continuous Change in the Event Calculus","author":"Shanahan","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib874","series-title":"Artificial Intelligence Today","first-page":"409","article-title":"The Event Calculus Explained","author":"Shanahan","year":"1999"},{"key":"10.1016\/S1574-6526(05)80022-7_bib875","series-title":"Proceedings of the Annual Symposium on Computer Applications in Medical Care (SCAMC)","first-page":"238","article-title":"Using Intermediate States to Improve the Ability of the Arden Syntax to Implement Care Plans and Reuse Knowledge","author":"Sherman","year":"1995"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib876","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1136\/jamia.2000.0070488","article-title":"GEM: A Proposal for a More Comprehensive Guideline Document Model using XML","volume":"7","author":"Shiffman","year":"2000","journal-title":"Journal of the American Medical Informatics Association"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib877","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0004-3702(88)90078-1","article-title":"Problems in Formal Temporal Reasoning","volume":"36","author":"Shoham","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib878","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(87)90052-X","article-title":"Temporal Logics in AI: Semantical and Ontological Considerations","volume":"33","author":"Shoham","year":"1987","journal-title":"Artificial Intelligence"},{"year":"1988","author":"Shoham","key":"10.1016\/S1574-6526(05)80022-7_bib879"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib880","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","article-title":"Agent-Oriented Programming","volume":"60","author":"Shoham","year":"1993","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib881","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1145\/322276.322288","article-title":"Deciding Linear Inequalities by Computing Loop Residues","volume":"28","author":"Shostak","year":"1981","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib882","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/S0004-3702(96)00050-1","article-title":"Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic","volume":"92","author":"Shults","year":"1997","journal-title":"Artificial Intelligence"},{"year":"1994","series-title":"Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications","author":"Singh","key":"10.1016\/S1574-6526(05)80022-7_bib883"},{"key":"10.1016\/S1574-6526(05)80022-7_bib884","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","article-title":"Complexity of Propositional Linear Temporal Logics","volume":"32","author":"Sistla","year":"1985","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib885","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","article-title":"The Complementation Problem for Buchi Automata with Applications to Temporal Logic","volume":"49","author":"Sistla","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib886","series-title":"Proceedings of IEEE International Conference on Data Engineering","first-page":"422","article-title":"Modeling and Querying Moving Objects","author":"Sistla","year":"1997"},{"article-title":"Query Evaluation in Spatial Constraint Databases","year":"2002","author":"Skiadopoulos","key":"10.1016\/S1574-6526(05)80022-7_bib887"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib888","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0169-023X(02)00060-5","article-title":"A Foundation for Vacuuming Temporal Databases","volume":"44","author":"Skyt","year":"2003","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/S1574-6526(05)80022-7_bib889","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"326","article-title":"Temporal Planning with Mutual Exclusion Reasoning","author":"Smith","year":"1999"},{"year":"1980","author":"Smith","key":"10.1016\/S1574-6526(05)80022-7_bib890"},{"year":"1968","author":"Smullyan","key":"10.1016\/S1574-6526(05)80022-7_bib891"},{"key":"10.1016\/S1574-6526(05)80022-7_bib892","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1162\/neco.1997.9.2.227","article-title":"Probabilistic Independence Networks for Hidden Markov Models","volume":"9","author":"Smyth","year":"1997","journal-title":"Neural Computation"},{"issue":"9","key":"10.1016\/S1574-6526(05)80022-7_bib893","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/MC.1986.1663327","article-title":"Temporal Databases","volume":"19","author":"Snodgrass","year":"1986","journal-title":"IEEE Computer"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib894","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/181550.181562","article-title":"TSQL2 Language Specification","volume":"23","author":"Snodgrass","year":"1994","journal-title":"SIGMOD Record"},{"article-title":"Evaluating and Enhancing the Completeness of TSQL2","year":"1995","author":"Snodgrass","key":"10.1016\/S1574-6526(05)80022-7_bib895"},{"article-title":"Adding Valid Time to SQL\/Temporal","year":"1996","author":"Snodgrass","key":"10.1016\/S1574-6526(05)80022-7_bib896"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib897","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/22952.22956","article-title":"The Temporal Query Language TQuel","volume":"12","author":"Snodgrass","year":"1987","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib898","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/122058.122068","article-title":"Temporal Databases: Status and Research Direction","volume":"19","author":"Snodgrass","year":"1990","journal-title":"SIDMOD RECORD"},{"key":"10.1016\/S1574-6526(05)80022-7_bib899","series-title":"Temporal Databases: Theory, Design, and Implementation, chapter 6","first-page":"141","article-title":"An Overview of TQuel","author":"Snodgrass","year":"1993"},{"year":"1995","series-title":"The TSQL2 Temporal Query Language","key":"10.1016\/S1574-6526(05)80022-7_bib900"},{"year":"1999","author":"Snodgrass","key":"10.1016\/S1574-6526(05)80022-7_bib901"},{"key":"10.1016\/S1574-6526(05)80022-7_bib902","series-title":"Proceedings of the AAAI Spring symposium on Answer Set Programming","article-title":"Extending Answer Set Planning with Sequence, Conditionals, Loops, Non-Deterministic Choice and Procedural Constructs","author":"Son","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib903","series-title":"Proceedings of the Seventh National Conference of the American Association for Artificial Intelligence (AAAI)","first-page":"745","article-title":"The Interpretation of Temporal Relations in a Narrative","author":"Song","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib904","series-title":"Proceedings of the Nineth National Conference of the American Association for Artificial Intelligence","first-page":"131","article-title":"Tense Interpretation in the Context of Narrative","author":"Song","year":"1991"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib905","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1111\/j.1467-8640.1996.tb00265.x","article-title":"A Strengthened Algorithm for Temporal Reasoning about Plans","volume":"12","author":"Song","year":"1996","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib906","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(85)90076-6","article-title":"Real Addition and the Polynomial Time Hierarchy","volume":"20","author":"Sontag","year":"1985","journal-title":"Information Processing Letters"},{"key":"10.1016\/S1574-6526(05)80022-7_bib907","series-title":"Proceedings of First International Conference on Applications of Databases (ADB)","article-title":"Temporal Database Technology for Air Traffic Flow Management","author":"Sripada","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib908","series-title":"Proceedings of the European Conference on Artificial Intelligence (ECAI)","first-page":"567","article-title":"On Non-Binary Temporal Relations","author":"Staab","year":"1998"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib909","doi-asserted-by":"crossref","DOI":"10.1145\/152947.1064735","article-title":"Tachyon: A Constraint-Based Temporal Reasoning Model and its Implementation","volume":"4","author":"Stillman","year":"1993","journal-title":"SIGART Bulletin"},{"key":"10.1016\/S1574-6526(05)80022-7_bib910","first-page":"477","article-title":"Modal and Temporal Logics","volume":"volume 2","author":"Stirling","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib911","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","article-title":"The Polynomial-Time Hierarchy","volume":"3","author":"Stockmeyer","year":"1977","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib912","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0019-9958(82)91258-X","article-title":"Propositional Dynamic Logic of Looping and Converse","volume":"54","author":"Street","year":"1982","journal-title":"Information and Control"},{"key":"10.1016\/S1574-6526(05)80022-7_bib913","first-page":"465","article-title":"The Propositional mu-Calculus is Elementary","volume":"volume 172","author":"Streett","year":"1984"},{"key":"10.1016\/S1574-6526(05)80022-7_bib914","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/S0743-1066(14)80003-4","article-title":"A Completeness Result for SLDNF-Resolution","volume":"15","author":"Stroetman","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib915","article-title":"A Tableau Calculus for Temporal Description Logic: The Expanding Domain Case","author":"Sturm","year":"2000","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib916","series-title":"Proceedings of the International Conference on Logic Programming (ICLP)","first-page":"233","article-title":"Relating Stable Models and AI Planning Domains","author":"Subrahmanian","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib917","series-title":"Readings in Planning, chapter 3","first-page":"111","article-title":"The Virtuous Nature of Bugs","author":"Sussman","year":"1990"},{"year":"1992","series-title":"Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR)","key":"10.1016\/S1574-6526(05)80022-7_bib918"},{"key":"10.1016\/S1574-6526(05)80022-7_bib919","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(87)90129-0","article-title":"A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time","volume":"54","author":"Szalas","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib920","series-title":"Proceedings of the AMIA Annual Symposium","article-title":"ActiveGuidelines: Integrating Web-Based Guidelines with Computer-Based Patient Records","author":"Tang","year":"2000"},{"year":"1993","series-title":"Temporal Databases: Theory, Design, and Implementation","key":"10.1016\/S1574-6526(05)80022-7_bib921"},{"key":"10.1016\/S1574-6526(05)80022-7_bib922","unstructured":"A. Tansel. A Generalized Relational Framework for Modelling Temporal Data. In Tansel et al. [1993], pages 183\u2013201."},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib923","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1137\/0201010","article-title":"Depth First Search and Linear Graph Algorithms","volume":"1","author":"Tarjan","year":"1972","journal-title":"SIAM Journal of Computing"},{"key":"10.1016\/S1574-6526(05)80022-7_bib924","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","article-title":"On the Calculus of Relations","volume":"6","author":"Tarski","year":"1941","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1574-6526(05)80022-7_bib925","series-title":"Proceedings of IJCAI-77","article-title":"Generating project networks","author":"Tate","year":"1977"},{"key":"10.1016\/S1574-6526(05)80022-7_bib926","article-title":"Dynamic Temporal Reasoning with Aspectual Adverbs","author":"A. ter","year":"2004","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1574-6526(05)80022-7_bib927","series-title":"NELS 20","first-page":"378","article-title":"English Aspectual Verbs as Generalized Quantifiers","author":"ter Meulen","year":"1990"},{"year":"1995","series-title":"Representing Time in Natural Language\u2014The dynamic interpretation of tense and aspect","author":"ter Meulen","key":"10.1016\/S1574-6526(05)80022-7_bib928"},{"key":"10.1016\/S1574-6526(05)80022-7_bib929","series-title":"Speaking of Events","first-page":"151","article-title":"Chronoscopes: Dynamic Tools for Temporal Reasoning","author":"ter Meulen","year":"2000"},{"key":"10.1016\/S1574-6526(05)80022-7_bib930","series-title":"Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics","article-title":"Situated Reasoning in Time about Time","author":"ter Meulen","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib931","series-title":"Proceedings of the Eifteenth European Conference on Artificial Intelligence (ECAI)","first-page":"43","article-title":"Toward an Ontology Dealing with Periodic Events","author":"Terenziani","year":"1996"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib932","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01691346","article-title":"Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic","volume":"2","author":"Thatcher","year":"1968","journal-title":"Mathematical Systems Theory"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib933","article-title":"STREAM: The Stanford Stream Data Manager (short overview paper)","volume":"26","year":"2003","journal-title":"IEEE Data Engineering Bulletin"},{"key":"10.1016\/S1574-6526(05)80022-7_bib934","series-title":"Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI)","article-title":"Supply restoration in Power Distribution Systems\u2014A Case Study in Integrating Model-Based Diagnosis and Repair Planning","author":"Thi\u00e9baux","year":"1996"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib935","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","article-title":"Ramification and Causality","volume":"89","author":"Thielscher","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib936","article-title":"Automata on Infinite Objects","volume":"volume B","author":"Thomas","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib937","series-title":"Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME)","article-title":"Applying Local Search to Temporal Reasoning","author":"Thornton","year":"2002"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib938","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1093\/logcom\/14.1.93","article-title":"A Local Search Approach to Modelling and Solving Interval Algebra Problems","volume":"14","author":"Thorthon","year":"2004","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib939","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.705","article-title":"The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics","volume":"12","author":"Tobies","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib940","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/S0743-1066(97)10008-5","article-title":"Datalog with Integer Periodicity Constraints","volume":"35","author":"Toman","year":"1998","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib941","series-title":"International Conference on Extending Database Technology (EDBT), Avignon, France","article-title":"First-Order Queries over Temporal Databases Inexpressible in Temporal Logic","author":"Toman","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib942","series-title":"Proceedings of the ACM Symposium on Principles of Database, Systems (PODS)","article-title":"Point vs. Interval-based Query Languages for Temporal Databases","author":"Toman","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib943","series-title":"International Conference on Deductive and Object-Oriented Databases","article-title":"Point-based Temporal Extensions of SQL","author":"Toman","year":"1997"},{"key":"10.1016\/S1574-6526(05)80022-7_bib944","series-title":"Proceedings of International Symposium on Temporal Representation and Reasoning (TIME)","first-page":"128","article-title":"Expiration of Historical Databases","author":"Toman","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib945","doi-asserted-by":"crossref","unstructured":"D. Toman. Logical Data Expiration. In Chomicki et al. [2003b], chapter 7, pages 203\u2013238.","DOI":"10.1007\/978-3-642-18690-5_6"},{"key":"10.1016\/S1574-6526(05)80022-7_bib946","series-title":"International Symposium on Advances in Spatial and Temporal Databases (SSTD)","first-page":"380","article-title":"Logical Data Expiration for Fixpoint Extensions of Temporal Logics","author":"Toman","year":"2003"},{"key":"10.1016\/S1574-6526(05)80022-7_bib947","series-title":"Proceedings of International Symposium on Temporal Representation and Reasoning and International Conference on Temporal Logic (TIME-ICTL)","first-page":"99","article-title":"On Incompleteness of Multi-dimensional First-order Temporal Logics","author":"Toman","year":"2003"},{"article-title":"On the Representation of Partial Spatial Information in Knowledge Bases","year":"1996","author":"Topaloglou","key":"10.1016\/S1574-6526(05)80022-7_bib948"},{"key":"10.1016\/S1574-6526(05)80022-7_bib949","series-title":"Proceedings of European Conference on Planning (ECP)","article-title":"An Extended Functional Representation in Temporal Planning: Towards Continuous Change","author":"Trinquart","year":"2001"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib950","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0004-3702(03)00113-9","article-title":"Efficient Solution Techniques for Disjunctive Temporal Reasoning Problems","volume":"151","author":"Tsamardinos","year":"2003","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib951","series-title":"Proceedings of the Seventh European Conference on Artificial Intelligence (ECAI)","first-page":"479","article-title":"Plan Generation in a Temporal Frame","author":"Tsang","year":"1986"},{"key":"10.1016\/S1574-6526(05)80022-7_bib952","series-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","first-page":"456","article-title":"Time Structures for AI","author":"Tsang","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib953","series-title":"Advances in Artificial Intelligence","first-page":"63","article-title":"TLP\u2014A Temporal Planner","author":"Tsang","year":"1987"},{"key":"10.1016\/S1574-6526(05)80022-7_bib954","doi-asserted-by":"crossref","first-page":"1439","DOI":"10.1145\/76380.76384","article-title":"Episodic Skeletal-Plan Refinement on Temporal Data","volume":"32","author":"Tu","year":"1989","journal-title":"Communications of the ACM"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib955","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0933-3657(95)00006-R","article-title":"Ontology-Based Configuration of Problem-Solving Methods and Generation of Knowledge-Acquisition Tools: Application of PROT\u00c9G\u00c9-II to Protocol-Based Decision Support","volume":"7","author":"Tu","year":"1995","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib956","series-title":"Proceedings of the International Symposium on Logic Programming (ILPS)","first-page":"61","article-title":"Signed Logic Programs","author":"Turner","year":"1994"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(05)80022-7_bib957","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","article-title":"Representing Actions in Logic Programs and Default Theories","volume":"31","author":"Turner","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(05)80022-7_bib958","series-title":"International Conference on Very Large Data Bases (VLDB)","article-title":"A Temporal Relational Algebra as a Basis for Temporal Relational Completeness","author":"Tuzhilin","year":"1990"},{"volume":"volume 2","year":"1989","author":"Ullman","key":"10.1016\/S1574-6526(05)80022-7_bib959"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib960","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1137\/0211023","article-title":"The Recognition of Series Parallel Digraphs","volume":"11","author":"Valdes","year":"1982","journal-title":"SIAM Journal of Computing"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib961","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1111\/j.1467-8640.1990.tb00130.x","article-title":"Exact and Approximate Reasoning about Temporal Relations","volume":"6","author":"van Beek","year":"1990","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib962","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.232","article-title":"The Design and Experimental Analysis of Algorithms for Temporal Reasoning","volume":"4","author":"van Beek","year":"1996","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S1574-6526(05)80022-7_bib963","series-title":"Proceedings of the Eighth National Conference of the American Association for Artificial Intelligence (AAAI)","first-page":"728","article-title":"Reasoning about Qualitative Temporal Information","author":"van Beek","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib964","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/0933-3657(91)90004-U","article-title":"Temporal Query Processing with Indefinite Information","volume":"3","author":"van Beek","year":"1991","journal-title":"Artificial Intelligence in Medicine"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(05)80022-7_bib965","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0004-3702(92)90011-L","article-title":"Reasoning about Qualitative Temporal Information","volume":"58","author":"van Beek","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib966","series-title":"Proceedings of the First International Conference on Temporal Logic (ICTL)","first-page":"301","article-title":"The Abductive Event Calculus as a General Framework for Temporal Databases","author":"Van Belleghem","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib967","series-title":"Proceedings of the Twelfth International Conference on Logic Programming (ICLP)","first-page":"83","article-title":"Combining Situation Calculus and Event Calculus","author":"Van Belleghem","year":"1995"},{"key":"10.1016\/S1574-6526(05)80022-7_bib968","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1055\/s-0038-1634664","article-title":"Medical Informatics, Art or Science?","volume":"35","author":"Van Bemmel","year":"1996","journal-title":"Methods of Information in Medicine"},{"year":"1983","series-title":"The Logic of time","author":"van Benthem","key":"10.1016\/S1574-6526(05)80022-7_bib969"},{"key":"10.1016\/S1574-6526(05)80022-7_bib970","article-title":"The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse","volume":"Vol 156","author":"van Benthem","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib971","series-title":"Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS)","first-page":"331","article-title":"The Complexity of Querying Indefinite Data About Linearly Ordered Domains (Preliminary Version)","author":"van der Meyden","year":"1992"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib972","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","article-title":"The Well-Founded Semantics for General Logic Programs","volume":"38","author":"van Gelder","year":"1991","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(05)80022-7_bib973","series-title":"Intelligent Agents II","first-page":"17","article-title":"How to Motivate Your Agents","author":"van Linder","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib974","series-title":"Proceedings of the Seventeenth ACM Symposium on the theory of Computing (STOC)","first-page":"240","article-title":"Improved Upper and Lower Bounds for Modal Logics of Programs","author":"Vardi","year":"1985"},{"key":"10.1016\/S1574-6526(05)80022-7_bib975","series-title":"Proceedings of the First IEEE Symposium on Logic in Computer Science (LICS)","first-page":"332","article-title":"An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)","author":"Vardi","year":"1986"},{"key":"10.1016\/S1574-6526(05)80022-7_bib976","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1994.1092","article-title":"Reasoning about Infinite Computations","volume":"115","author":"Vardi","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib977","series-title":"Proceedings of the Fourteenth ACM Symposium on Theory of Computing (STOC)","first-page":"137","article-title":"The Complexity of Relational Query Languages","author":"Vardi","year":"1982"},{"key":"10.1016\/S1574-6526(05)80022-7_bib978","series-title":"Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages (POPL)","first-page":"250","article-title":"A Temporal Fixpoint Calculus","author":"Vardi","year":"1988"},{"key":"10.1016\/S1574-6526(05)80022-7_bib979","series-title":"Proceedings of International Symposium on the Theoretical Aspects of Computer Software (STACS)","first-page":"575","article-title":"Nontraditional Applications of Automata Theory","author":"Vardi","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib980","series-title":"Logics for Concurrency","first-page":"237","article-title":"An Automata-Theoretic Approach to Linear Temporal Logic","author":"Vardi","year":"1996"},{"key":"10.1016\/S1574-6526(05)80022-7_bib981","series-title":"Proceedings of the International Symposium on Advances in Spatial and Temporal Databases (SSTD)","first-page":"20","article-title":"A Spatiotemporal Model and Language for Moving Objects on Road Networks","author":"Vazirgiannis","year":"2001"},{"key":"10.1016\/S1574-6526(05)80022-7_bib982","series-title":"Proceedings of the DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control","first-page":"207","article-title":"Non-Linear Planning with Parallel Resource Allocation","author":"Veloso","year":"1990"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib983","doi-asserted-by":"crossref","DOI":"10.1080\/09528139508953801","article-title":"Integrated Planning and Learning: the PRODIGY Architecture","volume":"7","author":"Veloso","year":"1995","journal-title":"Journal of Experimental and Theoretical AI"},{"year":"1967","author":"Vendler","key":"10.1016\/S1574-6526(05)80022-7_bib984"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib985","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/1.4.453","article-title":"A Modal Logic for Chopping Intervals","volume":"1","author":"Venema","year":"1991","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib986","series-title":"Colloquium on Modal Logic, 1991","article-title":"Completeness via Completeness","author":"Venema","year":"1991"},{"key":"10.1016\/S1574-6526(05)80022-7_bib987","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/3-540-16042-6_15","article-title":"A Decision Method for Temporal Logic based on Resolution","volume":"206","author":"Venkatesh","year":"1986","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1574-6526(05)80022-7_bib988","doi-asserted-by":"crossref","DOI":"10.1109\/TPAMI.1983.4767389","article-title":"Planning in time: Windows and durations for activities and goals","volume":"5","author":"Vere","year":"1983","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib989","series-title":"Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI)","article-title":"Constraint-Based Temporal Management in Planning: the IxTeT way","author":"Vidal","year":"1996"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib990","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0004-3702(94)00093-X","article-title":"The Token Reification Approach to Temporal Reasoning","volume":"83","author":"Vila","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib991","series-title":"Proceedings of the International Workshop on Temporal Representation and Reasoning (TIME)","first-page":"21","article-title":"A Theory of Time and Temporal Incidence based on Instants and Periods","author":"Vila","year":"1996"},{"article-title":"Time in Automated Legal Reasoning (the long report)","year":"1996","author":"Vila","key":"10.1016\/S1574-6526(05)80022-7_bib992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib993","series-title":"Proceedings of the ECAI'94 Workshop on Spatial and Temporal Reasoning","article-title":"IP: An Instant-Period-based Theory of Time","author":"Vila","year":"1994"},{"key":"10.1016\/S1574-6526(05)80022-7_bib994","series-title":"Proceedings of the Fifth (US) National Conference on Artificial Intelligence (AAAI)","first-page":"377","article-title":"Constraint Propagation Algorithms for Temporal Reasoning","author":"Vilain","year":"1986"},{"key":"10.1016\/S1574-6526(05)80022-7_bib995","series-title":"Readings in Qualitative Reasoning about Physical Systems","first-page":"373","article-title":"Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report","author":"Vilain","year":"1990"},{"key":"10.1016\/S1574-6526(05)80022-7_bib996","series-title":"Proceedings of the 2nd (US) National Conference on Artificial Intelligence (AAAI '82)","first-page":"197","article-title":"A System for Reasoning About Time","author":"Vilain","year":"1982"},{"key":"10.1016\/S1574-6526(05)80022-7_bib997","series-title":"Proceedings of International Conference on Automated Software Engineering (ASE)","article-title":"Model Checking Programs","author":"Visser","year":"2000"},{"key":"10.1016\/S1574-6526(05)80022-7_bib998","first-page":"293","article-title":"And Next","volume":"18","author":"von Wright","year":"1965","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1574-6526(05)80022-7_bib999","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0933-3657(97)00394-1","article-title":"A Temporal Extension to the Parsimonious Covering Theory","volume":"10","author":"Wainer","year":"1997","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1000","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1008702804774","article-title":"Fuzzy Temporal\/Categorical Information in Diagnosis","volume":"13","author":"Wainer","year":"1999","journal-title":"Journal of Intelligent Information Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1001","first-page":"131","article-title":"Dur\u00e9es et Instants","volume":"85","author":"Walker","year":"1948","journal-title":"Revue Scientifique"},{"year":"1987","author":"Walther","key":"10.1016\/S1574-6526(05)80022-7_bib1002"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1003","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0020-0255(94)00062-G","article-title":"Temporal Modules: An Approach Toward Federated Temporal Databases","volume":"82","author":"Wang","year":"1995","journal-title":"Information sciences"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib1004","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/249978.249979","article-title":"Logical Design for Temporal Databases with Multiple Granularities","volume":"22","author":"Wang","year":"1997","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1005","doi-asserted-by":"crossref","DOI":"10.1007\/BF01534456","article-title":"Proof of the Interval Satisfiability Conjecture","volume":"15","author":"Webber","year":"1995","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1006","series-title":"Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"282","article-title":"Terminological Reasoning with Constraint Networks and an Application to Plan Recognition","author":"Weida","year":"1992"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1007","series-title":"Proceedings of AAAI","first-page":"897","article-title":"Extending Graplplan to Handle Uncertainty and Sensing Actions","author":"Weld","year":"1998"},{"issue":"61","key":"10.1016\/S1574-6526(05)80022-7_bib1008","first-page":"27","article-title":"An Introduction to Least Commitment Planning","volume":"15","author":"Weld","year":"1994","journal-title":"AI Magazine"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1009","series-title":"Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI)","first-page":"656","article-title":"Temporal Reasoning with Qualitative and Quantitative Information About Points and Durations","author":"Wetprasit","year":"1998"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1010","series-title":"Proceedings of the International Workshop on Temporal Representation and Reasoning (TIME)","first-page":"36","article-title":"Reasoning with Sequences of Events (an extended abstract)","author":"Wetprasit","year":"1996"},{"journal-title":"An Enquiry Concerning the Principles of Natural Knowledge, Cambridge","year":"1919","author":"Whitehead","key":"10.1016\/S1574-6526(05)80022-7_bib1011"},{"year":"1996","series-title":"Active Database Systems: Triggers and Rules for Advanced Database Processing","key":"10.1016\/S1574-6526(05)80022-7_bib1012"},{"issue":"5","key":"10.1016\/S1574-6526(05)80022-7_bib1013","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/64.621227","article-title":"The Conceptual Basis of Mediation Services","volume":"12","author":"Wiederhold","year":"1997","journal-title":"IEEE Expert"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib1014","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.121508","article-title":"Mediators in the Architecture of Future Information Systems","volume":"25","author":"Wiederhold,","year":"1992","journal-title":"IEEE Computer"},{"issue":"7","key":"10.1016\/S1574-6526(05)80022-7_bib1015","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1016\/S0306-4379(98)00023-4","article-title":"Reasoning about Qualitative Trends in Databases","volume":"23","author":"Wijsen","year":"1998","journal-title":"Information Systems"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib1016","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/310701.310715","article-title":"Temporal FDs on Complex Objects","volume":"24","author":"Wijsen","year":"1999","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1017","series-title":"Proceedings of the AAAI Workshop on Spatial and Temporal Granularities","first-page":"9","article-title":"A String-based Model for Infinite Granularities","author":"Wijsen","year":"2000"},{"year":"1988","author":"Wilkins","key":"10.1016\/S1574-6526(05)80022-7_bib1018"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1019","series-title":"Proceedings of AAAI","first-page":"105","article-title":"Doing Time: Putting Qualitative Reasoning on Firmer Ground","author":"Williams","year":"1986"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(05)80022-7_bib1020","first-page":"72","article-title":"Temporal Logic can be More Expressive","volume":"56","author":"Wolper","year":"1983","journal-title":"Information and Computation"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1021","article-title":"The Tableau Method for Temporal Logic: An Overview","author":"Wolper","year":"1985","journal-title":"Logique et Analyse"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1022","series-title":"Temporal Logic in Specification","first-page":"75","article-title":"On the Relation of Programs and Computations to Models of Temporal Logic","volume":"398","author":"Wolper","year":"1989"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1023","series-title":"Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)","first-page":"512","article-title":"Satisfiability Problem in Description Logics with Modal Operators","author":"Wolter","year":"1998"},{"year":"1998","series-title":"Temporalizing Description Logics. See citeseer.ist.psu.edu\/wolter98temporalizing.html","author":"Wolter","key":"10.1016\/S1574-6526(05)80022-7_bib1024"},{"issue":"4","key":"10.1016\/S1574-6526(05)80022-7_bib1025","doi-asserted-by":"crossref","first-page":"411","DOI":"10.3233\/FI-1999-39405","article-title":"Modal Description Logics: Modalizing Roles","volume":"39","author":"Wolter","year":"1999","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib1026","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1093\/logcom\/10.2.223","article-title":"The Product of Converse PDL and Polymodal K","volume":"10","author":"Wolter","year":"2000","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"10.1016\/S1574-6526(05)80022-7_bib1027","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","article-title":"Intelligent Agents: Theory and Practice","volume":"10","author":"Wooldridge","year":"1995","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1028","series-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)","first-page":"952","article-title":"Model checking multiagent systems with MABLE","author":"Wooldridge","year":"2002"},{"article-title":"The Logical Modelling of Computational Multi-Agent Systems","year":"1992","author":"Wooldridge","key":"10.1016\/S1574-6526(05)80022-7_bib1029"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1030","series-title":"Intelligent Agents III\u2014Proceedings of the Third International Workshop on Agent Theories Architectures, and Languages (ATAL)","article-title":"A Knowledge-Theoretic Semantics for Concurrent Metate M","author":"Wooldridge","year":"1996"},{"year":"2000","author":"Wooldrige","key":"10.1016\/S1574-6526(05)80022-7_bib1031"},{"year":"2002","author":"Wooldridge","key":"10.1016\/S1574-6526(05)80022-7_bib1032"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib1033","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/152947.152954","article-title":"Performance of Temporal Reasoning Systems","volume":"4","author":"Yampratoom","year":"1993","journal-title":"SIGART Bulletin"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1034","series-title":"Proceedings of the ACM SIGMOD International Conference on Management of Data","first-page":"596","article-title":"TIP: A Temporal Extension to Informix","author":"Yang","year":"2000"},{"year":"1997","author":"Yang","key":"10.1016\/S1574-6526(05)80022-7_bib1035"},{"issue":"1","key":"10.1016\/S1574-6526(05)80022-7_bib1036","article-title":"Uppaal in a Nutshell","volume":"1","author":"Yi","year":"1997","journal-title":"International Journal of Software Tools for Technology Transfer"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1037","series-title":"Proceedings of the ICLP Workshop on Legal Application of Logic Programming","first-page":"128","article-title":"Representation of Legal Knowledge by Compound Predicate Formula","author":"Yoshino","year":"1994"},{"article-title":"Representation of Legal Knowledge by Legal Flowchart and Compound Predicate Formula","year":"1994","author":"Yoshino","key":"10.1016\/S1574-6526(05)80022-7_bib1038"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1039","article-title":"VHPOP: Versatile Heuristic Partial Order Planner","author":"Younes","year":"2003","journal-title":"Journal of AI Research, (Special issue on 3rd International Planning Competition)"},{"year":"1973","author":"Zeman","key":"10.1016\/S1574-6526(05)80022-7_bib1040"},{"key":"10.1016\/S1574-6526(05)80022-7_bib1041","series-title":"Proceedings of IEEE International Conference on Data Engineering","first-page":"103","article-title":"Efficient Temporal Join Processing using Indices","author":"Zhang","year":"2002"},{"issue":"3","key":"10.1016\/S1574-6526(05)80022-7_bib1042","first-page":"73","article-title":"Using anytime algorithms in intelligent systems","volume":"17","author":"Zilberstein","year":"1996","journal-title":"AI magazine"}],"container-title":["Foundations of Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652605800227?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652605800227?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:50:56Z","timestamp":1761619856000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652605800227"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9780444514936"],"references-count":1045,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(05)80022-7","relation":{},"ISSN":["1574-6526"],"issn-type":[{"type":"print","value":"1574-6526"}],"subject":[],"published":{"date-parts":[[2005]]}}}