Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mikhail Soutchanski
@inproceedings{DBLP:conf/aiia/MathewS23,
author = {Shaun Mathew and
Mikhail Soutchanski},
editor = {Riccardo De Benedictis and
Matteo Castiglioni and
Diodato Ferraioli and
Vadim Malvone and
Marco Maratea and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic
Programming},
booktitle = {Proceedings of the the Italian Workshop on Planning and Scheduling,
{RCRA} Workshop on Experimental evaluation of algorithms for solving
problems with combinatorial explosion, and {SPIRIT} Workshop on Strategies,
Prediction, Interaction, and Reasoning in Italy {(IPS-RCRA-SPIRIT}
2023) co-located with 22nd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2023, November 7-9th,
2023, Rome, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3585},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3585/paper5\_IPS1.pdf},
timestamp = {Tue, 02 Jan 2024 17:44:44 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MathewS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SoutchanskiY23,
author = {Mikhail Soutchanski and
Ryan Young},
editor = {Riccardo De Benedictis and
Matteo Castiglioni and
Diodato Ferraioli and
Vadim Malvone and
Marco Maratea and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {Planning as Theorem Proving with Heuristics},
booktitle = {Proceedings of the the Italian Workshop on Planning and Scheduling,
{RCRA} Workshop on Experimental evaluation of algorithms for solving
problems with combinatorial explosion, and {SPIRIT} Workshop on Strategies,
Prediction, Interaction, and Reasoning in Italy {(IPS-RCRA-SPIRIT}
2023) co-located with 22nd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2023, November 7-9th,
2023, Rome, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3585},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3585/paper10\_RCRA6.pdf},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/SoutchanskiY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-13638,
author = {Mikhail Soutchanski and
Ryan Young},
title = {Planning as Theorem Proving with Heuristics},
journal = {CoRR},
volume = {abs/2303.13638},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.13638},
doi = {10.48550/ARXIV.2303.13638},
eprinttype = {arXiv},
eprint = {2303.13638},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-13638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Banihashemi0S22,
author = {Bita Banihashemi and
Shakil M. Khan and
Mikhail Soutchanski},
title = {From Actions to Programs as Abstract Actual Causes},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5470--5478},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20485},
doi = {10.1609/AAAI.V36I5.20485},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Banihashemi0S22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Banihashemi0S21,
author = {Bita Banihashemi and
Shakil M. Khan and
Mikhail Soutchanski},
editor = {Joaqu{\'{\i}}n Arias and
Fabio Aurelio D'Asaro and
Abeer Dyoub and
Gopal Gupta and
Markus Hecher and
Emily LeBlanc and
Rafael Pe{\~{n}}aloza and
Elmer Salazar and
Ari Saptawijaya and
Felix Weitk{\"{a}}mper and
Jessica Zangari},
title = {When is a Program an Actual Cause?},
booktitle = {Proceedings of the International Conference on Logic Programming 2021
Workshops co-located with the 37th International Conference on Logic
Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2970},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2970/causalpaper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Banihashemi0S21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-11588,
author = {Vitaliy Batusov and
Mikhail Soutchanski},
title = {A Logical Semantics for {PDDL+}},
journal = {CoRR},
volume = {abs/2111.11588},
year = {2021},
url = {https://arxiv.org/abs/2111.11588},
eprinttype = {arXiv},
eprint = {2111.11588},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-11588.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/0001S20,
author = {Shakil M. Khan and
Mikhail Soutchanski},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Necessary and Sufficient Conditions for Actual Root Causes},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {800--808},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200169},
doi = {10.3233/FAIA200169},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/0001S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/BatusovGS19,
author = {Vitaliy Batusov and
Giuseppe De Giacomo and
Mikhail Soutchanski},
editor = {Marie{-}Jean Meurs and
Frank Rudzicz},
title = {Hybrid Temporal Situation Calculus},
booktitle = {Advances in Artificial Intelligence - 32nd Canadian Conference on
Artificial Intelligence, Canadian {AI} 2019, Kingston, ON, Canada,
May 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11489},
pages = {173--185},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18305-9\_14},
doi = {10.1007/978-3-030-18305-9\_14},
timestamp = {Thu, 28 Sep 2023 12:27:18 +0200},
biburl = {https://dblp.org/rec/conf/ai/BatusovGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/0001S19,
author = {Shakil M. Khan and
Mikhail Soutchanski},
editor = {Marie{-}Jean Meurs and
Frank Rudzicz},
title = {Towards Causal Analysis of Protocol Violations},
booktitle = {Advances in Artificial Intelligence - 32nd Canadian Conference on
Artificial Intelligence, Canadian {AI} 2019, Kingston, ON, Canada,
May 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11489},
pages = {359--365},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18305-9\_30},
doi = {10.1007/978-3-030-18305-9\_30},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ai/0001S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BatusovS19,
author = {Vitaliy Batusov and
Mikhail Soutchanski},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {A Logical Semantics for {PDDL+}},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {40--48},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3548},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/BatusovS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BatusovGS19,
author = {Vitaliy Batusov and
Giuseppe De Giacomo and
Mikhail Soutchanski},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Hybrid temporal situation calculus},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1162--1164},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297578},
doi = {10.1145/3297280.3297578},
timestamp = {Sun, 02 Jun 2019 21:18:38 +0200},
biburl = {https://dblp.org/rec/conf/sac/BatusovGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1910-14217,
author = {Shakil M. Khan and
Mikhail Soutchanski},
editor = {Georgiana Caltais and
Jean Krivine},
title = {Towards {A} Logical Account of Epistemic Causality},
booktitle = {Proceedings of the 4th Workshop on Formal Reasoning about Causation,
Responsibility, and Explanations in Science and Technology, CREST@ETAPS
2019, Prague, Czech Republic, 7th April 2019},
series = {{EPTCS}},
volume = {308},
pages = {1--16},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.308.1},
doi = {10.4204/EPTCS.308.1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-14217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BatusovS18,
author = {Vitaliy Batusov and
Mikhail Soutchanski},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Situation Calculus Semantics for Actual Causality},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1744--1752},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11561},
doi = {10.1609/AAAI.V32I1.11561},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BatusovS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-04861,
author = {Vitaliy Batusov and
Giuseppe De Giacomo and
Mikhail Soutchanski},
title = {Hybrid Temporal Situation Calculus},
journal = {CoRR},
volume = {abs/1807.04861},
year = {2018},
url = {http://arxiv.org/abs/1807.04861},
eprinttype = {arXiv},
eprint = {1807.04861},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-04861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/PonomaryovS17,
author = {Denis K. Ponomaryov and
Mikhail Soutchanski},
title = {Progression of Decomposed Local-Effect Action Theories},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {2},
pages = {16:1--16:41},
year = {2017},
url = {https://doi.org/10.1145/3091119},
doi = {10.1145/3091119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/PonomaryovS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/commonsense/BatusovS17,
author = {Vitaliy Batusov and
Mikhail Soutchanski},
editor = {Andrew S. Gordon and
Rob Miller and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {Situation Calculus Semantics for Actual Causality},
booktitle = {Proceedings of the Thirteenth International Symposium on Commonsense
Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2052},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2052/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/commonsense/BatusovS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PonomaryovS17,
author = {Denis K. Ponomaryov and
Mikhail Soutchanski},
title = {Progression of Decomposed Local-Effect Action Theories},
journal = {CoRR},
volume = {abs/1705.04712},
year = {2017},
url = {http://arxiv.org/abs/1705.04712},
eprinttype = {arXiv},
eprint = {1705.04712},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PonomaryovS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/MasoumiAS15,
author = {Arman Masoumi and
Megan Antoniazzi and
Mikhail Soutchanski},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Modeling Organic Chemistry and Planning Organic Synthesis},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {176--195},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/493z},
doi = {10.29007/493Z},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/MasoumiAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseGS15,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Mikhail Soutchanski},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {On the Undecidability of the Situation Calculus Extended with Description
Logic Ontologies},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2840--2846},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/402},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CalvaneseGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PonomaryovS13,
author = {Denis K. Ponomaryov and
Mikhail Soutchanski},
editor = {Marie desJardins and
Michael L. Littman},
title = {Progression of Decomposed Situation Calculus Theories},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {810--817},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8612},
doi = {10.1609/AAAI.V27I1.8612},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PonomaryovS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MasoumiMS13,
author = {Arman Masoumi and
Andrea Marrella and
Mikhail Soutchanski},
editor = {Laura Giordano and
Stefania Montani and
Daniele Theseider Dupr{\'{e}}},
title = {Towards a Planning-Based Approach to the Automated Design of Chemical
Processes},
booktitle = {Proceedings of the Workshop {AI} Meets Business Processes 2013 co-located
with the 13th Conference of the Italian Association for Artificial
Intelligence (AI*IA 2013), Turin, Italy, December 6, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1101},
pages = {61--70},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1101/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MasoumiMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/LiaskosKSM13,
author = {Sotirios Liaskos and
Shakil M. Khan and
Mikhail Soutchanski and
John Mylopoulos},
editor = {Wilfred Ng and
Veda C. Storey and
Juan Trujillo},
title = {Modeling and Reasoning with Decision-Theoretic Goals},
booktitle = {Conceptual Modeling - 32th International Conference, {ER} 2013, Hong-Kong,
China, November 11-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8217},
pages = {19--32},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41924-9\_3},
doi = {10.1007/978-3-642-41924-9\_3},
timestamp = {Fri, 22 Mar 2024 08:49:47 +0100},
biburl = {https://dblp.org/rec/conf/er/LiaskosKSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GajderowiczSS13,
author = {Bart Gajderowicz and
Alireza Sadeghian and
Mikhail Soutchanski},
editor = {Fernando Bobillo and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Kenneth J. Laskey and
Thomas Lukasiewicz and
Matthias Nickles and
Michael Pool},
title = {Ontology Enhancement through Inductive Decision Trees},
booktitle = {Uncertainty Reasoning for the Semantic Web II, International Workshops
{URSW} 2008-2010 Held at {ISWC} and UniDL 2010 Held at FLoC, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7123},
pages = {262--281},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35975-0\_14},
doi = {10.1007/978-3-642-35975-0\_14},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GajderowiczSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/MasoumiSM13,
author = {Arman Masoumi and
Mikhail Soutchanski and
Andrea Marrella},
editor = {Adrian Paschke and
Albert Burger and
Paolo Romano and
M. Scott Marshall and
Andrea Splendiani},
title = {Organic Synthesis as Artificial Intelligence Planning},
booktitle = {Proceedings of the 6th International Workshop on Semantic Web Applications
and Tools for Life Sciences, Edinburgh, UK, December 10, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1114},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1114/Session2\_Masoumi.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/swat4ls/MasoumiSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/YehiaS12,
author = {Wael Yehia and
Mikhail Soutchanski},
editor = {Wolfram Burgard and
Kurt Konolige and
Maurice Pagnucco and
Stavros Vassos},
title = {Towards an Expressive Decidable Logical Action Theory},
booktitle = {Cognitive Robotics, Papers from the 2012 {AAAI} Workshop, CogRob@AAAI
2012, Toronto, Ontario, Canada, July 22-23, 2012},
series = {{AAAI} Technical Report},
volume = {{WS-12-06}},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW12/paper/view/5210},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/YehiaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/MasoumiS12,
author = {Arman Masoumi and
Mikhail Soutchanski},
title = {Reasoning about Chemical Reactions Using the Situation Calculus},
booktitle = {Discovery Informatics: The Role of {AI} Research in Innovating Scientific
Processes, Papers from the 2012 {AAAI} Fall Symposium, Arlington,
Virginia, USA, November 2-4, 2012},
series = {{AAAI} Technical Report},
volume = {{FS-12-03}},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/FSS/FSS12/paper/view/5635},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaifs/MasoumiS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SoutchanskiY12,
author = {Mikhail Soutchanski and
Wael Yehia},
editor = {Andrei Voronkov},
title = {Towards an Expressive Practical Logical Action Theory},
booktitle = {Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25,
2012},
series = {EPiC Series in Computing},
volume = {10},
pages = {307--325},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/2m22},
doi = {10.29007/2M22},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SoutchanskiY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/YehiaLLBS12,
author = {Wael Yehia and
Hongkai Liu and
Marcel Lippmann and
Franz Baader and
Mikhail Soutchanski},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Experimental Results on Solving the Projection Problem in Action Formalisms
Based on Description Logics},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/YehiaLLBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/YehiaS12,
author = {Wael Yehia and
Mikhail Soutchanski},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Towards an Expressive Decidable Logical Action Theory},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/YehiaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/YehiaS12,
author = {Wael Yehia and
Mikhail Soutchanski},
editor = {Ian Horrocks and
Mikalai Yatskevich and
Ernesto Jim{\'{e}}nez{-}Ruiz},
title = {Solving the Projection Problem with {OWL2} Reasoners: Experimental
Study},
booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation
(ORE-2012), Manchester, UK, July 1st, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {858},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-858/ore2012\_paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ore/YehiaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinS11,
author = {Fangzhen Lin and
Mikhail Soutchanski},
editor = {Wolfram Burgard and
Dan Roth},
title = {Causal Theories of Actions Revisited},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {235--240},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7851},
doi = {10.1609/AAAI.V25I1.7851},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LinS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/LinS11,
author = {Fangzhen Lin and
Mikhail Soutchanski},
title = {Causal Theories of Actions Revisited},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
{AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
USA, March 21-23, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2410},
timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/LinS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GuS10,
author = {Yilan Gu and
Mikhail Soutchanski},
title = {A description logic based situation calculus},
journal = {Ann. Math. Artif. Intell.},
volume = {58},
number = {1-2},
pages = {3--83},
year = {2010},
url = {https://doi.org/10.1007/s10472-010-9176-z},
doi = {10.1007/S10472-010-9176-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GuS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GuS08,
author = {Yilan Gu and
Mikhail Soutchanski},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Reasoning about Large Taxonomies of Actions},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {931--937},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-148.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GuS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SoutchanskiS08,
author = {Mikhail Soutchanski and
Paulo Santos},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Reasoning about Dynamic Depth Profiles},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {30--34},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-30},
doi = {10.3233/978-1-58603-891-5-30},
timestamp = {Fri, 03 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SoutchanskiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GuS07,
author = {Yilan Gu and
Mikhail Soutchanski},
editor = {Manuela M. Veloso},
title = {Decidable Reasoning in a Modified Situation Calculus},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1891--1897},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/305.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GuS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SoutchanskiPM06,
author = {Mikhail Soutchanski and
Huy Pham and
John Mylopoulos},
title = {Decision Making in Uncertain Real-World Domains Using DT-Golog},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-382.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SoutchanskiPM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SoutchanskiPM06,
author = {Mikhail Soutchanski and
Huy Pham and
John Mylopoulos},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Decision Making in Large-Scale Domains: {A} Case Study},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {773--774},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/SoutchanskiPM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stairs/GuS06,
author = {Yilan Gu and
Mikhail Soutchanski},
editor = {Loris Penserini and
Pavlos Peppas and
Anna Perini},
title = {The Two-Variable Situation Calculus},
booktitle = {{STAIRS} 2006 - Proceedings of the Third Starting {AI} Researchers'
Symposium, Riva del Garda, Trentino, Italy, 2006},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {142},
pages = {144--161},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1877},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stairs/GuS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Soutchanski05,
author = {Mikhail Soutchanski},
title = {High-level robot programming in dynamic and incompletely known environments},
school = {University of Toronto, Canada},
year = {2005},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106199000006196},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Soutchanski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Soutchanski01,
author = {Mikhail Soutchanski},
editor = {Bernhard Nebel},
title = {An On-line Decision-Theoretic Golog Interpreter},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {19--26},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Soutchanski01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BoutilierRST00,
author = {Craig Boutilier and
Raymond Reiter and
Mikhail Soutchanski and
Sebastian Thrun},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Decision-Theoretic, High-Level Agent Programming in the Situation
Calculus},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {355--362},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-055.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BoutilierRST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiacomoRS98,
author = {Giuseppe De Giacomo and
Raymond Reiter and
Mikhail Soutchanski},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {Execution Monitoring of High-Level Robot Programs},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {453--465},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiacomoRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecaiw/SoutchanskiT94,
author = {Mikhail Soutchanski and
Eugenia Ternovskaia},
editor = {Michael J. Wooldridge and
Nicholas R. Jennings},
title = {Logical Formalization of Concurrent Actions for Multi-Agent Systems},
booktitle = {Intelligent Agents, {ECAI-94} Workshop on Agent Theories, Architectures,
and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {890},
pages = {129--144},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58855-8\_8},
doi = {10.1007/3-540-58855-8\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ecaiw/SoutchanskiT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
