Mark E. Stickel

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Richard J. Waldinger

> Home > Persons > Mark E. Stickel

Publications

2004
[c36]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ndqa/WaldingerADFHIJMRST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndqa/WaldingerADFHIJMRST04
Richard J. Waldinger, Douglas E. Appelt, Jennifer L. Dungan, John Fry, Jerry R. Hobbs, David J. Israel, Peter Jarvis, David L. Martin, Susanne Z. Riehemann, Mark E. Stickel, Mabry Tyson:
Deductive Question Answering from Multiple Resources. New Directions in Question Answering 2004: 253-262
2000
[c34]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/ChaudhriSTW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChaudhriSTW00
Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger:
Using Prior Knowledge: Problems and Solutions. AAAI/IAAI 2000: 436-442
1994
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/StickelWLPU94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/StickelWLPU94
Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood:
Deductive Composition of Astronomical Software from Subroutine Libraries. CADE 1994: 341-355
1992
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/WaldingerS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/WaldingerS92
Richard J. Waldinger, Mark E. Stickel:
Proving Properties of Rule-Based Systems. Int. J. Softw. Eng. Knowl. Eng. 2(1): 121-144 (1992)
1991
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MannaSW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MannaSW91
Zohar Manna, Mark E. Stickel, Richard Waldinger:
Monotonicity Properties in Automated Deduction. Artificial and Mathematical Theory of Computation 1991: 261-280

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.