Planning with Regression Analysis in Transaction Logic-Reference-Cited by-同舟云学术

Planning with Regression Analysis in Transaction Logic

Published:2015 Issue: Volume: Page:45-60
ISSN:0302-9743
Container-title:Web Reasoning and Rule Systems
language:
Short-container-title:

Author:

Basseda Reza,Kifer Michael

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-22002-4_5

Reference30 articles.

1. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(12), 123–191 (2000). http://www.sciencedirect.com/science/article/pii/S0004370299000715

2. Lecture Notes in Computer Science;R Basseda,2014

3. Bonet, B., van den Briel, M.: Flow-based heuristics for optimal planning: landmarks and merges. In: Chien, S., Do, M.B., Fern, A., Ruml, W. (eds.) Proceedings of the Twenty Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014. AAAI, Portsmouth (2014). http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7933

4. Bonet, B., Geffner, H.: Planning as heuristic search. Artif. Intell. 129(1–2), 5–33 (2001). http://dx.doi.org/10.1016/S0004-3702(01)00108-4

5. Bonner, A., Kifer, M.: Transaction logic programming. In: International Conference on Logic Programming, pp. 257–282. MIT Press, Budaspest (1993)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Non-commutative propositional logic with short-circuit evaluation;Journal of Applied Non-Classical Logics;2021-10-02

2. Formalizing Goal Serializability for Evaluation of Planning Features;Logics in Artificial Intelligence;2016

3. Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic;Logic Programming and Nonmonotonic Reasoning;2015