A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada

Source URL: icaps16.icaps-conference.org

• Artificial intelligence
• Robotics
• Machine learning
• Robot
• Humanrobot interaction
• Motion planning
• Automated planning and scheduling
• Mobile robot
• Simultaneous localization and mapping
• Cognitive robotics
• Ayorkor Korsah
• Cloud robotics

FOR RELEASE MAY 14, 2018 BY Amy Mitchell, Katie Simmons, Katerina Eva Matsa, Laura Silver, Elisa Shearer, Courtney Johnson, Mason Walker and Kyle Taylor

Source URL: www.journalism.org

• Terminology
• Political philosophy
• Political terminology
• Human behavior
• Communication
• Political spectrum
• Populism
• Left-wing populism
• News
• Social media
• Polarization
• Opinion poll

Alloy Modeling Language meets SMT-LIB Forrest Cinelli, Kyle McCormick, Dan Dougherty WPI NSF Supportand

Source URL: alloytools.org

• Mathematical logic
• Theoretical computer science
• Formal methods
• Constraint programming
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Predicate logic
• SMT
• Predicate
• Constraint satisfaction problem
• Satisfiability modulo theories

Northern Richardson Mountains Dall’s Sheep Survey June 19 to 22, 2017 Field Summary Prepared by: Tracy Davison, ENR Kyle Russell, YTG Édouard Bélanger, GRRB

Source URL: www.grrb.nt.ca

6 • Pittsburgh Legal Journal BANKRUPTCY COURT (Continued from Page 1, Column 5) Carol A. Ramsey; ALLEGHENY-PA; ; Atty: Rodney D. Shepherd; Chapter: 7; Filed; Judge Taddonio Kyle A. Morris; ALLEGHENY-P

Source URL: www.palegalads.org

Identifying Health-Related Topics on Twitter An Exploration of Tobacco-Related Tweets as a Test Topic Kyle W. Prier1 , Matthew S. Smith2 , Christophe Giraud-Carrier2 , and Carl L. Hanson1 1

Source URL: m.smithworx.com

Kyle Dropp Stanford University Department of Political Science 616 Serra St., Encina Hall West, Rm. 100 Stanford, CA

Source URL: kyledropp.weebly.com

Journal of Open Source Software (JOSS): design and first-year review Arfon M. Smith1 , Kyle E. Niemeyer2 , Daniel S. Katz3 , Lorena A. Barba4 , George Githinji5 , Melissa Gymrek6 , Kathryn D. Huff7 , Christopher R. Madan

Source URL: www.cmadan.com

P R E S S R E L E A S E FOR IMMEDIATE RELEASE / MARCH 7, 2018 Charmed Curated by Kyle Quinn, Raw Meat Collective MARCH 17 – MAY 12, 2018

Source URL: www.yellowperilgallery.com