Logo del repository
  1. Home
 
Opzioni

Back to Interval Temporal Logics

MONTANARI, Angelo
2008
  • conference object

Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Abstract
Interval-based temporal reasoning naturally arises in a variety of fields, including artificial intelligence (temporal knowledge representation, systems for temporal planning and maintenance, qualitative reasoning, theories of events), theoretical computer science (specification and design of hardware components, concurrent real-time processes), temporal databases (event modeling, temporal aggregation), and computational linguistics (analysis of progressive tenses, semantics and processing of natural languages) [10].
DOI
10.1007/978-3-540-89982-2_4
Archivio
http://hdl.handle.net/11390/878612
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-58549088567
Diritti
closed access
Soggetti
  • interval temporal log...

  • tableau system

  • expressivene

  • decidability

  • undecidability

Scopus© citazioni
3
Data di acquisizione
Jun 2, 2022
Vedi dettagli
Visualizzazioni
4
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback