Walsh, Toby.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
A short introduction to preferencesbetween artificial intelligence and social choice /
by:
Rossi, Francesca, (1962-); Venable, Kristen Brent.; Walsh, Toby.
(Electronic resources)
SAT 2005 :Satisfiability Research in the Year 2005 /
by:
Giunchiglia, Enrico.; Walsh, Toby.
(Electronic resources)
Principles and practice of constraint programming - CP20017th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings /
by:
(1998 :); SpringerLink (Online service); Walsh, Toby.
(Electronic resources)
Algorithmic decision theory4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(1998 :); SpringerLink (Online service); Walsh, Toby.
(Electronic resources)
Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
(1998 :); Bacchus, Fahiem.; SpringerLink (Online service); Walsh, Toby.
(Electronic resources)
Abstraction, reformulation, and approximation4th international symposium, SARA 2000, Horsehoe Bay, USA, July 26-29, 2000 : proceedings /
by:
(1998 :); Choueiry, Berthe Y.; SpringerLink (Online service); Walsh, Toby.
(Electronic resources)
Handbook of constraint programming
by:
Rossi, Francesca, (1962-); ScienceDirect (Online service); Van Beek, Peter.; Walsh, Toby.
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings /
by:
(1998 :); Gaspers, Serge.; SpringerLink (Online service); Walsh, Toby.
(Electronic resources)
Subjects
Artificial intelligence
Propositional calculus
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Social choice
Theory of Computation.
Software Engineering.
Computer algorithms
Data mining
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Operating Systems.
Information Systems Applications (incl. Internet)
Programming Techniques.
Computer software
Computer Science
Decision making
Numeric Computing.
Theory of Computation
Computer science
Computer Science.
Reasoning
Probability and Statistics in Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.
Information theory
Constraint programming (Computer science)
Artificial intelligence.
Preferences (Philosophy)
Decision trees