Algorithmic Decision Theory Meets Logic

DOI10.1007/978-3-319-23264-5_2zbMath1467.68167OpenAlexW2205073929MaRDI QIDQ3449186

Jérôme Lang

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Unnamed Item
• Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs
• Reasoning about social choice functions
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Computer-aided proofs of Arrow's and other impossibility theorems
• Everything else being equal: a modal logic for ceteris paribus preferences
• Answer set programming and plan generation
• The logic of preference reconsidered
• Social choice theory in HOL. Arrow and Gibbard-Satterthwaite
• Finding Strategyproof Social Choice Functions via SAT Solving
• Multi-Criteria Optimization in Answer Set Programming
• Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
• Strategic Abstention based on Preference Extensions: Positive Results and Computer-Generated Impossibilities
• Logics in Artificial Intelligence

This page was built for publication: Algorithmic Decision Theory Meets Logic