den Hengst, Floris; François-Lavet, Vincent; Hoogendoorn, Mark; van Harmelen, Frank Planning for potential: efficient safe reinforcement learning. (English) Zbl 07570157 Mach. Learn. 111, No. 6, 2255-2274 (2022). MSC: 68T05 PDF BibTeX XML Cite \textit{F. den Hengst} et al., Mach. Learn. 111, No. 6, 2255--2274 (2022; Zbl 07570157) Full Text: DOI
Pinkas, Gadi; Cohen, Shimon High-order networks that learn to satisfy logic constraints. (English) Zbl 1514.68260 J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 4, 653-693 (2019). MSC: 68T05 68T20 PDF BibTeX XML Cite \textit{G. Pinkas} and \textit{S. Cohen}, J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 4, 653--693 (2019; Zbl 1514.68260) Full Text: arXiv
Á. Torralba, Álvaro; López, Carlos Linares; Borrajo, Daniel Symbolic perimeter abstraction heuristics for cost-optimal planning. (English) Zbl 1445.68199 Artif. Intell. 259, 1-31 (2018). MSC: 68T20 68Q60 PDF BibTeX XML Cite \textit{Á. Á. Torralba} et al., Artif. Intell. 259, 1--31 (2018; Zbl 1445.68199) Full Text: DOI
Panina, Gaiane; Siersma, Dirk Motion planning and control of a planar polygonal linkage. (English) Zbl 1390.68726 J. Symb. Comput. 88, 5-20 (2018). MSC: 68U05 68W30 PDF BibTeX XML Cite \textit{G. Panina} and \textit{D. Siersma}, J. Symb. Comput. 88, 5--20 (2018; Zbl 1390.68726) Full Text: DOI arXiv
Torralba, Álvaro; Alcázar, Vidal; Kissmann, Peter; Edelkamp, Stefan Efficient symbolic search for cost-optimal planning. (English) Zbl 1392.68391 Artif. Intell. 242, 52-79 (2017). MSC: 68T20 PDF BibTeX XML Cite \textit{Á. Torralba} et al., Artif. Intell. 242, 52--79 (2017; Zbl 1392.68391) Full Text: DOI
Karimoddini, Ali; Lin, Hai Hierarchical hybrid symbolic robot motion planning and control. (English) Zbl 1332.93271 Asian J. Control 17, No. 1, 23-33 (2015). MSC: 93C85 93A13 93B40 68W30 PDF BibTeX XML Cite \textit{A. Karimoddini} and \textit{H. Lin}, Asian J. Control 17, No. 1, 23--33 (2015; Zbl 1332.93271) Full Text: DOI
Brass, Peter; Vigan, Ivo; Xu, Ning Shortest path planning for a tethered robot. (English) Zbl 1371.70004 Comput. Geom. 48, No. 9, 732-742 (2015). MSC: 70B15 68W30 70E60 PDF BibTeX XML Cite \textit{P. Brass} et al., Comput. Geom. 48, No. 9, 732--742 (2015; Zbl 1371.70004) Full Text: DOI
Dolzmann, Andreas; Weispfenning, Volker Multiple object semilinear motion planning. (English) Zbl 1119.68200 J. Symb. Comput. 42, No. 3, 324-337 (2007). MSC: 68T40 68U05 68W30 03C10 PDF BibTeX XML Cite \textit{A. Dolzmann} and \textit{V. Weispfenning}, J. Symb. Comput. 42, No. 3, 324--337 (2007; Zbl 1119.68200) Full Text: DOI
Jee, Kyung-Wook; McShan, Daniel L.; Fraass, Benedick A. Implementation of automatic differentiation tools for multicriteria IMRT optimization. (English) Zbl 1270.90062 Bücker, Martin (ed.) et al., Automatic differentiation: Applications, theory, and implementations. Selected papers based on the presentation at the 4th international conference on automatic differentiation (AD), Chicago, IL, USA, July 20–23, 2004. Berlin: Springer (ISBN 3-540-28403-6/pbk). Lecture Notes in Computational Science and Engineering 50, 225-234 (2006). MSC: 90C29 68W30 PDF BibTeX XML Cite \textit{K.-W. Jee} et al., Lect. Notes Comput. Sci. Eng. 50, 225--234 (2006; Zbl 1270.90062)
Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo Strong planning under partial observability. (English) Zbl 1131.68095 Artif. Intell. 170, No. 4-5, 337-384 (2006). MSC: 68T20 PDF BibTeX XML Cite \textit{P. Bertoli} et al., Artif. Intell. 170, No. 4--5, 337--384 (2006; Zbl 1131.68095) Full Text: DOI
Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge Computer supported mathematics with \(\Omega\)MEGA. (English) Zbl 1107.68101 J. Appl. Log. 4, No. 4, 533-559 (2006). MSC: 68T15 68W30 PDF BibTeX XML Cite \textit{J. Siekmann} et al., J. Appl. Log. 4, No. 4, 533--559 (2006; Zbl 1107.68101) Full Text: DOI
Koussoulas, Nick T.; Skiadas, Photis Symbolic computation for mobile robot path planning. (English) Zbl 1137.70309 J. Symb. Comput. 37, No. 6, 761-775 (2004). MSC: 70B15 68T40 68U05 68W30 70-04 PDF BibTeX XML Cite \textit{N. T. Koussoulas} and \textit{P. Skiadas}, J. Symb. Comput. 37, No. 6, 761--775 (2004; Zbl 1137.70309) Full Text: DOI
Cimatti, A.; Roveri, M.; Bertoli, P. Conformant planning via symbolic model checking and heuristic search. (English) Zbl 1086.68591 Artif. Intell. 159, No. 1-2, 127-206 (2004). MSC: 68T20 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Artif. Intell. 159, No. 1--2, 127--206 (2004; Zbl 1086.68591) Full Text: DOI
Koenig, Sven; Likhachev, Maxim; Furcy, David Lifelong planning \(\text{A}^*\). (English) Zbl 1085.68674 Artif. Intell. 155, No. 1-2, 93-146 (2004). MSC: 68T20 PDF BibTeX XML Cite \textit{S. Koenig} et al., Artif. Intell. 155, No. 1--2, 93--146 (2004; Zbl 1085.68674) Full Text: DOI
Cimatti, A.; Pistore, M.; Roveri, M.; Traverso, P. Weak, strong, and strong cyclic planning via symbolic model checking. (English) Zbl 1082.68800 Artif. Intell. 147, No. 1-2, 35-84 (2003). MSC: 68T20 68Q05 68Q60 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Artif. Intell. 147, No. 1--2, 35--84 (2003; Zbl 1082.68800) Full Text: DOI
Meier, Andreas; Pollet, Martin; Sorge, Volker Comparing approaches to the exploration of the domain of residue classes. (English) Zbl 1038.68110 J. Symb. Comput. 34, No. 4, 287-306 (2002). MSC: 68T15 68W30 PDF BibTeX XML Cite \textit{A. Meier} et al., J. Symb. Comput. 34, No. 4, 287--306 (2002; Zbl 1038.68110) Full Text: DOI Link
Weispfenning, Volker Semilinear motion planning among moving objects in REDLOG. (English) Zbl 1021.68110 Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing, CASC 2001. Proceedings of the 4th international workshop, Konstanz, Germany, September 22-26, 2001. Berlin: Springer. 541-553 (2001). MSC: 68W30 PDF BibTeX XML Cite \textit{V. Weispfenning}, in: Computer algebra in scientific computing, CASC 2001. Proceedings of the 4th international workshop, Konstanz, Germany, September 22--26, 2001. Berlin: Springer. 541--553 (2001; Zbl 1021.68110)
Sorge, Volker Non-trivial symbolic computations in proof planning. (English) Zbl 0962.68152 Kirchner, Hélène (ed.) et al., Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1794, 121-135 (2000). MSC: 68T15 68W30 PDF BibTeX XML Cite \textit{V. Sorge}, Lect. Notes Comput. Sci. 1794, 121--135 (2000; Zbl 0962.68152)
Pellegrini, Marco On point location and motion planning among simplices. (English) Zbl 0861.68018 SIAM J. Comput. 25, No. 5, 1061-1081 (1996). MSC: 68P05 68Q25 68W30 68U05 PDF BibTeX XML Cite \textit{M. Pellegrini}, SIAM J. Comput. 25, No. 5, 1061--1081 (1996; Zbl 0861.68018) Full Text: DOI
Guyon, C. Motion planning problem: Parametrized inputs and drift problem. (English) Zbl 1037.93521 Math. Comput. Simul. 42, No. 4-6, 693-706 (1996). MSC: 93C85 22E99 68W30 70F25 70Q05 93B40 PDF BibTeX XML Cite \textit{C. Guyon}, Math. Comput. Simul. 42, No. 4--6, 693--706 (1996; Zbl 1037.93521) Full Text: DOI
Hanks, Steve; McDermott, Drew Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change. (English) Zbl 0803.68121 Artif. Intell. 66, No. 1, 1-55 (1994). MSC: 68T20 68T15 PDF BibTeX XML Cite \textit{S. Hanks} and \textit{D. McDermott}, Artif. Intell. 66, No. 1, 1--55 (1994; Zbl 0803.68121) Full Text: DOI
Davenport, J. H. A ”Piano movers” problem. (English) Zbl 0623.68036 SIGSAM Bull. 20, No. 1-2, 15-17 (1986). Reviewer: J.Weinstein MSC: 68W30 51M99 PDF BibTeX XML Cite \textit{J. H. Davenport}, SIGSAM Bull. 20, No. 1--2, 15--17 (1986; Zbl 0623.68036) Full Text: DOI
[Guiho, G.; McDermott, J.; Colmerrauer, A.; Gazdar, G.; Wos, L.; Mitchell, T. M.; Samuel, A. L.; Barstow, D.; Rosenschein, S.; Mackworth, A.; Kowalsky, R.; Gallaire, H.; Yokoi, T.; Dewar, R.; Nilsson, N. J.; Cook, S. B.; Kay, A. C.; Duchin, F.; Boden, M. A.; Chamot, D.; Reiter, R.; King, J. J.; Mylopoulos, J.; Webber, B. L.] Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI-83), 8-12 August 1983, Karlsruhe, West Germany. Vols. 1, 2. Sponsored by: International Joint Conferences on Artificial Intelligence, Inc. Cosponsored by: Gesellschaft für Informatik; Society for the Study of Artificial Intelligence and the Simulation of Behaviour; Nederlandse Vereniging voor Kunstmatige Intelligentie. (German) Zbl 0536.68074 Los Altos, California: International Joint Conferences on Artificial Intelligence. William Kaufmann, Inc. XIX, 1208 p., I-15 £46.95 (1983). Reviewer: N.Curteanu MSC: 68Txx 68-06 68-02 68T50 68W30 68T05 68T10 68T15 68T20 68T99 68Q55 68N20 PDF BibTeX XML