Proceedings Ninth International Symposium on Temporal Representation and Reasoning

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Author index
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 154-154 - 2002
Temporal reasoning with classes and instances of events
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 100-107
P. Terenziani
#Artificial intelligence #Computer science #Guidelines #Application software #Knowledge engineering #Protocols #Knowledge representation #Programming profession #Taxonomy
On the operational semantics of timed rewrite systems
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 10-17
M. Blanc, R. Echahed
#Clocks #Proposals #Calculus #Logic devices #Logic programming #Computer languages #Natural languages #Shape #Equations #Tail
Performance of querying temporal attributes in object-relational databases
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 58-60
C. Kleiner, U.W. Lipeck
#Object oriented modeling #Indexing #Spatial indexes #Relational databases #Information systems #Database systems #Data models #Spatial databases #Size measurement
On non-local propositional and local one-variable quantified CTL*
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 2-9
S. Bauer, I. Hodkinson, F. Wolter, M. Zakharyaschev
#Logic #Educational institutions #Computer science #Embedded computing #Instruments #Spatiotemporal phenomena #Calculus
Proceedings Ninth International Symposium on Temporal Representation and Reasoning
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - 2002
Tensed ontology based on simple partial logic
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 141-145
D. Kachi
#Ontologies #Logic #Cost accounting #Art #Terminology
Reasoning with disjunctive fuzzy temporal constraint networks
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 36-43
A. Bosch, M. Torres, R. Marin
#Fuzzy reasoning #Scheduling #Network topology #Fuzzy sets #Computer networks #Degradation #Algebra #Uncertainty #Filtering #Testing
A logical approach to represent and reason about calendars
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 134-140
C. Combi, M. Franceschet, A. Peron
#Calendars #Computer science #Logic #Formal specifications #Databases #Data mining #Problem-solving #Natural languages #Qualifications #Testing
A continuous planning framework with durative actions
Proceedings Ninth International Symposium on Temporal Representation and Reasoning - - Trang 108-114
A. Coddington
#Artificial intelligence #Computer science #Interleaved codes #Time factors #Process planning
Tổng số: 24   
  • 1
  • 2
  • 3