Languages
O'Sullivan, Barry.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Principles and practice of constraint programming = 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings /
by:
O'Sullivan, Barry.; SpringerLink (Online service)
(Electronic resources)
Trustworthy AI - integrating learning, optimization and reasoning = first International Workshop, TAILOR 2020, virtual event, September 4-5, 2020 : revised selected papers /
by:
TAILOR (Workshop) (2020 :); Heintz, Fredrik.; Milano, Michela.; O'Sullivan, Barry.; SpringerLink (Online service)
(Electronic resources)
Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers /
by:
Larrosa, Javier.; O'Sullivan, Barry.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Artificial intelligence
Logics and Meanings of Programs.
Mathematics of Computing.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Constraints (Artificial intelligence)
Artificial Intelligence.
Computer Science.
Computer Appl. in Social and Behavioral Sciences.
Constraint programming (Computer science)
Symbolic and Algebraic Manipulation.
Computers and Education.