Languages
Walsh, Toby.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
A short introduction to preferences = between artificial intelligence and social choice /
by:
Rossi, Francesca, (1962-); Venable, Kristen Brent.; Walsh, Toby.
(Language materials, printed)
Algorithmic Decision Theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
by:
Walsh, Toby.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
SAT 2005 ((2005 :); Walsh, Toby.; Bacchus, Fahiem.; SpringerLink (Online service)
(Language materials, printed)
Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings /
by:
Walsh, Toby.; SpringerLink (Online service); Gaspers, Serge.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Algorithmic decision theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Walsh, Toby.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Computer algorithms
Software Engineering.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Artificial intelligence.
Preferences (Philosophy)
Computer Communication Networks.
Decision making
Theory of Computation.
Information Systems Applications (incl. Internet).
Computer Science.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Information Systems Applications (incl. Internet)
Algorithms.
Social choice
Probability and Statistics in Computer Science.
Computer communication systems.
Propositional calculus
Artificial Intelligence (incl. Robotics)
Application software.
Mathematical statistics.
Artificial Intelligence.
Decision trees
Data mining
Reasoning
Numeric Computing.
Computer software