AIICS

Jonas Kvarnström

All Publications

Show abstracts (where available) BibTeX entries
2018
[60] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2018.
Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters.
In Mathijs de Weerdt, Sven Koenig, Gabriele Röger, Matthijs Spaan, editors, Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), pages 180–189. In series: International Conference on Automated Planning and Scheduling #??. AAAI Press. ISBN: 978-1-57735-797-1.
AAAI Digital Library: http://www.aaai.org/Library/ICAPS/icaps1...
2017
[59] Full text  Oleg Burdakov, Jonas Kvarnström and Patrick Doherty. 2017.
Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles.
Annals of Operations Research, 249(1):163–174. Springer.
DOI: 10.1007/s10479-016-2169-5.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
2016
[58] Full text  Patrick Doherty, Jonas Kvarnström and Andrzej Szalas. 2016.
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs.
In Michael, Loizos; Kakas, Antonis, editors, Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, pages 536–542. In series: Lecture Notes in Computer Science #10021. Springer Publishing Company. ISBN: 978-3-319-48757-1, 978-3-319-48758-8.
DOI: 10.1007/978-3-319-48758-8_36.
[57] Full text  Cyrille Berger, Mariusz Wzorek, Jonas Kvarnström, Gianpaolo Conte, Patrick Doherty and Alexander Eriksson. 2016.
Area Coverage with Heterogeneous UAVs using Scan Patterns.
In 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR): proceedings. In series: 2016 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR) #??. IEEE Robotics and Automation Society. ISBN: 978-1-5090-4349-1.
DOI: 10.1109/SSRR.2016.7784325.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[56] Full text  Patrick Doherty, Jonas Kvarnström, Piotr Rudol, Mariusz Wzorek, Gianpaolo Conte, Cyrille Berger, Timo Hinzmann and Thomas Stastny. 2016.
A Collaborative Framework for 3D Mapping using Unmanned Aerial Vehicles.
In Baldoni, M., Chopra, A.K., Son, T.C., Hirayama, K., Torroni, P., editors, PRIMA 2016: Principles and Practice of Multi-Agent Systems, pages 110–130. In series: Lecture Notes in Computer Science #9862. Springer Publishing Company. ISBN: 978-3-319-44831-2.
DOI: 10.1007/978-3-319-44832-9_7.
Note: Accepted for publication.
[55] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2016.
Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification.
Acta Informatica, 53(6-8):723–752. Springer Publishing Company.
DOI: 10.1007/s00236-015-0248-8.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[54] Full text  Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2016.
A Modeling Framework for Troubleshooting Automotive Systems.
Applied Artificial Intelligence, 30(3):257–296. Taylor & Francis.
DOI: 10.1080/08839514.2016.1156955.
Note: The published article is a shorter version than the version in manuscript form. The status of this article was earlier Manuscript.Funding agencies: Scania CV AB; FFI - Strategic Vehicle Research and Innovation; Excellence Center at Linkoping and Lund in Information Technology (ELLIIT); Research Council (VR) Linnaeus Center CADICS
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
2015
[53] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2015.
Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis.
In Béatrice Duval; Jaap van den Herik; Stephane Loiseau; Joaquim Filipe, editor, Agents and Artificial Intelligence: 6th International Conference, ICAART 2014, Angers, France, March 6–8, 2014, Revised Selected Papers, pages 243–261. In series: Lecture Notes in Computer Science #8946. Springer. ISBN: 978-3-319-25209-4, 978-3-319-25210-0.
DOI: 10.1007/978-3-319-25210-0_15.
[52] Full text  Martin Danelljan, Fahad Shahbaz Khan, Michael Felsberg, Karl Granström, Fredrik Heintz, Piotr Rudol, Mariusz Wzorek, Jonas Kvarnström and Patrick Doherty. 2015.
A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems.
In Lourdes Agapito, Michael M. Bronstein and Carsten Rother, editors, COMPUTER VISION - ECCV 2014 WORKSHOPS, PT I, pages 223–237. In series: Lecture Notes in Computer Science #8925. Springer Publishing Company. ISBN: 978-3-319-16177-8, 978-3-319-16178-5.
DOI: 10.1007/978-3-319-16178-5_15.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
2014
[51] Full text  Patrick Doherty, Jonas Kvarnström, Mariusz Wzorek, Piotr Rudol, Fredrik Heintz and Gianpaolo Conte. 2014.
HDRC3 - A Distributed Hybrid Deliberative/Reactive Architecture for Unmanned Aircraft Systems.
In Kimon P. Valavanis, George J. Vachtsevanos, editors, Handbook of Unmanned Aerial Vehicles, pages 849–952. Springer Science+Business Media B.V.. ISBN: 978-90-481-9706-4, 978-90-481-9707-1.
DOI: 10.1007/978-90-481-9707-1_118.
Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/16541662
Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?qt=worldc...
[50] Oleg Burdakov, Patrick Doherty and Jonas Kvarnström. 2014.
Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance.
In Butenko, S., Pasiliao, E.L., Shylo, V., editors, Examining Robustness and Vulnerability of Networked Systems, pages 26–50. In series: NATO Science for Peace and Security Series - D: Information and Communication Security #37. IOS Press. ISBN: 978-1-61499-390-2, 978-1-61499-391-9.
DOI: 10.3233/978-1-61499-391-9-26.
Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-1-6...
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[49] Full text  Oleg Burdakov, Patrick Doherty and Jonas Kvarnström. 2014.
Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles.
Technical Report. In series: LiTH-MAT-R #2014:09. Linköping University Electronic Press. 16 pages.
[48] Full text  Oleg Burdakov, Patrick Doherty and Jonas Kvarnström. 2014.
Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance.
Technical Report. In series: LiTH-MAT-R #2014:10. Linköping University Electronic Press. 25 pages.
[47] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2014.
Incremental Dynamic Controllability in Cubic Worst-Case Time.
In Cesta, A; Combi, C; Laroussinie, F, editors, Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), pages 17–26. In series: International Workshop on Temporal Representation and Reasoning. Proceedings #??. IEEE Computer Society Digital Library. ISBN: 978-1-4799-4227-5.
DOI: 10.1109/TIME.2014.13.
[46] Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2014.
Efficient IDC: A Faster Incremental Dynamic Controllability Algorithm.
In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS), pages 199–207. AAAI Press. ISBN: 978-1-57735-660-8.
[45] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2014.
Classical Dynamic Controllability Revisited: A Tighter Bound on the Classical Algorithm.
In Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART), pages 130–141. ISBN: 978-989-758-015-4.
DOI: 10.5220/0004815801300141.
2013
[44] Full text  Patrick Doherty, Fredrik Heintz and Jonas Kvarnström. 2013.
Robotics, Temporal Logic and Stream Reasoning.
In Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013.
[43] Full text  Patrick Doherty, Fredrik Heintz and Jonas Kvarnström. 2013.
High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation.
Unmanned Systems, 1(1):75–119. World Scientific.
DOI: 10.1142/S2301385013500052.
[42] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2013.
Stream-Based Hierarchical Anchoring.
Künstliche Intelligenz, 27(2):119–128. Springer.
DOI: 10.1007/s13218-013-0239-2.
[41] Full text  Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2013.
Exploiting Fully Observable and Deterministic Structures in Goal POMDPs.
In Daniel Borrajo, Subbarao Kambhampati, Angelo Oddi, Simone Fratini, editors, Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS), pages 242–250. AAAI Press. ISBN: 978-1-57735-609-7.
Link to full text: http://www.aaai.org/ocs/index.php/ICAPS/...
[40] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2013.
Incremental Dynamic Controllability Revisited.
In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. ISBN: 978-1-57735-609-7.
2012
[39] Full text  Patrick Doherty, Jonas Kvarnström and Andrzej Szalas. 2012.
Temporal Composite Actions with Constraints.
In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 478–488. AAAI Press. ISBN: 978-1-57735-560-1, 978-1-57735-561-8.
Link: http://www.aaai.org/ocs/index.php/KR/KR1...
2011
[38] Full text  Jonas Kvarnström. 2011.
Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining.
In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert, editors, Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS), pages 138–145. AAAI Press. ISBN: 978-1-57735-503-8, 978-1-57735-504-5.
Fulltext: http://www.aaai.org/ocs/index.php/ICAPS/...
2010
[37] Full text  Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, David Landén and Per-Magnus Olsson. 2010.
Research with Collaborative Unmanned Aircraft Systems.
In Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik.
[36] Full text  Mariusz Wzorek, Jonas Kvarnström and Patrick Doherty. 2010.
Choosing Path Replanning Strategies for Unmanned Aircraft Systems.
In Ronen Brafman, Héctor Geffner, Jörg Hoffmann, Henry Kautz, editors, Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS), pages 193–200. AAAI Press. ISBN: 978-1-57735-449-9.
[35] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010.
Stream-Based Reasoning in DyKnow.
In Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik.
[34] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010.
Stream-Based Middleware Support for Embedded Reasoning.
In Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER). AAAI Press. ISBN: 978-157735458-1.
[33] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010.
Stream-Based Reasoning Support for Autonomous Systems.
In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI). In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-605-8.
DOI: 10.3233/978-1-60750-606-5-183.
[32] Full text  Jonas Kvarnström and Patrick Doherty. 2010.
Automated Planning for Collaborative UAV Systems.
In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), pages 1078–1085. IEEE conference proceedings. ISBN: 978-1-4244-7813-2, 978-1-4244-7814-9.
DOI: 10.1109/ICARCV.2010.5707969.
IEEE Explore: http://ieeexplore.ieee.org/xpls/abs_all....
[31] Full text  Per-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov and Kaj Holmberg. 2010.
Generating UAV Communication Networks for Monitoring and Surveillance.
In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010), pages 1070–1077. IEEE conference proceedings. ISBN: 978-1-4244-7814-9.
DOI: 10.1109/ICARCV.2010.5707968.
[30] Full text  Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2010.
Iterative Bounding LAO*.
In Helder Coelho, Rudi Studer and Mike Wooldridge, editors, ECAI 2010: 19th European Conference on Artificial Intelligence - Volume 215 Frontiers in Artificial Intelligence and Applications, pages 341–346. In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-605-8, 978-1-60750-606-5.
DOI: 10.3233/978-1-60750-606-5-341.
[29] Full text  Jonas Kvarnström. 2010.
Planning for Loosely Coupled Agents using Partial Order Forward-Chaining.
In Roland Bol, editor, The Swedish AI Society Workshop 2010, SAIS 2010, pages 45–54. In series: Linköping Electronic Conference Proceedings #48. Linköping University Electronic Press, Linköpings universitet.
Fulltext: http://www.ep.liu.se/ecp/048/009/ecp1048...
[28] Full text  Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson. 2010.
Relay Positioning for Unmanned Aerial Vehicle Surveillance.
The international journal of robotics research, 29(8):1069–1087. Sage Publications.
DOI: 10.1177/0278364910369463.
[27] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010.
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.
Advanced Engineering Informatics, 24(1):14–26. Elsevier.
DOI: 10.1016/j.aei.2009.08.007.
[26] Full text  Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson. 2010.
Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks.
In J. Trinkle, Y. Matsuoka and J.A. Castellanos, editors, Robotics: Science and Systems V, pages 257–264. MIT Press. ISBN: 978-0-262-51463-7.
find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/12536749
Link to publication: http://www.roboticsproceedings.org/rss05...
2009
[25] Full text  Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2009.
Planning as Heuristic Search for Incremental Fault Diagnosis and Repair.
In Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 19th International Conference on Automated Planning and Scheduling (ICAPS).
[24] Full text  Patrick Doherty and Jonas Kvarnström. 2009.
Temporal Action Logics.
In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation, pages 709–757. In series: Foundations of Artificial Intelligence #3. Elsevier. ISBN: 978-0-444-52211-5.
DOI: 10.1016/S1574-6526(07)03018-0.
find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9...
[23] Full text  Patrick Doherty, Jonas Kvarnström and Fredrik Heintz. 2009.
A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems.
Autonomous Agents and Multi-Agent Systems, 19(3):332–377. Springer.
DOI: 10.1007/s10458-009-9079-8.
[22] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2009.
Stream Reasoning in DyKnow: A Knowledge Processing Middleware System.
In Proceedings of the Stream Reasoning Workshop. In series: CEUR Workshop Proceedings #466. M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.
[21] Fredrik Heintz and Jonas Kvarnström. 2009.
Proceedings of the Swedish AI Society Workshop 2009.
Conference Proceedings. In series: Linköping Electronic Conference Proceedings #35. Linköping University Electronic Press, Linköpings universitet. 65 pages.
Link to Book: http://www.ep.liu.se/ecp/035/
[20] Full text  Martin Magnusson, Jonas Kvarnström and Patrick Doherty. 2009.
Abductive Reasoning with Filtered Circumscription.
In Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC). UTSePress. ISBN: 978-0-9802840-7-2.
[19] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2009.
A Stream-Based Hierarchical Anchoring Framework.
In Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS). IEEE conference proceedings. ISBN: 978-1-4244-3803-7.
DOI: 10.1109/IROS.2009.5354372.
IEEE Xplore: http://ieeexplore.ieee.org/stamp/stamp.j...
2008
[18] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2008.
Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing.
In Martin Hulse and Manfred Hild, editors, IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms.
Note: No proceedings, but CD
[17] Full text  Jonas Kvarnström, Fredrik Heintz and Patrick Doherty. 2008.
A Temporal Logic-Based Planning and Execution Monitoring System.
In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. ISBN: 978-1-57735-386-7, 978-1-57735-387-4.
[16] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2008.
Knowledge Processing Middleware.
In S. Carpin, I. Noda, E. Pagello, M. Reggiani and O. von Stryk, editors, Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), pages 147–158. In series: Lecture Notes in Computer Science #5325. Springer. ISBN: 978-3-540-89075-1, 978-3-540-89076-8.
DOI: 10.1007/978-3-540-89076-8_17.
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
2005
[15] Full text  Jonas Kvarnström. 2005.
TALplanner and other extensions to Temporal Action Logic.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #937. Linköpings universitet. 302 pages. ISBN: 91-85297-75-5.
2004
[14] Full text  Joakim Gustafsson and Jonas Kvarnström. 2004.
Elaboration tolerance through object-orientation.
Artificial Intelligence, 153(1-2):239–285. Elsevier.
DOI: 10.1016/j.artint.2003.08.004.
2003
[13] Full text  Jonas Kvarnström and Martin Magnusson. 2003.
TALplanner in the Third International Planning Competition: Extensions and control rules.
The journal of artificial intelligence research, 20(??):343–377. AAAI Press.
DOI: 10.1613/jair.1189.
2002
[12] Full text  Jonas Kvarnström. 2002.
Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner.
In Malik Ghallab, Joachim Hertzberg, and Paolo Traverso, editors, Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS). AAAI Press. ISBN: 0-57735-142-8.
DOI: 10.3233/978-1-60750-606-5-341.
2001
[11] Full text  Joakim Gustafsson and Jonas Kvarnström. 2001.
Elaboration Tolerance through Object-Orientation.
In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense).
[10] Full text  Patrick Doherty and Jonas Kvarnström. 2001.
TALPLANNER - A temporal logic-based planner.
The AI Magazine, 22(3):95–102. AAAI Press.
2000
[9] Full text  Patrick Doherty and Jonas Kvarnström. 2000.
TALplanner: A temporal logic based forward chaining planner.
Annals of Mathematics and Artificial Intelligence, 30(1-4):119–169. Springer.
DOI: 10.1023/A:1016619613658.
[8] Full text  Jonas Kvarnström and Patrick Doherty. 2000.
Tackling the qualification problem using fluent dependency constraints.
Computational intelligence, 16(2):169–209. Blackwell Publishing.
DOI: 10.1111/0824-7935.00111.
[7] Full text  Jonas Kvarnström, Patrick Doherty and Patrik Haslum. 2000.
Extending TALplanner with concurrency and resources.
In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), pages 501–505. In series: Frontiers in Artificial Intelligence and Applications #54. IOS Press. ISBN: 4274903885, 1586030132.
Link: http://swepub.kb.se/bib/swepub:oai:DiVA....
1999
[6] Full text  Patrick Doherty and Jonas Kvarnström. 1999.
TALplanner: An empirical investigation of a temporal logic-based forward chaining planner.
In Clare Dixon, Michael Fisher, editors, 6th International Workshop on Temporal Representation and Reasoning (TIME-99). IEEE Computer Society. ISBN: 0-7695-0173-7.
1998
[5] Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnström. 1998.
TAL: Temporal Action Logics Language <> Specification and Tutorial.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:15. Linköping University Electronic Press. Original 32 and 1st Revised 32 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2770094
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010158
[4] Full text  Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnström. 1998.
(TAL) temporal action logics: Language specification and tutorial.
Electronic Transactions on Artifical Intelligence, 2(3-4):273–306.
Link: http://www.ep.liu.se/ej/etai/1998/009/
[3] Full text  Patrick Doherty and Jonas Kvarnström. 1998.
Tackling the qualification problem using fluent dependency constraints.
In Lina Khatib, Robert Morris, editors, Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98). IEEE Computer Society. ISBN: 0-8186-8473-9.
Note: Preliminary report
1997
[2] Patrick Doherty and Jonas Kvarnström. 1997.
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:16. Linköping University Electronic Press. 14 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477087
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011611
1996
[1] Jonas Kvarnström. 1996.
A New Tractable Planner for the SAS+ Formalism.
Student Thesis. In series: LiTH-IDA-Ex #9625. 283 pages. ISRN: LiTH-IDA-Ex-9625.