On satisfiability in ATL with strategy contexts (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• On satisfiability in ATL with strategy contexts (Contributo in atti di convegno) (literal)

Anno

• 2012-01-01T00:00:00+01:00 (literal)

Alternative label

• Troquard, Nicolas; Walther, Dirk (2012)
  On satisfiability in ATL with strategy contexts
  in Logics in Artificial Intelligence, 13th European Conference, JELIA 2012. Proceedings, Toulouse, 26-28 September 2012
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Troquard, Nicolas; Walther, Dirk (literal)

Pagina inizio

• 398 (literal)

Pagina fine

• 410 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• PROGETTO: Logical Analysis of Socio-Technical Systems; DISCIPLINA DI RIFERIMENTO: AI, Robotics & Automatic Control; AREA DI VALUTAZIONE:01 - Scienze matematiche e informatiche; ID_PUMA: /cnr.istc/2012-A2-004 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 7519 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 13 (literal)

Note

• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTC, Trento (literal)

Titolo

• On satisfiability in ATL with strategy contexts (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-642-33352-1 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autoriVolume

• L. Fariñas del Cerro, A. Herzig, J. Mengin (literal)

Abstract

• This paper is a study of Brihaye et al.'s ATL with strategy contexts. We focus on memory-less strategies and establish that the resulting logic is undecidable. An immediate corollary follows that the problem of satisfiability checking of every variant of ATL with strategy context introduced by Brihaye et al. is undecidable. We also relate ATLsc with memory-less strategies with ATL with explicit strategies, providing a decidable fragment (literal)

Editore

• Springer (Editore)

Prodotto di

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Infrastrutture basate sulla conoscenza per servizi intelligenti e ubiqui (ICT.P08.012.001) (Modulo)

Autore CNR

• Nicolas Troquard (Persona)

Insieme di parole chiave

• Keywords of "On satisfiability in ATL with strategy contexts" (Insieme di parole chiave)

Incoming links:

Prodotto

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Infrastrutture basate sulla conoscenza per servizi intelligenti e ubiqui (ICT.P08.012.001) (Modulo)

Autore CNR di

• Nicolas Troquard (Persona)

Editore di

• Springer (Editore)

Insieme di parole chiave di

• Keywords of "On satisfiability in ATL with strategy contexts" (Insieme di parole chiave)