sign in · help · news · about ·

BibSonomy :: author :: Stickel ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(109)

<< < 1 | 2 | 3 > >>

A Unification Algorithm for Associative-Commutative Functions.
Mark E. Stickel J. ACM 28(3):423-434 (1981)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
A Nonclausal Connection-Graph Resolution Theorem-Proving Program.
Mark E. Stickel AAAI, page 229-233. AAAI Press, (1982)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Theory Resolution: Building in Nonequational Theories.
Mark E. Stickel AAAI, page 391-397. AAAI Press, (1983)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Interpretation as Abduction.
Jerry R. Hobbs, Mark E. Stickel, Paul A. Martin, and Douglas Edwards ACL, page 95-103. ACL, (1988)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text
Jerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Mark E. Stickel, and Mabry Tyson CoRR (1997)
to dblp by dblp and 3 other users on Dec 5, 2011, 12:00 AM
URL | BibTeX
An Experience with CASE Tool Support for Financial Product Design.
Eberhard Stickel DATA BASE 24(4):31-35 (1993)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Public-Key Cryptography.
Eberhard Stickel Encyclopedia of Information Science and Technology IV, Idea Group, (2005)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
Some Economic Aspects of Strategic IT Use.
Sabine Behrens, and Eberhard Stickel ECIS, page 1077-1084. (1996)
to dblp by dblp on Nov 24, 2011, 12:00 AM
URL | BibTeX
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog.
Mark E. Stickel Theor. Comput. Sci. 104(1):109-128 (1992)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Data Sharing Economics and Requirements for Integration Tool Design.
Eberhard Stickel, Jens Hunstock, Anke Ortmann, and Jan Ortmann Inf. Syst. 19(8):629-642 (1994)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
Interpretation as Abduction.
Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, and Paul A. Martin Artif. Intell. 63(1-2):69-142 (1993)
to dblp by dblp and 4 other users on Jun 30, 2011, 12:00 AM
URL | BibTeX
Shadow Expert Technique SET for Interaction Analysis in Educational Systems.
Christian Stickel, Martin Ebner, and Andreas Holzinger HCI 8, volume 6768 of Lecture Notes in Computer Science, page 642-651. Springer, (2011)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
An Introduction to Automated Deduction.
Mark E. Stickel Advanced Course: Fundamentals of Artificial Intelligence, volume 232 of Lecture Notes in Computer Science, page 75-132. Springer, (1985)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
A Prolog Technology Theorem Prover.
Mark E. Stickel New Generation Comput. 2(4):371-383 (1984)
to dblp by dblp and 1 other user on May 25, 2011, 12:00 AM
URL | BibTeX
Opening the AC-Unification Race.
Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, and Hantao Zhang J. Autom. Reasoning 4(4):465-474 (1988)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
Set Theory in First-Order Logic: Clauses for Gödel's Axioms.
Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, and Larry Wos J. Autom. Reasoning 2(3):287-327 (1986)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
Automated Deduction by Theory Resolution.
Mark E. Stickel J. Autom. Reasoning 1(4):333-355 (1985)
to dblp by dblp and 1 other user on May 19, 2011, 12:00 AM
URL | BibTeX
Schubert's Steamroller Problem: Formulation and Solutions.
Mark E. Stickel J. Autom. Reasoning 2(1):89-101 (1986)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
A Comparison of the Variable-Abstraction and Constant-Abstraction Methods for Associative-Commutative Unification.
Mark E. Stickel J. Autom. Reasoning 3(3):285-289 (1987)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler.
Mark E. Stickel J. Autom. Reasoning 4(4):353-380 (1988)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100