Mastering Reference Architectures with Modeling Assistants
2023-01-01 Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo
jjodel – A Reflective Cloud-Based Modeling Framework
2023-01-01 Di Rocco, Juri; Di Ruscio, Davide; Di Salle, Amleto; Di Vincenzo, Damiano; Pierantonio, Alfonso; Tinella, Giordano
User-centric android flexible permissions
2017-01-01 Scoccia, GIAN LUCA; Malavolta, Ivano; Autili, Marco; DI SALLE, Amleto; Inverardi, Paola
A Semantic Approach to Decidability in Epistemic Planning
2023-01-01 Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas
Synthesis of Resource-Aware Controllers Against Rational Agents
2023-01-01 Condurache, Rodica; Dima, Catalin; Oualhadj, Youssouf; Troquard, Nicolas
Making Axiom Weakening Work in SROIQ
2023-01-01 Bernard, Roland; Kutz, Oliver; Troquard, Nicolas
A Semantic Approach to Decidability in Epistemic Planning
2023-01-01 Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas
Non-Normal Modal Description Logics
2023-01-01 Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana; Troquard, Nicolas
An Ontological Modelling of Prototype Theories
2023-01-01 Porello, Daniele; Righetti, Guendalina; Troquard, Nicolas; Confalonieri, Roberto; Kutz, Oliver
Succinctness and Complexity of ALC with Counting Perceptrons
2023-01-01 Galliani, Pietro; Kutz, Oliver; Troquard, Nicolas
A logic of propositional control for truthful implementations
2009-01-01 Troquard, N; van der Hoek, W; Wooldridge, M
A Logic of Games and Propositional Control
2009-01-01 Troquard, N; van der Hoek, W; Wooldridge, M
Knowledge and control
2011-01-01 Van Der Hoek, W; Troquard, N; Wooldridge, M
A dynamic logic of normative systems
2011-01-01 Herzig, A; Lorini, E; Moisan, F; Troquard, N
A normal simulation of coalition logic and an epistemic extension
2007-01-01 Broersen, J; Herzig, A; Troquard, N
Knowing how to play: Uniform choices in logics of agency
2006-01-01 Herzig, A; Troquard, N.
Dynamic logic of propositional assignments: A well-behaved variant of PDL
2013-01-01 Balbiani, P; Herzig, A; Troquard, N
Careful Autonomous Agents in Environments With Multiple Common Resources
2022-01-01 Condurache, R; Dima, C; Jitaru, M; Oualhadj, Y; Troquard, N
Almost Certain Termination for ALC Weakening
2022-01-01 Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract)
2022-01-01 Righetti, G; Porello, D; Troquard, N; Kutz, O; Hedblom, Mm; Galliani, P
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Mastering Reference Architectures with Modeling Assistants | 1-gen-2023 | Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo | |
| jjodel – A Reflective Cloud-Based Modeling Framework | 1-gen-2023 | Di Rocco, Juri; Di Ruscio, Davide; Di Salle, Amleto; Di Vincenzo, Damiano; Pierantonio, Alfonso; Tinella, Giordano | |
| User-centric android flexible permissions | 1-gen-2017 | Scoccia, GIAN LUCA; Malavolta, Ivano; Autili, Marco; DI SALLE, Amleto; Inverardi, Paola | |
| A Semantic Approach to Decidability in Epistemic Planning | 1-gen-2023 | Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas | |
| Synthesis of Resource-Aware Controllers Against Rational Agents | 1-gen-2023 | Condurache, Rodica; Dima, Catalin; Oualhadj, Youssouf; Troquard, Nicolas | |
| Making Axiom Weakening Work in SROIQ | 1-gen-2023 | Bernard, Roland; Kutz, Oliver; Troquard, Nicolas | |
| A Semantic Approach to Decidability in Epistemic Planning | 1-gen-2023 | Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas | |
| Non-Normal Modal Description Logics | 1-gen-2023 | Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana; Troquard, Nicolas | |
| An Ontological Modelling of Prototype Theories | 1-gen-2023 | Porello, Daniele; Righetti, Guendalina; Troquard, Nicolas; Confalonieri, Roberto; Kutz, Oliver | |
| Succinctness and Complexity of ALC with Counting Perceptrons | 1-gen-2023 | Galliani, Pietro; Kutz, Oliver; Troquard, Nicolas | |
| A logic of propositional control for truthful implementations | 1-gen-2009 | Troquard, N; van der Hoek, W; Wooldridge, M | |
| A Logic of Games and Propositional Control | 1-gen-2009 | Troquard, N; van der Hoek, W; Wooldridge, M | |
| Knowledge and control | 1-gen-2011 | Van Der Hoek, W; Troquard, N; Wooldridge, M | |
| A dynamic logic of normative systems | 1-gen-2011 | Herzig, A; Lorini, E; Moisan, F; Troquard, N | |
| A normal simulation of coalition logic and an epistemic extension | 1-gen-2007 | Broersen, J; Herzig, A; Troquard, N | |
| Knowing how to play: Uniform choices in logics of agency | 1-gen-2006 | Herzig, A; Troquard, N. | |
| Dynamic logic of propositional assignments: A well-behaved variant of PDL | 1-gen-2013 | Balbiani, P; Herzig, A; Troquard, N | |
| Careful Autonomous Agents in Environments With Multiple Common Resources | 1-gen-2022 | Condurache, R; Dima, C; Jitaru, M; Oualhadj, Y; Troquard, N | |
| Almost Certain Termination for ALC Weakening | 1-gen-2022 | Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N | |
| Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) | 1-gen-2022 | Righetti, G; Porello, D; Troquard, N; Kutz, O; Hedblom, Mm; Galliani, P |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE43
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS6
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10