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
Towards Knowledge-driven Distillation and Explanation of Black-box Models
2021-01-01 Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N
Asymmetric Hybrids: Dialogues for Computational Concept Combination
2021-01-01 Righetti, G; Porello, D; Troquard, N; Kutz, O; Hedblom, Mm; Galliani, P
Rational Synthesis in the Commons with Careless and Careful Agents
2021-01-01 Condurache, R; Dima, C; Oualhadj, Y; Troquard, N
Concept Combination in Weighted Logic
2021-01-01 Righetti, G; Masolo, C; Troquard, N; Kutz, O; Porello, D
Perceptron Operators That Count
2021-01-01 Galliani, P; Kutz, O; Troquard, N
Resource Separation in Dynamic Logic of Propositional Assignments
2020-01-01 Boudou, J; Herzig, A; Troquard, N
Towards even more irresistible axiom weakening
2020-01-01 Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N
Perceptron Connectives in Knowledge Representation
2020-01-01 Galliani, P; Righetti, G; Kutz, O; Porello, D; Troquard, N
On Knowledge Dependence in Weighted Description Logic
2019-01-01 Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N
Learning Ontologies with Epistemic Reasoning: The EL Case
2019-01-01 Ozaki, A; Troquard, N
Weighted Description Logic for Classification Problems
2019-01-01 Righetti, G; Galliani, P; Kutz, O; Porello, D; Masolo, C; Troquard, N
Pink panthers and toothless tigers: three problems in classification
2019-01-01 Righetti, G; Porello, D; Kutz, O; Troquard, N; Masolo, C
A toothful of concepts: Towards a theory of weighted concept combination
2019-01-01 Porello, D; Kutz, O; Righetti, G; Troquard, N; Galliani, P; Masolo, C
A Sound Type System for Secure Currency Flow
2024-01-01 Aceto, Luca; Gorla, Daniele; Lybech, Stian
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Towards Knowledge-driven Distillation and Explanation of Black-box Models | 1-gen-2021 | Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N | |
Asymmetric Hybrids: Dialogues for Computational Concept Combination | 1-gen-2021 | Righetti, G; Porello, D; Troquard, N; Kutz, O; Hedblom, Mm; Galliani, P | |
Rational Synthesis in the Commons with Careless and Careful Agents | 1-gen-2021 | Condurache, R; Dima, C; Oualhadj, Y; Troquard, N | |
Concept Combination in Weighted Logic | 1-gen-2021 | Righetti, G; Masolo, C; Troquard, N; Kutz, O; Porello, D | |
Perceptron Operators That Count | 1-gen-2021 | Galliani, P; Kutz, O; Troquard, N | |
Resource Separation in Dynamic Logic of Propositional Assignments | 1-gen-2020 | Boudou, J; Herzig, A; Troquard, N | |
Towards even more irresistible axiom weakening | 1-gen-2020 | Confalonieri, R; Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N | |
Perceptron Connectives in Knowledge Representation | 1-gen-2020 | Galliani, P; Righetti, G; Kutz, O; Porello, D; Troquard, N | |
On Knowledge Dependence in Weighted Description Logic | 1-gen-2019 | Galliani, P; Kutz, O; Porello, D; Righetti, G; Troquard, N | |
Learning Ontologies with Epistemic Reasoning: The EL Case | 1-gen-2019 | Ozaki, A; Troquard, N | |
Weighted Description Logic for Classification Problems | 1-gen-2019 | Righetti, G; Galliani, P; Kutz, O; Porello, D; Masolo, C; Troquard, N | |
Pink panthers and toothless tigers: three problems in classification | 1-gen-2019 | Righetti, G; Porello, D; Kutz, O; Troquard, N; Masolo, C | |
A toothful of concepts: Towards a theory of weighted concept combination | 1-gen-2019 | Porello, D; Kutz, O; Righetti, G; Troquard, N; Galliani, P; Masolo, C | |
A Sound Type System for Secure Currency Flow | 1-gen-2024 | Aceto, Luca; Gorla, Daniele; Lybech, Stian |
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 ...1084
Data di pubblicazione
- 2020 - 2024235
- 2010 - 2019590
- 2000 - 2009213
- 1990 - 199941
- 1982 - 19895
Editore
- Springer82
- IEEE Computer Society38
- IEEE31
- Institute of Electrical and Elect...22
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag14
- CEUR-WS12
- Springer International Publishing11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS13
- POS PROCEEDINGS OF SCIENCE13
- ELECTRONIC PROCEEDINGS IN THEORET...7
- 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...26
- LECTURE NOTES IN COMPUTER SCIENCE17
- LEIBNIZ INTERNATIONAL PROCEEDINGS...14
- AIP CONFERENCE PROCEEDINGS7
- ADVANCES IN NEURAL INFORMATION PR...3
- PROCEEDINGS OF SPIE, THE INTERNAT...3
- FRONTIERS IN ARTIFICIAL INTELLIGE...2
- LECTURE NOTES IN COMPUTER SCIENCE2
- NUCLEAR PHYSICS B - PROCEEDINGS S...2
- PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory6
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng650
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext922
- reserved96
- open63
- partially open3