Proceedings Ninth International Symposium on Temporal Representation and Reasoning
SCOPUS (1997,2000-2008,2011,2013-2014)
1530-1311
Cơ quản chủ quản: N/A
Các bài báo tiêu biểu
A parameterized algebra for event notification services
- Trang 61-63
Event notification services are used in various applications such as digital
libraries, stock tickers, traffic control, or facility management. However to
our knowledge, a common semantics of events in event notification services has
not been defined so far. We propose a parameterized event algebra which
describes the semantics of composite events for event notification systems. The
parameters ser...
#Algebra #Logistics #Temperature sensors #Software libraries #Filtering #Database systems #Clocks
Logic Trạng thái Phân tán Dịch bởi AI
- Trang 55-57
Chúng tôi giới thiệu một logic thời gian để lý luận về các ứng dụng toàn cầu.
Trước tiên, chúng tôi định nghĩa một logic mô-đun cho địa phương tính, nhúng các
lý thuyết địa phương của mỗi thành phần vào một lý thuyết về các trạng thái phân
tán của hệ thống. Chúng tôi cung cấp cho logic một hệ thống tiên đề đầy đủ và
chuyên sâu. Sau đó, chúng tôi mở rộng logic với một toán tử thời gian. Đóng góp
củ...
#Logic #DSL #Đồng hồ #Giao tiếp bất đồng bộ #Ngôn ngữ đặc tả #Điện toán đồng thời #Điện toán phân tán #Trì hoãn #Điện toán phổ biến #Thư viện thời gian chạy
A continuous planning framework with durative actions
- Trang 108-114
This paper describes a continuous planning framework to be used by a planning
agent situated within an environment, which reasons about goals with priorities
and deadlines, and actions with duration. The framework assumes that goals may
be generated continuously, which requires the interleaving of planning and
execution. Constraints upon time may mean it is not possible for all goals to be
achieve...
#Artificial intelligence #Computer science #Interleaved codes #Time factors #Process planning
Temporal views as abstract relations
- Trang 116-123
Many natural languages use prepositions to mark relations between entities of
various kinds-between physical entities and their spatial locations, between
temporal entities and their temporal locations, between abstract entities of
various kinds (e.g. between ideas and their 'mental locations'). I show that the
consequences of using prepositions to relate temporal entities emerge naturally
from th...
#Physics computing #Natural languages #Logic #Dictionaries #Artificial intelligence #History #Eyes #Data mining #IEEE entities #Concrete
Evolution specification of multigranular temporal objects
- Trang 78-85
The main key feature of temporal databases is to maintain all values taken by
object attributes over time. Since historical information may be needed at
different levels of detail, multigranular temporal databases have been
introduced, in which different attributes can be stored at different temporal
granularities. An important issue that has not been addressed, however is that
the required level ...
#Temperature #Aggregates #Meteorology #Spatial databases #Weather forecasting #Cities and towns #Banking #Pollution #Kernel #Power generation
Tensed ontology based on simple partial logic
- Trang 141-145
Simple partial logic (SPL) is, broadly speaking, an extensional logic which
allows for the truth-value gap. First I give a system of propositional SPL by
partializing classical logic, as well as extending it with several non-classical
truth-functional operators. Second I show a way based on SPL to construct a
system of tensed ontology, by representing tensed statements as two kinds of
necessary st...
#Ontologies #Logic #Cost accounting #Art #Terminology
Performance of querying temporal attributes in object-relational databases
- Trang 58-60
We evaluate a model for temporal data utilizing the benefits of
object-relational database systems (ORDBS). In particular we show how attribute
timestamping can be efficiently implemented in state-of-the-art ORDBS. The
attribute timestamping concept is based on introducing user-specific types for
temporal versions of datatypes. Moreover on the physical level we make use of
user-defined index struc...
#Object oriented modeling #Indexing #Spatial indexes #Relational databases #Information systems #Database systems #Data models #Spatial databases #Size measurement
A logical approach to represent and reason about calendars
- Trang 134-140
We propose a logical approach to represent and reason about different time
granularities. We identify a time granularity as a discrete infinite sequence of
time points properly labelled with proposition symbols marking the starting and
ending points of the corresponding granules, and we intensively model sets of
granularities with linear time logic formulas. Some real-world granularities are
provi...
#Calendars #Computer science #Logic #Formal specifications #Databases #Data mining #Problem-solving #Natural languages #Qualifications #Testing
On the operational semantics of timed rewrite systems
- Trang 10-17
We propose an efficient operational semantics for a new class of rewrite
systems, namely timed rewrite systems. This class constitute a conservative
extension of first-order conditional term rewrite systems together with time
features such as clocks, signals, timed terms, timed atoms and timed rules. We
define first timed rewrite systems and illustrate them through some examples. A
naive approach ...
#Clocks #Proposals #Calculus #Logic devices #Logic programming #Computer languages #Natural languages #Shape #Equations #Tail
A finite-state approach to event semantics
- Trang 124-131
Events employed in natural language semantics are characterized in terms of
regular languages, each string in which can be regarded as a motion picture. The
relevant finite automata then amount to movie cameras/projectors, or more
formally, to finite Kripke structures with partial valuations. The usual regular
constructs (concatenation, choice, etc) are supplemented with superposition of
strings/a...
#Automata #Motion pictures #Natural languages #Cameras #Computer science #Educational institutions #Cost accounting #Proposals #Labeling