Search results for "reasoning about time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Frank Schilder, Graham Katz, James Pustejovsky	Annotating, Extracting and Reasoning About Time and Events.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
3	Graham Katz, James Pustejovsky, Frank Schilder	05151 Abstracts Collection - Annotating, Extracting and Reasoning about Time and Events.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
3	Graham Katz, James Pustejovsky, Frank Schilder	05151 Summary - Annotating, Extracting and Reasoning about Time and Events.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
3	Inderjeet Mani	Chronoscopes : A Theory of Underspecified Temporal Representations.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF	temporal information extraction, abstraction, temporal reasoning, granularity
2	Frank Schilder, Graham Katz, James Pustejovsky (eds.)	Annotating, Extracting and Reasoning about Time and Events, International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers	Annotating, Extracting and Reasoning about Time and Events	2007	DBLP BibTeX RDF
2	Graham Katz, James Pustejovsky, Frank Schilder (eds.)	Annotating, Extracting and Reasoning about Time and Events, 10.-15. April 2005	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Marc Verhagen	Drawing TimeML Relations with T-BOX.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Inderjeet Mani	Chronoscopes: A theory of underspecified temporal representations.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Lauri Karttunen, Annie Zaenen	Veridicity.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	James Pustejovsky, Jessica Littman, Roser Sauri	Argument Structure in TimeML.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Branimir Boguraev, Rie Kubota Ando	TimeBank-Driven TimeML Analysis.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	David Ahn, Sisay Fissaha Adafre, Maarten de Rijke	Towards Task-Based Temporal Extraction and Recognition.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Janet Hitzeman	Text Type and the Position of a Temporal Adverbial within the Sentence.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Benjamin Han, Donna Gates, Lori S. Levin	Anchoring Temporal Expressions in Scheduling-related Emails.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Hans Jürgen Ohlbach	Computational Treatment of Temporal Notions - The CTTN-System.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Ian Pratt-Hartmann	From TimeML to TPL.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Frank Schilder, J. Andrew McCulloh	Temporal information extraction from legal documents.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
2	Hans Jürgen Ohlbach	Computational Treatment of Temporal Notions: The CTTN-System.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
2	Graham Katz	Towards a Denotational Semantics for TimeML.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
2	James Pustejovsky, Jessica Littman, Roser Sauri	Arguments in TimeML: Events and Entities.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
2	Janet Hitzeman	Text Type and the Position of a Temporal Adverbial Within the Sentence.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF	temporal adverbial, flashback, narrative, perfect
2	Frank Schilder	Event Extraction and Temporal Reasoning in Legal Documents.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
2	Branimir Boguraev, Rie Kubota Ando	Effective Use of TimeBank for TimeML Analysis.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF	TimeBank, TimeML, temporal information extraction, machine learning, corpus analysis
2	Marc Verhagen	Drawing TimeML Relations with TBox.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF	TimeML, temporal annotation, temporal closure, visualization, timelines
2	Martin Charles Golumbic	Graph Theoretic Models for Reasoning About Time.	ASIAN	2004	DBLP DOI BibTeX RDF
2	Jeremy E. Dawson, Rajeev Goré	Machine-Checking the Timed Interval Calculus.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Reasoning about time, theorem proving, automated reasoning
1	Ji Ruan	Reasoning about Time, Action and Knowledge in Multi-Agent Systems.	KI	2011	DBLP DOI BibTeX RDF
1	Steven Schockaert	Fuzzy temporal and spatial reasoning for intelligent information retrieval.	SIGIR	2007	DBLP DOI BibTeX RDF	temporal question answering, fuzzy set theory, geographic information retrieval
1	Arash Shaban-Nejad, Volker Haarslev	Managing Conceptual Revisions in a Temporal Fungal Taxonomy.	CBMS	2007	DBLP DOI BibTeX RDF
1	Johan Köhler, Jules-Raymond Tapamo	Formal specification of region-based model for semantic extraction in road traffic monitoring.	Afrigraph	2006	DBLP DOI BibTeX RDF	semantic extraction, spatio-temporal formalism, conceptual model, Z notation
1	Bevan Jarvis, Dan Corbett, Lakhmi C. Jain	Reasoning About Time in a BDI Architecture.	KES	2005	DBLP DOI BibTeX RDF
1	Hyunjang Kong, Myunggwon Hwang, PanKoo Kim	Representation of Temporal Relations for Reasoning about Time on The Semantic Web Environment.	iiWAS	2005	DBLP BibTeX RDF
1	Heinrich Herre, Barbara Heller	Ontology of Time and Situoids in Medical Conceptual Modeling.	AIME	2005	DBLP DOI BibTeX RDF
1	Nico Van de Weghe, Philippe De Maeyer	Conceptual Neighbourhood Diagrams for Representing Moving Objects.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
1	Malek Mouhoub	Reasoning with Numeric and Symbolic Time Information.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	constraint satisfaction techniques, scheduling, approximation algorithms, planning, temporal reasoning
1	Artur S. d'Avila Garcez, Luís C. Lamb	Reasoning about Time and Knowledge in Neural Symbolic Learning Systems.	NIPS	2003	DBLP BibTeX RDF
1	Stuart G. Stubblebine, Rebecca N. Wright	An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	authentication logic, recent-secure authentication, reasoning about time, authentication, formal methods, computer security, security policies, clock synchronization, revocation, security analysis, protocol analysis, distributed systems security
1	Ola Angelsmark, Peter Jonsson	Some Observations on Durations, Scheduling and Allen's Algebra.	CP	2000	DBLP DOI BibTeX RDF
1	Ben C. Moszkowski	An Automata-Theoretic Completeness Proof for Interval Temporal Logic.	ICALP	2000	DBLP DOI BibTeX RDF
1	Emad Aboelela, Christos Douligeris	Fuzzy Temporal Reasoning Model for Event Correlation in Network Management. (PDF / PS)	LCN	1999	DBLP DOI BibTeX RDF	Fuzzy Logic, Fault Diagnosis, Network Management, Alarm Correlation
1	Richard F. Paige	Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.	ZUM	1998	DBLP BibTeX RDF
1	R. I. Scott, Michael Fisher, John A. Keane	Parallel Temporal Tableaux.	Euro-Par	1998	DBLP DOI BibTeX RDF
1	Francisco C. Pereira, Carlos Grilo, Luís Macedo, Amílcar Cardoso	A Structured Framework for Representing Time in a Generative Composition System. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF
1	Alfonso Gerevini, Lenhart K. Schubert	Efficient Algorithms for Qualitative Reasoning about Time.	Artif. Intell.	1995	DBLP DOI BibTeX RDF
1	Javier Pinto, Raymond Reiter	Reasoning About Time in the Situation Calculus.	Ann. Math. Artif. Intell.	1995	DBLP DOI BibTeX RDF
1	Hans Hansson, Bengt Jonsson	A Logic for Reasoning about Time and Reliability.	Formal Asp. Comput.	1994	DBLP DOI BibTeX RDF
1	Thom W. Frühwirth	Annotated Constraint Logic Programming Applied to Temporal Reasoning.	PLILP	1994	DBLP DOI BibTeX RDF
1	Martin Charles Golumbic, Ron Shamir	Complexity and Algorithms for Reasoning about Time: A Graph-Theoretic Approach.	J. ACM	1993	DBLP DOI BibTeX RDF	DNA mapping, sandwich problems, complexity, satisfiability, temporal reasoning, interval graphs, algorithmic analysis, interval orders
1	Suryanarayana M. Sripada	A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases.	IJCAI	1993	DBLP BibTeX RDF
1	Roger D. Maddux	Relation Algebras for Reasoning about Time and Space.	AMAST	1993	DBLP BibTeX RDF
1	Erik Sandewall	Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents.	ISMIS	1993	DBLP DOI BibTeX RDF
1	Hideki Isozaki, Yoav Shoham	A Mechanism for Reasoning about Time and Belief.	FGCS	1992	DBLP BibTeX RDF
1	Martin Charles Golumbic	Reasoning About Time.	AISMC	1992	DBLP DOI BibTeX RDF
1	Martin Charles Golumbic, Ron Shamir	Algorithms and Complexity for Reasoning about Time.	AAAI	1992	DBLP BibTeX RDF
1	Roberto Maiocchi, Barbara Pernici, Federico Barbic	Automatic Deduction of Temporal Information.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	meta-level temporal assertions, temporal modalities, time calculus, events, temporal database, propositions
1	David Sands	Time Analysis, Cost Equivalence and Program Refinement.	FSTTCS	1991	DBLP DOI BibTeX RDF
1	E. Giunchiglia, D. Tezza	Reasoning About Time in Qualitative Modeling.	Modelling the Innovation	1990	DBLP BibTeX RDF
1	Alan C. Shaw	Reasoning About Time in Higher-Level Language Software.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	higher-level language software, program elements, time-related statements, timing invariants, periodic processes, real-time systems, real-time, formal specification, synchronization, specification, lower bounds, delay, concurrent programs, synchronisation, upper bounds, assertions, deadlines, execution times, computer times, formal logic, Hoare logic, timing bounds, sequential programs
1	Hans Hansson, Bengt Jonsson	A Framework for Reasoning about Time and Reliability.	IEEE Real-Time Systems Symposium	1989	DBLP BibTeX RDF
1	Tomas Hrycej	An Efficient Algorithm for Reasoning about Time Intervals.	Expertensysteme	1987	DBLP BibTeX RDF
1	Paul Caspi, Nicolas Halbwachs	A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems.	Acta Inf.	1986	DBLP DOI BibTeX RDF
1	Marc B. Vilain	A System for Reasoning About Time.	AAAI	1982	DBLP BibTeX RDF