76 results on '"Bartak, Roman"'
Search Results
2. Interactive Visualization in Planning and Scheduling
3. 3D Navigation for a Mobile Robot
4. LOUGA: Learning Planning Operators Using Genetic Algorithms
5. Multi-agent Path Finding on Real Robots: First Experience with Ozobots
6. On Verification of Workflow and Planning Domain Models Using Attribute Grammars
7. Using a Grammar Checker to Validate Compliance of Processes with Workflow Models
8. Hierarchical Task Model for Resource Failure Recovery in Production Scheduling
9. Applications of Temporal Reasoning
10. Extensions: Preferences and Uncertainty
11. Temporal Frameworks Based on Constraints
12. Introduction to Time in AI Systems
13. Using Attribute Grammars to Model Nested Workflows with Extra Constraints
14. Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
15. Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints
16. Short-Term Motion Tracking Using Inexpensive Sensors
17. A Constraint-Based Planner for Mars Express Orbiter
18. On Modeling Formalisms for Automated Planning
19. On Modeling Planning Problems: Experience from the Petrobras Challenge
20. Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains
21. Verifying Nested Workflows with Extra Constraints
22. Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming
23. Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms
24. MAK€– A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises
25. On Generating Templates for Hypothesis in Inductive Logic Programming
26. Optimizing Alternatives in Precedence Networks
27. Constraint Models for Reasoning on Unification in Inductive Logic Programming
28. Revisiting Constraint Models for Planning Problems
29. Temporal Reasoning in Nested Temporal Networks with Alternatives
30. Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
31. A Constraint Model for State Transitions in Disjunctive Resources
32. Generating Implied Boolean Constraints Via Singleton Consistency
33. On Generators of Random Quasigroup Problems
34. Minimal Perturbation Problem in Course Timetabling
35. Effective Modeling with Constraints
36. A New Algorithm for Maintaining Arc Consistency After Constraint Retraction
37. Unary Resource Constraint with Optional Activities
38. A New Approach to Modeling and Solving Minimal Perturbation Problems
39. Implementing Propagators for Tabular Constraints
40. Visopt ShopFloor: Going Beyond Traditional Scheduling
41. Visopt ShopFloor: On the Edge of Planning and Scheduling
42. Modelling Resource Transitions in Constraint-Based Scheduling
43. Dynamic Constraint Models for Planning and Scheduling Problems
44. Constraint Models for Sequential Planning
45. Automated Search for Heuristic Functions
46. Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains
47. Encoding HTN Planning as a Dynamic CSP
48. Filtering Algorithms for the NValue Constraint
49. Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles
50. Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.