Sfoglia
Delegation and mental states
2007-01-01 Lorini, E; Troquard, N; Herzig, A; Castelfranchi, C
A simple logic of tool manipulation
2013-01-01 Troquard, N
Towards a logic of agency and actions with duration
2006-01-01 Troquard, N; Vieu, L
Reasoning about choice
2013-01-01 Van Der Hoek, W; Troquard, N; Wooldridge, M
A computationally grounded dynamic logic of agency, with an application to legal actions
2012-01-01 Herzig, A; De Lima, T; Lorini, E; Troquard, N
On satisfiability in ATL with strategy contexts
2012-01-01 Troquard, N; Walther, D
Coalitional Agency and Evidence-Based Ability
2012-01-01 Troquard, N
A STIT-extension of ATL
2006-01-01 Broersen, J; Herzig, A; Troquard, N
Architecture and Performance Anti-patterns Correlation in Microservice Architectures
2025-01-01 Avritzer, Alberto; Janes, Andrea; Trubiani, Catia; Rodrigues, Helena; Cai, Yuanfang; Menasche, Daniel Sadoc; Jose Abreu De Oliveira, Alvaro
Enhancing Graph Edit Distance Computation: Stronger and Orientation-Based ILP Formulations
2025-01-01 D'Ascenzo, Andrea; Meffert, Julian; Mutzel, Petra; Rossi, Fabrizio
On the Performance of Mildly Greedy Players in k-Coloring Games
2025-01-01 Bilò, Vittorio; D'Ascenzo, Andrea; D'Emidio, Mattia; Italiano, Giuseppe F.
A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers
2022-01-01 Righetti, G; Kutz, O; Porello, D; Troquard, Nicolas; N,
Indexing Graphs for Shortest Beer Path Queries
2024-01-01 Coudert, David; D'Ascenzo, Andrea; D'Emidio, Mattia
Towards an ontology of agency and action : From STIT to OntoSTIT+
2006-01-01 Troquard, N; Trypuz, R; Vieu, L
A Methodology for the Analysis of Robotic Systems via Process Mining
2024-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
Enabling Process Mining on Multimodal Robotic Data
2025-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano
Revealing One-to-Many Event Relationships in Event Knowledge Graphs
2025-01-01 Giacché, Alessio; Pettinari, Sara; Rossi, Lorenzo
Multimodal Zero-Shot Activity Recognition for Process Mining of Robotic Systems
2026-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano
Robotic Datasets for Process Mining
2025-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano
Ethics-Based Requirements for Engineering Cyber-Physical Systems: A Literature Study
2025-01-01 Kurkchi, Yelyzaveta; Trubiani, Catia
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Delegation and mental states | 1-gen-2007 | Lorini, E; Troquard, N; Herzig, A; Castelfranchi, C | |
| A simple logic of tool manipulation | 1-gen-2013 | Troquard, N | |
| Towards a logic of agency and actions with duration | 1-gen-2006 | Troquard, N; Vieu, L | |
| Reasoning about choice | 1-gen-2013 | Van Der Hoek, W; Troquard, N; Wooldridge, M | |
| A computationally grounded dynamic logic of agency, with an application to legal actions | 1-gen-2012 | Herzig, A; De Lima, T; Lorini, E; Troquard, N | |
| On satisfiability in ATL with strategy contexts | 1-gen-2012 | Troquard, N; Walther, D | |
| Coalitional Agency and Evidence-Based Ability | 1-gen-2012 | Troquard, N | |
| A STIT-extension of ATL | 1-gen-2006 | Broersen, J; Herzig, A; Troquard, N | |
| Architecture and Performance Anti-patterns Correlation in Microservice Architectures | 1-gen-2025 | Avritzer, Alberto; Janes, Andrea; Trubiani, Catia; Rodrigues, Helena; Cai, Yuanfang; Menasche, Daniel Sadoc; Jose Abreu De Oliveira, Alvaro | |
| Enhancing Graph Edit Distance Computation: Stronger and Orientation-Based ILP Formulations | 1-gen-2025 | D'Ascenzo, Andrea; Meffert, Julian; Mutzel, Petra; Rossi, Fabrizio | |
| On the Performance of Mildly Greedy Players in k-Coloring Games | 1-gen-2025 | Bilò, Vittorio; D'Ascenzo, Andrea; D'Emidio, Mattia; Italiano, Giuseppe F. | |
| A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers | 1-gen-2022 | Righetti, G; Kutz, O; Porello, D; Troquard, Nicolas; N, | |
| Indexing Graphs for Shortest Beer Path Queries | 1-gen-2024 | Coudert, David; D'Ascenzo, Andrea; D'Emidio, Mattia | |
| Towards an ontology of agency and action : From STIT to OntoSTIT+ | 1-gen-2006 | Troquard, N; Trypuz, R; Vieu, L | |
| A Methodology for the Analysis of Robotic Systems via Process Mining | 1-gen-2024 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | |
| Enabling Process Mining on Multimodal Robotic Data | 1-gen-2025 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano | |
| Revealing One-to-Many Event Relationships in Event Knowledge Graphs | 1-gen-2025 | Giacché, Alessio; Pettinari, Sara; Rossi, Lorenzo | |
| Multimodal Zero-Shot Activity Recognition for Process Mining of Robotic Systems | 1-gen-2026 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano | |
| Robotic Datasets for Process Mining | 1-gen-2025 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano | |
| Ethics-Based Requirements for Engineering Cyber-Physical Systems: A Literature Study | 1-gen-2025 | Kurkchi, Yelyzaveta; Trubiani, Catia |
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 ...1329
Data di pubblicazione
- In corso di stampa1
- 2020 - 2026441
- 2010 - 2019622
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE36
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...12
- 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 ARTIFICIAL INTEL...37
- LECTURE NOTES IN COMPUTER SCIENCE36
- LEIBNIZ INTERNATIONAL PROCEEDINGS...22
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...7
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS5
- 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
- eng776
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1128
- open97
- reserved94
- partially open10