Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
English
Deutsch
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Search by expertise, name or affiliation
Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) (Event)
Seidl, M.
(Member)
Institute of Formal Models and Verification
Activity
:
Membership/Function
›
Program committee
Period
27 Jan 2019
→
01 Feb 2019
Event title
Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)
Event type
Other
Location
United States
Show on map
Fields of science
202006 Computer hardware
603109 Logic
102 Computer Sciences
102031 Theoretical computer science
102011 Formal languages
102022 Software development
102001 Artificial intelligence
Documents & Links
https://aaai.org/Conferences/AAAI-19/