Let's plan it deductively!

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1997, Pages 1549-1562

  Bibel, W ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

A TRANSITIONS; AUTOMATED DEDUCTION; CLASSICAL LOGIC; DEDUCTIVE FORMALISMS; LINEAR CONNECTIONS;

ARTIFICIAL INTELLIGENCE;

EID: 35248874366     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (57)

1. P. Agre. Computational research on interaction and agency. Artificial Intelligence Journal, 72(I-2):I-52, 1995.
2. A.R. Anderson and N.D. Belnap, Jr. Entailment: The Logic of Relevance and Necessity, volume 1. Princeton University Press, Princeton NJ, 1975.
3. W. Bibel, L. Farinas del Cerro, B. Fronhofer, and A. Herzig. Plan generation by linear proofs: On semantics. In D. Metzing, editor, Proceedings GWAI'89, pages 49-62, Berlin, 1989. Springer.
4. Wolfgang Bibel, Steffen Holldobler, and Torsten Schaub. Wissensreprasentation und Inferenz. Vieweg Verlag, Brauschweig, 1993.
5. W. Bibel, S. Bruning, U. Egly, and T. Rath. Towards an Adequate Theorem Prover Based on the Connection Method. In I. Plander, editor, Proceedings of the Sixth International Conference on Artificial Intelligence and Information-Control of Robots, pages 137-148. World Scientific Publishing Company, 1994. 1994.
6. W. Bibel. A deductive solution for plan generation. New Generation Computing, 4:115-132, 1986.
7. W. Bibel. A deductive solution for plan generation. In J. W. Schmidt and C. Thanos, editors, Foundations of Knowledge Base Management, pages 413-436, Crete, 1986.
8. W. Bibel. Automated Theorem Proving. Vieweg Verlag, Braunschweig, 2. edition, 1987,
9. W. Bibel. Intellectics. In S. C. Shapiro, editor, Encyclopedia of Artificial Intelligence. John Wiley, Ne,w York, 1992.
10. W. Bibel. Towards predicative proramming. In Michael R. Lowry and Robert McCartney, editors, Automating Software Design, pages 405-423. AAAI Press, Menlo Park CA, 1992.
11. W. Bibel. Deduction: Automated Logic. Academic Press, London, 1993.
12. Avrim L. Blum and Merrick L. Furst. Fast planning through planning graph analysis. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), pages 1636-1642, San Mateo, CA, 1995. Morgan Kaufmann.
13. Sven-Erik Bornscheuer and Michael Thielscher. Explicit and implicit indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems. I. of Logic Programming, 1997.
14. Stefan Bribing, Gerd Grofie, Steffen Holldobler, Josef Schneeberger, Ute Sigmund, and Michael Thielscher. Disjunction in plan generation by cquational logic programming. In A. Horz, editor, Beitrage zum 7. Workshop Planen und Konfigurieren, pages 18-26, St. Augustin, Germany, 1992. GI, Aibeitspapiere der GMD 723.
15. Stefan Bruning, Steffen Holldobler, Josef Schneeberger, Ute Sigmund, and Michael Thielscher. Disjunction in resource-oriented deductive planning. In D. Miller, editor, Proceedings of the International Logic Programming Symposium (LLPS), page 670, Cambridge MA, 1993. MIT Press. Poster session.
16. James M. Crawford and Larry D. Auton. Experimental results on the crossover point in satisfiability problems. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 21-27, Menlo Park, CA, 1993. AAAI Press.
17. Kerstin Eder, Steffen Holldobler, and Michael Thielscher. An abstract machine for reasoning about situations, actions, and causality. In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proceedings of the International Workshop on Extensions of Logic Programming (ELP), pages 137-151, Berlin, Germany, 1996. Springer, LNAI 1050.
18. R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence Journal, 2:189-208, 1971.
19. Gottlob Frege. Begriffsschrift. Louis Nebert, Halle, 1879.
20. Bertram Fronhofer. Linearity and plan generation. New Generation Computing, 5:213-225, 1987.
21. Bertram Fronhofer. The Action-as-Implication Paradigm. CS Press, Munchen, 1996.
22. J. Gallier. Constructive logics. Part II: Linear logic and proof nets. Research Report PR2-RR-9, Digital Equipment Corporation, Paris, May 1991.
23. Matthew L. Ginsberg and David E. Smith. Reasoning about action I: A possible worlds approach. Artificial Intelligence Journal, 35(2):165-195, 1988.
24. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50(1):1-102,1987.
25. Gerd Grofie, Steffen Holldobler, Josef Schneeberger, Ute Sigmund, and Michael Thielscher. Equational logic programming, actions and change. In K. Apt, editor, Proceedings of the International Joint Conference and Symposium on Logic Programming, pages 177-191, Cambridge MA, 1992. MIT Press.
26. Gerd Grofie, Steffen Holldobler, and Josef Schneeberger. Linear deductive planning. Journal of Logic and Computation, 6(2):233-262, 1996.
27. Gerd Grofie. State Event Logic. PhD thesis, Technical University Darmstadt, Darmstadt, Germany, 1996.
28. Christoph Herrmann and Michael Thielscher. Reasoning about continuous processes. In B. Clancey and D. Weld, editors, AAAI-96 - Proceedings of the National Conference on Artificial Intelligence, pages 639-644, Palo Alto CA, 1996. AAAI Press.
29. S. Holldobler and J. Schneeberger. A new deductive approach to planning. New Generation Computing, 8:225-244, 1990.
30. Steffen Holldobler and Michael Thielscher. Actions and specificity. In D. Miller, editor, Proceedings of the International Logic Programming Symposium, pages 164-180, 1993.
31. Steffen Holldobler and Michael Thielscher. Computing change and specificity with equational logic programs. Annals of Mathematics and Artificial Intelligence, 14:99-133, 1995.
32. Henry Kautz and Bart Selman. Pushing the envelope: Planning, propositional logic, and stochastic search. In Proceedings of the National Conference on Artificial Intelligence (AAAI-96), pages 1194-1201, Portland, OR, 1996. Morgan Kaufmann, San Mateo, CA.
33. Henry Kautz, David McAllester, and Bart Selman. Encoding plans in propositional logic. In L. C. Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR-96), pages 374-384, Cambridge, MA, 1996. Morgan Kaufmann, San Mateo, CA.
34. Robert Kowalski. Logic for Problem Solving. North-Holland, New York, 1979.
35. Nicholas Kushmerick. Cognitivism and situated action: Two views on intelligent agency. Computers and Artificial Intelligence, 15(5):393-417, 1996.
36. J. E. Laird, A. Newell, and P. S. Rosenbloom. SOAR: An architecture for general intelligence. Artificial Intelligence Journal 33(I):I-64, 1987.
37. J. Lambek. The mathematics of sentence structure. Am. Math. Monthly, 65, 1958.
38. Reinhold Lets, Johannes Schumann, Stephan Bayerl, and Wolfgang Bibel. SETHEO - A high-performance theorem prover for first-order logic. Journal of Automated Reasoning, 8(2):183-212, 1992.
39. V. Lifschitz. Frames in the space of situations. Artificial Intelligence Journal, 46:365-376, 1990.
40. Matthias Lindner. Interactive Planning for the Assistance of Human Agents. PhD thesis, Techn. University Darmstadt, Germany, forthcoming 1997.
41. M. Masseron, C. Tollu, and J. Vauzielles. Generating plans in linear logic. In Foundations of Software Technology and Theoretical Computer Science, pages 63-75. Springer, LNCS 472, 1990.
42. John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, vol. 4, pages 463-502. Edinburgh University Press, Edinburgh, 1969.
43. John McCarthy. Epistemological problems of artificial intelligence. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1038-1044, Cambridge, CA, 1977. Morgan Kaufmann, San Mateo, CA.
44. William McCune. Robbins algebras are boolean. Association for Automated Reasoning Newsletter, 35:1-3,1996.
45. M. Moser, O. Ibens, R. Letz, J. Steinbach, C. Goller, J. Schumann, and K. Mayr. SETHEO and E-SETHEO. Journal of Automated Reasoning, 1997.
46. Nils J. Nilsson. Logic and artificial intelligence. Artificial Intelligence Journal, 47(I-3):31-56, 1991.
47. M. Nirkhe, S. Kraus, and D. Perlis. How to plan to meet a deadline between now and then. J. of Logic and Computation, 1994.
48. M. Paramasivam and David A. Plaisted. Automated deduction techniques for classification in description logic systems. Journal of Automated Reasoning, to appear, 1997.
49. J. S. Penberthy and D. Weld. Ucpop: A sound, complete, partial order planner for ADL. In Proceedings of the International Conference of Knowledge Representation and Reasoning (KR-92), pages 103-114, San Mateo, CA, 1992. Morgan Kaufmann.
50. Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, New York, 1991.
51. G. Restall. On Logics without Contraction. Phd thesis, University of Queensland, Australia, 1994.
52. Stuart J. Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, Englewood Cliffs, N.J., 1994.
53. Werner Stephan and Susanne Biundo. A new logical framework for deductive planning. In R. Bajcsy, editor, 13th International Joint Conference on Artificial Intelligence (IJCAI-93), pages 32-38, San Mateo, CA, 1993. Morgan Kaufmann.
54. Michael Thielscher. Causality and the qualification problem. In L.C. Aiello, J. Doyle, and S. Shapiro, editors, KR-96 - Proceedings of the International Conference of Knowledge Representation and Reasoning, pages 51-62, San Mateo CA, 1996. KR Inc., Morgan Kaufmann.
55. Michael Thielscher. Challenges for Action Theories: Solving the Ramification and Qualification Problem. Habilitation thesis, Technical Universitat Darmstadt, Darmstadt, Germany, 1997.
56. Michael Thielscher. Ramification and causality. Artificial Intelligence Journal, 89(1-2):317-364, 1997.
57. David E. Wilkins, Karen L. Myers, John D. Lowrance, and Leonard P. Wesley. Planning and reacting in uncertain and dynamic environments. J. of Experimental and Theoretical Artificial Intelligence Journal, 6:197-227, 1994.