Algorithmic Decision Theory Meets Logic (Q3449186)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Algorithmic Decision Theory Meets Logic	scientific article

Statements

scholarly article

0 references

Algorithmic Decision Theory Meets Logic (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-319-23264-5_2

0 references

0 references

Logic Programming and Nonmonotonic Reasoning

0 references

publication date

4 November 2015

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-23264-5_2

0 references

0 references

The logic of preference reconsidered

0 references

0 references

Everything else being equal: a modal logic for ceteris paribus preferences

0 references

Logics in Artificial Intelligence

0 references

Answer set programming and plan generation

0 references

A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system

0 references

Multi-Criteria Optimization in Answer Set Programming

0 references

Social choice theory in HOL. Arrow and Gibbard-Satterthwaite

0 references

Computer-aided proofs of Arrow's and other impossibility theorems

0 references

Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs

0 references

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects

0 references

Finding Strategyproof Social Choice Functions via SAT Solving

0 references

Strategic Abstention based on Preference Extensions: Positive Results and Computer-Generated Impossibilities

0 references

Reasoning about social choice functions

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3449186

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3449186&oldid=36210652"