Logo del repository
  1. Home
 
Opzioni

Propositional Interval Temporal Logics: Some Promising Paths

MONTANARI, Angelo
2005
  • conference object

Abstract
In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough to express meaningful statements about time intervals and decidable.
DOI
10.1109/TIME.2005.30
WOS
WOS:000231875700029
Archivio
http://hdl.handle.net/11390/737860
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33646175984
Diritti
closed access
Soggetti
  • interval temporal log...

Scopus© citazioni
4
Data di acquisizione
Jun 2, 2022
Vedi dettagli
Web of Science© citazioni
4
Data di acquisizione
Mar 25, 2024
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