Data processing: financial – business practice – management – or co – Automated electrical financial or business practice or... – Reservation – check-in – or booking display for reserved space
Reexamination Certificate
2011-01-11
2011-11-01
Hayes, John (Department: 3628)
Data processing: financial, business practice, management, or co
Automated electrical financial or business practice or...
Reservation, check-in, or booking display for reserved space
C705S006000
Reexamination Certificate
active
08050949
ABSTRACT:
A method and apparatus for providing an itinerary planner is described. The itinerary planner generates itineraries for visiting locations which are personalized to the user's preferences. Unknown conditions are handled by contingency plans that the itinerary planner generates in an anytime manner. The first itineraries are derived in a short time, and as more computation time is allowed, additional itineraries that better suit the preferences of the user are obtained.
REFERENCES:
patent: 4608656 (1986-08-01), Tanaka et al.
patent: 5115398 (1992-05-01), De Jong
patent: 5161886 (1992-11-01), De Jong et al.
patent: 5255349 (1993-10-01), Thakoor et al.
patent: 5272638 (1993-12-01), Martin et al.
patent: 5274742 (1993-12-01), Morita et al.
patent: 5359529 (1994-10-01), Snider
patent: 5444965 (1995-08-01), Colens
patent: 5467268 (1995-11-01), Sisley et al.
patent: 5557522 (1996-09-01), Nakayama et al.
patent: 5559707 (1996-09-01), DeLorme et al.
patent: 5613055 (1997-03-01), Shimoura et al.
patent: 5623580 (1997-04-01), Inoue et al.
patent: 5629854 (1997-05-01), Schulte
patent: 5636125 (1997-06-01), Rostoker et al.
patent: 5640490 (1997-06-01), Hansen et al.
patent: 5640559 (1997-06-01), Silberbauer et al.
patent: 5642519 (1997-06-01), Martin
patent: 5644656 (1997-07-01), Akra et al.
patent: 5647048 (1997-07-01), Ting et al.
patent: 5652890 (1997-07-01), Foster et al.
patent: 5659555 (1997-08-01), Lee et al.
patent: 5677956 (1997-10-01), Lafe
patent: 5680552 (1997-10-01), Netravali et al.
patent: 5682322 (1997-10-01), Boyle et al.
patent: 5684898 (1997-11-01), Brady et al.
patent: 5694488 (1997-12-01), Hartmann
patent: 5696962 (1997-12-01), Kupiec
patent: 5706400 (1998-01-01), Omlin et al.
patent: 5708829 (1998-01-01), Kadashevich et al.
patent: 5737403 (1998-04-01), Zave
patent: 5737609 (1998-04-01), Reed et al.
patent: 5845228 (1998-12-01), Uekawa et al.
patent: 5890088 (1999-03-01), Nimura et al.
patent: 5897629 (1999-04-01), Shinagawa et al.
patent: 5948040 (1999-09-01), DeLorme et al.
patent: 5961571 (1999-10-01), Gorr et al.
patent: 6003015 (1999-12-01), Kang et al.
patent: 6014518 (2000-01-01), Steensgaard
patent: 6041281 (2000-03-01), Nimura et al.
patent: 6047280 (2000-04-01), Ashby et al.
patent: 6121900 (2000-09-01), Takishita
patent: 6128571 (2000-10-01), Ito et al.
patent: 6128574 (2000-10-01), Diekans
patent: 6148090 (2000-11-01), Narioka
patent: 6163749 (2000-12-01), McDonough et al.
patent: 6178377 (2001-01-01), Ishihara et al.
patent: 6317685 (2001-11-01), Kozak
patent: 6341267 (2002-01-01), Taub
patent: 6477520 (2002-11-01), Malaviya et al.
patent: 6490566 (2002-12-01), Schmidt
patent: 6510383 (2003-01-01), Jones
patent: 6567746 (2003-05-01), Kuroda et al.
patent: 6611738 (2003-08-01), Ruffner
patent: 6622084 (2003-09-01), Cardno et al.
patent: 6636840 (2003-10-01), Goray et al.
patent: 6662105 (2003-12-01), Tada et al.
patent: 6678750 (2004-01-01), Meade et al.
patent: 6789102 (2004-09-01), Gotou et al.
patent: 6937936 (2005-08-01), Nimura
patent: 7239962 (2007-07-01), Plutowski et al.
patent: 2001/0037229 (2001-11-01), Jacobs et al.
patent: 2001/0047287 (2001-11-01), Jacobs et al.
patent: 2002/0055865 (2002-05-01), Hammann
patent: 2002/0174021 (2002-11-01), Chu et al.
patent: 2003/0144934 (2003-07-01), Totten
patent: 2004/0205394 (2004-10-01), Plutowski
patent: 0 932 134 (1999-07-01), None
patent: 63-64508 (1988-03-01), None
patent: 01-237265 (1989-09-01), None
patent: 5-46590 (1993-02-01), None
patent: 8-249617 (1996-09-01), None
patent: 11-064523 (1999-03-01), None
patent: 11-230761 (1999-08-01), None
patent: 2000-050992 (2000-02-01), None
patent: 2000-132535 (2000-05-01), None
patent: 2003-57050 (2003-02-01), None
“How MapQuest Gets You From Here to There,” from http://www.findarticles.com, Nov. 2003.
“MapQuest Releases New Mobile MapQuest Version 3.0—Brief Article—Product Announcement,” from http://www.findarticles.com, Oct. 2001.
“MapQuest.Com Delivers Wireless Driving Directions to Palm Vii Organizer Users,” from http://www.findarticles.com, May 31, 1999.
“Sprint Selects MapQuest.com to Provide Internet-based Driving Directions to Wireless Web Phone Users—Company Business and Marketing,” from http:www.findarticles.com, Sep. 13, 1999.
511 TakeTransitSM Trip Planner, http://www.transitinfo.org/tripplanner/help.asp 5 pgs.
Ahn, John Kwangho, Automatic map name placements system, RPI, Ph.D. Thesis, May 1984, pp. 1-84 (Abstract only).
Bahar, R.I., et al., “Algebraic Decision Diagrams and their Applications,” ICCAD-93: ACM/IEEE International Conference on Computer Aided Design, pp. 188-191, Santa Clara, CA, Nov. 1993.
Bahar, R.I., et al., “An ADD-Based Algorithm for Shortest Path Back-Tracing of Large Graphs,” GLSV: Proceedings Great Lakes Symposium on VLSI (GLSV): Design Automation of High Performance VLSI Systems, 1994.
Baier, C., et al., “Model checking continuous-time Markov chains by transient analysis,” in Proceedings of CAV '00, Springer-Verlag, 2000.
Bertoli, P., et al., “Heuristic Search+Symbolic Model Checking=Efficient Conformant Planning,” Proc. of IJCAI-2001, 2001.
Blythe, Jim, “An Overview of Planning Under Uncertainty,” AI Magazine, 20(2), 1999, pp. 37-54.
Boutilier, C., et al., “Stochastic Dynamic Programming With Factored Representations,” Artificial Intelligence, 2000.
Boutilier, R., et al., “Decision-Theoretic, High-level Agent Programming in the Situation Calculus,” AAAI-2000, Seventeenth National Conference on Artificial Intelligence, Austin, Texas, Jul. 30-Aug. 2, 2000.
Burch, J.R., et al., “Symbolic Model Checking for Sequential Circuit Verification,” Jul. 15, 1993, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 13(4):401-424, 1994.
Chan, W., et al., “Model Checking Large Software Specifications,” Software Engineering Notes, 21(6):156-166, Nov. 1996.
Cimatti, A., et al., “Conformant Planning via Model Checking,” in ECP, 1999, pp. 21-34.
Cimatti, A., et al., “Planning via model checking: A decision procedure for {AR},” in ECP, 1997, pp. 130-142.
Cleaveland, R., et al., “The Concurrency Workbench: a Semantic Based Tool for the Verification of Concurrent Systems,” Sep. 13, 1994, in Proceedings of CAV '00, pp. 36-72.
Cohen, Alan, “A MapQuest Road Trip,” PC Magazine, Jun. 2003, from http://www.findarticles.com.
Draper, D., et al., “Probabilistic Planning with Information Gathering and Contingent Execution,” in Proceedings of AIPS94, pp. 31-36, 1994.
Eiter, T., et al., “Planning under Incomplete Knowledge,” vol. 1861, 2000.
Feng, Z., et al., “Symbolic Heuristic Search for Factored Markov Decision Processes,” in Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02), Edmonton, Alberta, Canada, Jul. 2002.
Feng, Z., et al., “Symbolic LAO Search for Factored Markov Decision Processes,” AIPS 2002 Workshop on Planning via Model Checking, Toulouse, France, Apr. 23, 2002.
Fetch Technologies, http://www.fetch.com/technology.asp, 2 pgs.
Finzi, A., et al., “Open World Planning in the Situation Calculus,” in Proceedings of AAAI 2000, 2000.
Gallanis, Peter J., “AAIW awash with innovation,” from http://www.findarticles.com, Nov. 22, 1999.
Giunchiglia, E., et al., “Representing Action: Indeterminacy and Ramifications,” Artificial Intelligence, 95(2): 409-438, 1997.
Goldman, Robert P., “Conditional Linear Planning,” in K. Hammond, editor, Proceedings of 2nd International Conference on AI Planning Systems, American Association for Artificial Intelligence, pp. 80-85, Menlo Park, California, 1994.
Hansen, E., et al., “'LAO: A heuristic search algorithm that finds solutions with loops,” Artificial Intelligence 129, Elsevier Science, pp. 35-62, 2001.
Havelund, K., et al., “Model Checking Java Programs using Java PathFi
Plutowski Mark Earl
Purang Khemdut
Blakely , Sokoloff, Taylor & Zafman LLP
Hayes John
Joseph Tonya
Sony Corporation
Sony Electronics Inc.
LandOfFree
Method and apparatus for an itinerary planner does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for an itinerary planner, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for an itinerary planner will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4258266