|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 7 keywords
|
|
|
Results
Found 43 publication records. Showing 36 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | Pierfrancesco La Mura |
Projective expected utility: a subjective formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 184-192, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
allais, ellsberg, projective, expected utility, quantum, paradoxes |
59 | Pierfrancesco La Mura |
Game Theory without Decision-Theoretic Paradoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADT ![In: Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings, pp. 316-327, 2009, Springer, 978-3-642-04427-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Allais, Ellsberg, game theory, projective, expected utility, paradoxes |
53 | Ka-man Lam, Ho-fung Leung |
Expected Utility Maximization and Attractiveness Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 638-643, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Ardavan Salehi Nobandegani, Thomas R. Shultz, Laurette Dubé |
A Unified, Resource-Rational Account of the Allais and Ellsberg Paradoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, CogSci 2021, virtual, July 26-29, 2021, 2021, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
39 | Peijun Guo |
Focus theory of choice and its application to resolving the St. Petersburg, Allais, and Ellsberg paradoxes and other anomalies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 276(3), pp. 1034-1043, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Philippe Ezran, Yoram Haddad 0001, Mérouane Debbah |
Allais' paradox and resource allocation in telecommunication networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 70(3), pp. 337-348, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Paul Snow |
Pfanzagl Exchanges Diagnose a Continuity Anomaly Pertinent to Allais' Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, Clearwater Beach, Florida, USA, pp. 778-784, 2005, AAAI Press, 1-57735-234-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
35 | Guillaume Allais |
Scoped and Typed Staging by Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 83-93, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
35 | Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady |
Type Theory as a Language Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.12852, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais |
Seamless, Correct, and Generic Programming over Serialised Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.13441, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais |
Scoped and Typed Staging by Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.13413, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop |
Frex: dependently-typed algebraic simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.15375, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais |
Builtin Types viewed as Inductive Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.02194, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady |
Type Theory as a Language Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eelco Visser Commemorative Symposium ![In: Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands., pp. 9:1-9:13, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-267-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais |
Builtin Types Viewed as Inductive Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, pp. 113-139, 2023, Springer, 978-3-031-30043-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais |
Generic Level Polymorphic N-ary Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.06107, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna |
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 31, pp. e22, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Ksenia Gasnikova, Olivier Allais, Michèle Sebag |
Towards causal modeling of nutritional outcomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAWS ![In: Causal Analysis Workshop Series, CAWS 2021, Minneapolis, Minnesota, USA, July 16, 2021., pp. 5-19, 2021, PMLR. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
35 | Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna |
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.11001, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
35 | Andreas Abel 0001, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark |
POPLMark reloaded: Mechanizing proofs by logical relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 29, pp. e19, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais |
Generic level polymorphic n-ary functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TyDe@ICFP ![In: Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019, pp. 14-26, 2019, ACM, 978-1-4503-6815-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna |
A type and scope safe universe of syntaxes with binding: their semantics and proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(ICFP), pp. 90:1-90:30, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais |
Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary, pp. 1:1-1:22, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-071-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais, James Chapman 0001, Conor McBride, James McKinna |
Type-and-scope safe programs and their proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017, pp. 195-207, 2017, ACM, 978-1-4503-4705-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Yves Bertot, Guillaume Allais |
Views of PI: Definition and computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 7(1), pp. 105-129, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Kiyan Vadoudi, Romain Allais, Tatiana Reyes, Nadege Troussier |
Sustainable Product Lifecycle Management and Territoriality: New Structure for PLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLM ![In: Product Lifecycle Management for a Global Market - 11th IFIP WG 5.1 International Conference, PLM 2014, Yokohama, Japan, July 7-9, 2014, Revised Selected Papers, pp. 475-484, 2014, Springer, 978-3-662-45936-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais, Pierre Boutillier, Conor McBride |
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.0809, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
35 | John E. McInroy, John F. O'Brien, Anthony A. Allais |
Designing dynamics and control of isotropic Gough-Stewart micromanipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013, pp. 1458-1464, 2013, IEEE, 978-1-4673-5641-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Guillaume Allais, Conor McBride, Pierre Boutillier |
New equations for neutral terms: a sound and complete decision procedure, formalized. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTP@ICFP ![In: Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September 24, 2013, pp. 13-24, 2013, ACM, 978-1-4503-2384-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Anthony A. Allais, John E. McInroy, John F. O'Brien |
Locally Decoupled Micromanipulation Using an Even Number of Parallel Force Actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 28(6), pp. 1323-1334, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Anthony A. Allais, John E. McInroy, John F. O'Brien |
A new class of locally decoupled Gough-Stewart platform manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2012, Vilamoura, Algarve, Portugal, October 7-12, 2012, pp. 1561-1566, 2012, IEEE, 978-1-4673-1737-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
35 | René Thiemann, Guillaume Allais, Julian Nagele |
On the Formalization of Termination Techniques based on Multiset Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 339-354, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Filippo Molinari, Samanta Rosati, William Liboni, Emanuela Negri, Ornella Mana, Gianni Allais, Chiara Benedetto |
Time-Frequency Characterization of Cerebral Hemodynamics of Migraine Sufferers as Assessed by NIRS Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Adv. Signal Process. ![In: EURASIP J. Adv. Signal Process. 2010, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Nathalie Perrot, Irina Ioannou, I. Allais, C. Curt, Joseph Hossenlopp, Gilles Trystram |
Fuzzy concepts applied to food product quality control: A review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 157(9), pp. 1145-1154, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Vincent Brandou, Ezio Malis, Patrick Rives, Anne-Gaëlle Allais, Michel Perrier |
Active Stereovision Using Invariant Visual Servoing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 2326-2331, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella |
Self-deceptive decision making: normative and descriptive insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1113-1120, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
self-deception, wishful thinking, multi-agent systems, decision theory |
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|