Nicolas Troquard
- Type
- Persona (Classe)
- Label
- Nicolas Troquard (literal)
- Nicolas Troquard (literal)
- Partecipa a commessa
- Partecipazione a Commessa "Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende" (ICT.P08.007) di Nicolas Troquard nell'anno 2014 (Partecipazione a commessa)
- Partecipazione a Commessa "Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende" (ICT.P08.007) di Nicolas Troquard nell'anno 2013 (Partecipazione a commessa)
- Partecipazione a Commessa "Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende" (ICT.P08.007) di Nicolas Troquard nell'anno 2012 (Partecipazione a commessa)
- Partecipazione a Commessa "Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende" (ICT.P08.007) di Nicolas Troquard nell'anno 2011 (Partecipazione a commessa)
- Persona in rapporto
- Employment relationship with CNR of Nicolas Troquard (Rapporto con CNR)
- Autore CNR di
- A dynamic logic of institutional actions (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a logic of agency and actions with duration (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Contributo in atti di convegno) (Prodotto della ricerca)
- On satisfiability in ATL with strategy contexts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Coalitional Agency and Evidence-Based Ability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Preliminaries on the logic of cooperative impulses (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- A logical and philosophical analysis of helping (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- Dynamic logic of propositional assignments: a well-behaved variant of PDL (Contributo in atti di convegno) (Prodotto della ricerca)
- A resource-sensitive account of the use of artifacts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards an ontology of agency and action. From STIT to OntoSTIT+ (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Ontology of Agency. From modal logics to first-order theories (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Learning and Practice of the Property Specification Language (Rassegne, recensioni, prefazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)
- Coautore
- EMANUELE BOTTAZZI (Unità di personale esterno)
- LAURE RENEE VIEU (Persona)
- ROBERT TRYPUZ (Unità di personale esterno)
- Daniele Porello (Unità di personale esterno)
- Nome
- Nicolas (literal)
- Cognome
- Troquard (literal)
- Afferisce a
Incoming links:
- Autore CNR
- Ontology of Agency. From modal logics to first-order theories (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards an ontology of agency and action. From STIT to OntoSTIT+ (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Towards a logic of agency and actions with duration (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A dynamic logic of institutional actions (Contributo in atti di convegno) (Prodotto della ricerca)
- Learning and Practice of the Property Specification Language (Rassegne, recensioni, prefazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1716)
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Contributo in atti di convegno) (Prodotto della ricerca)
- On satisfiability in ATL with strategy contexts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Coalitional Agency and Evidence-Based Ability (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A resource-sensitive account of the use of artifacts (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A logical and philosophical analysis of helping (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- Preliminaries on the logic of cooperative impulses (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- Dynamic logic of propositional assignments: a well-behaved variant of PDL (Contributo in atti di convegno) (Prodotto della ricerca)
- Ha afferente
- Coautore
- LAURE RENEE VIEU (Persona)
- EMANUELE BOTTAZZI (Unità di personale esterno)
- ROBERT TRYPUZ (Unità di personale esterno)
- Daniele Porello (Unità di personale esterno)
- Partecipazione di
- Partecipazione a Commessa "Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende" (ICT.P08.007) di Nicolas Troquard nell'anno 2014 (Partecipazione a commessa)
- Partecipazione a Commessa "Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende" (ICT.P08.007) di Nicolas Troquard nell'anno 2011 (Partecipazione a commessa)
- Partecipazione a Commessa "Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende" (ICT.P08.007) di Nicolas Troquard nell'anno 2013 (Partecipazione a commessa)
- Partecipazione a Commessa "Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende" (ICT.P08.007) di Nicolas Troquard nell'anno 2012 (Partecipazione a commessa)
- Rapporto con persona
- Employment relationship with CNR of Nicolas Troquard (Rapporto con CNR)