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
#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
#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
Temporal views as abstract relations
- Trang 116-123
#Physics computing #Natural languages #Logic #Dictionaries #Artificial intelligence #History #Eyes #Data mining #IEEE entities #Concrete
Tensed ontology based on simple partial logic
- Trang 141-145
#Ontologies #Logic #Cost accounting #Art #Terminology
Indexed flows in temporal /spl times/ modal logic with functional semantics
- Trang 146-153
#Logic #Time measurement #Computer applications #Application software #Clocks #Particle measurements #Communications technology #Boolean functions
Logical data expiration
- Trang 66-67
#Logic #History #Database systems #Computer science #Electronic mail #Warehousing #Data analysis #Aging #Spatial databases #Upper bound
A continuous planning framework with durative actions
- Trang 108-114
#Artificial intelligence #Computer science #Interleaved codes #Time factors #Process planning
Representation and reasoning with disjunctive temporal constraints
- Trang 46-48
#Algebra #Costs #Time factors #Computational efficiency #Processor scheduling #Project management
Extending the RETE algorithm for event management
- Trang 49-51
#Engines #Pattern recognition #Clocks #Inference algorithms #Pattern matching #Java #Monitoring #Logic #Time factors