Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Ghourabi, Fadoua"'
Autor:
Ghourabi, Fadoua, Takahashi, Kazuko
We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.
Comment: Proofs available
Comment: Proofs available
Externí odkaz:
http://arxiv.org/abs/1804.01637
Publikováno v:
In Journal of Symbolic Computation July-August 2015 69:93-108
Publikováno v:
In Journal of Symbolic Computation 2011 46(5):571-583
Publikováno v:
Automated Deduction in Geometry (9783642406713); 2013, p143-160, 18p
Publikováno v:
2013 15th International Symposium on Symbolic & Numeric Algorithms for Scientific Computing; 2013, p12-19, 8p
Publikováno v:
Proceedings of the 2011 ACM Symposium: Applied Computing; 3/21/2011, p1106-1111, 6p
Publikováno v:
Proceedings of the 2007 ACM Symposium: Applied Computing; 3/11/2007, p767-772, 6p
Autor:
Iglesias, Andrés, Takayama, Nobuki, Ida, Tetsuo, Takahashi, Hidekazu, Marin, Mircea, Ghourabi, Fadoua, Kasem, Asem
Publikováno v:
Mathematical Software - ICMS 2006; 2006, p361-372, 12p
Autor:
Phil Scott, Jacques Fleuriot
Publikováno v:
Scott, P & Fleuriot, J 2016, Compass-free Navigation of Mazes . in J H Davenport & F Ghourabi (eds), SCSS 2016, 7th International Symposium on Symbolic Computation in Software Science . vol. 39, EPiC Series in Computing, vol. 39, EasyChair, pp. 143-155, 7th International Symposium on Symbolic Computation in Software Science, Tokyo, Japan, 28/03/16 . < http://www.easychair.org/publications/download/Compass-free_Navigation_of_Mazes >
SCSS
SCSS
If you find yourself in a corridor of a standard maze, a sure and easy way to escapeis to simply pick the left (or right) wall, and then follow it along its twists andturns and around the dead-ends till you eventually arrive at the exit. But whathapp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b5a02f6d3a2a0491cb3e1a1484ade76
https://hdl.handle.net/20.500.11820/a741996a-bb18-4f35-8ed6-b2774eafc857
https://hdl.handle.net/20.500.11820/a741996a-bb18-4f35-8ed6-b2774eafc857