A General Modal Framework for the Event Calculus and its Skeptical and Credolous Variants

Cervesato,; Montanari, Angelo

CINECA IRIS Institutional Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

A General Modal Framework for the Event Calculus and its Skeptical and Credolous Variants / CERVESATO; MONTANARI A. - In: JOURNAL OF LOGIC PROGRAMMING. - ISSN 0743-1066. - STAMPA. - 38:2(1999), pp. 111-164.

Titolo:	A General Modal Framework for the Event Calculus and its Skeptical and Credolous Variants
Autori:	CERVESATO MONTANARI, Angelo mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	1999
Rivista:	JOURNAL OF LOGIC PROGRAMMING
Handle:	http://hdl.handle.net/11390/671333
Appare nelle tipologie:	1.1 Articolo in rivista

File in questo prodotto:

File	Descrizione	Tipologia	Licenza
1-s2.0-S0743106698100213-main.pdf		Post-print	Non pubblico	Accesso ristretto Richiedi una copia

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11390/671333

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.