Search

Your search keyword '"Bartak, Roman"' showing total 76 results

Search Constraints

Start Over You searched for: Author "Bartak, Roman" Remove constraint Author: "Bartak, Roman" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
76 results on '"Bartak, Roman"'

Search Results

1. Heuristic Learning in Domain-Independent Planning: Theoretical Analysis and Experimental Evaluation

3. 3D Navigation for a Mobile Robot

4. LOUGA: Learning Planning Operators Using Genetic Algorithms

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

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

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

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

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