IRIS

4.1 Contributo in Atti di convegno: [1389] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 401 a 420 di 1.389
Titolo Data di pubblicazione Autore(i) File
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
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 401 a 420 di 1.389
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 ...1389
Autore
  • PELLICCIONE, PATRIZIO140
  • FLAMMINI, MICHELE115
  • TUOSTO, EMILIO87
  • TRUBIANI, CATIA81
  • D'ANGELO, GIANLORENZO78
  • INVERARDI, PAOLA72
  • IOVINO, LUDOVICO68
  • TROQUARD, NICOLAS64
  • DE MITRI, IVAN55
  • OLIVETTI, DENNIS46
Data di pubblicazione
  • 2020 - 2026492
  • 2010 - 2019632
  • 2000 - 2009219
  • 1990 - 199941
  • 1982 - 19895
Editore
  • Springer87
  • IEEE Computer Society42
  • IEEE37
  • 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 SCIENCE42
  • 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 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
  • eng791
  • ita12
  • und7
  • slv1
Accesso al fulltext
  • no fulltext1182
  • open101
  • reserved96
  • partially open10