A Distributed Online Multi-Agent Planning System (Dissertation Abstract) Rafael C. Cardoso {} Supervisor: Rafael H. Bordini FACIN-PUCRS

Source URL: icaps16.icaps-conference.org

• Multi-agent systems
• Automated planning and scheduling
• Artificial intelligence
• Computing
• Systems science
• Multi-agent planning
• Hierarchical task network
• Intelligent agent
• Planning Domain Definition Language
• Agent-based model
• Planning
• Norm

Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Mathematical logic
• Logical truth
• Propositional calculus
• Substitution
• Measure theory
• operator
• Decomposition of spectrum

SMT-Based Nonlinear PDDL+ Planning

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint programming
• Planning Domain Definition Language
• Boolean satisfiability problem
• Satisfiability modulo theories
• Hybrid system

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Mathematical logic
• Theoretical computer science
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• MVS
• Boolean domain
• Boolean algebra
• Finite-state machine

Exploiting Search Space Structure in Classical Planning: Analyses and Algorithms (Dissertation Abstract) Masataro Asai Graduate School of Arts and Sciences University of Tokyo

Source URL: icaps16.icaps-conference.org

• Game artificial intelligence
• Routing algorithms
• Computer programming
• Computing
• Mathematics
• Automated planning and scheduling
• Theoretical computer science
• Macro
• Satisficing
• A* search algorithm
• Planning Domain Definition Language
• Heuristic

Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de

Source URL: icaps16.icaps-conference.org

• Search algorithms
• Theoretical computer science
• Heuristic
• State space search
• Mathematical optimization
• Algorithm
• Mathematics
• Philosophy of mathematics
• Cognitive science

June 1, 2018 Open Letter from the Reproductive Freedom Leadership Council Regarding President Trump’s Decision to Limit Title X Family Planning Funding As members of the Reproductive Freedom Leadership Council (RFLC),

Source URL: stateinnovation.org

Planning with Concurrent Execution Bence Cserna Department of Computer Science University of New Hampshire Durham, NHUSA

Source URL: icaps16.icaps-conference.org

• Search algorithms
• Game artificial intelligence
• Combinatorial optimization
• Mathematics
• Information science
• Information retrieval
• Artificial intelligence
• Routing algorithms
• Automated planning and scheduling
• A* search algorithm
• Heuristic
• Incremental heuristic search

Copy Distribution (Application Fee $Applicant Planning Department Road Department

Source URL: montezumacounty.org

• Property law
• Easement
• Freedom to roam
• Land tenure
• Real property law
• Real estate
• Land lot
• Driveway
• Land law

Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst

Source URL: icaps16.icaps-conference.org

• Artificial intelligence
• Cognitive science
• Automated planning and scheduling
• Statistical natural language processing
• Hierarchical task network
• Activity recognition
• STRIPS
• Latent Dirichlet allocation
• Intelligence
• Action selection
• Topic model
• Robot