 | 2006 |
|---|
| 48 |       | Lenhart K. Schubert:
Turing's Dream and the Knowledge Challenge.
AAAI 2006 |
| 47 | | Lenhart K. Schubert,
Proshanto Mukherji:
State-based Discovery and Verification of Propositional Planning Invariants.
IC-AI 2006: 465-471 |
| 2005 |
|---|
| 46 | | Proshanto Mukherji,
Lenhart K. Schubert:
Discovering Planning Invariants as Anomalies in State Descriptions.
ICAPS 2005: 223-230 |
| 45 | | Lenhart K. Schubert:
Some KR&R requirements for self-awareness.
Metacognition in Computation 2005: 106-113 |
| 2004 |
|---|
| 44 |  | Lenhart K. Schubert:
A New Characterization of Probabilities in Bayesian Networks.
UAI 2004: 495-503 |
| 2000 |
|---|
| 43 | | Alfonso Gerevini,
Lenhart K. Schubert:
Discovering State Constraints in DISCOPLAN: Some New Results.
AAAI/IAAI 2000: 761-767 |
| 42 | | Aaron N. Kaplan,
Lenhart K. Schubert:
A computational model of belief.
Artif. Intell. 120(1): 119-160 (2000) |
| 1999 |
|---|
| 41 | | Mark G. Core,
Lenhart K. Schubert:
A Syntactic Framework for Speech Repairs and Other Disruptions.
ACL 1999 |
| 1998 |
|---|
| 40 | | Alfonso Gerevini,
Lenhart K. Schubert:
Inferring State Constraints for Domain-Independent Planning.
AAAI/IAAI 1998: 905-912 |
| 39 | | Mark G. Core,
Lenhart K. Schubert:
Implementing Parser Metarules that Handle Speech Repairs and Other Disruptions.
FLAIRS Conference 1998: 283-288 |
| 1996 |
|---|
| 38 | | Alfonso Gerevini,
Lenhart K. Schubert:
Computing Parameter Domains as an Aid to Planning.
AIPS 1996: 94-101 |
| 37 | | Lenhart K. Schubert:
Implementations and Research: Discussions at the Boundary.
KR 1996: 661-662 |
| 36 | | Alfonso Gerevini,
Lenhart K. Schubert:
Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning
CoRR cs.AI/9609101: (1996) |
| 35 | | Alfonso Gerevini,
Lenhart K. Schubert:
Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning.
J. Artif. Intell. Res. (JAIR) 5: 95-137 (1996) |
| 1995 |
|---|
| 34 | | Alfonso Gerevini,
Lenhart K. Schubert:
Efficient Algorithms for Qualitative Reasoning about Time.
Artif. Intell. 74(2): 207-248 (1995) |
| 33 | | Alfonso Gerevini,
Lenhart K. Schubert:
On Computing the Minimal Labels in Time Point Algebra Networks.
Computational Intelligence 11: 443-448 (1995) |
| 1994 |
|---|
| 32 | | James F. Allen,
Lenhart K. Schubert:
Natural Language Planning Dialogue for Interactive.
HLT 1994 |
| 31 | | Alfonso Gerevini,
Lenhart K. Schubert,
Stephanie Schaeffer:
The Temporal Reasoning Tools TimeGraph I-II.
ICTAI 1994: 513-520 |
| 30 | | Chung Hee Hwang,
Lenhart K. Schubert:
Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach.
ICTL 1994: 238-264 |
| 29 | | Alfonso Gerevini,
Lenhart K. Schubert:
An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning.
KR 1994: 214-225 |
| 28 | | Lenhart K. Schubert:
Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract).
KR 1994: 650-651 |
| 27 | | Alfonso Gerevini,
Lenhart K. Schubert:
On Point-Based Temporal Disjointness.
Artif. Intell. 70(1-2): 347-361 (1994) |
| 26 | | Lenhart K. Schubert:
Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change.
J. Log. Comput. 4(5): 679-700 (1994) |
| 1993 |
|---|
| 25 | | Chung Hee Hwang,
Lenhart K. Schubert:
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation.
AAAI 1993: 676-682 |
| 24 | | Chung Hee Hwang,
Lenhart K. Schubert:
Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU.
IJCAI 1993: 1297-1303 |
| 23 | | Alfonso Gerevini,
Lenhart K. Schubert:
Efficient Temporal Reasoning through Timegraphs.
IJCAI 1993: 648-654 |
| 22 | | Alfonso Gerevini,
Lenhart K. Schubert,
Stephanie Schaeffer:
Temporal Reasoning in Timegraph I-II.
SIGART Bulletin 4(3): 21-25 (1993) |
| 1992 |
|---|
| 21 | | Chung Hee Hwang,
Lenhart K. Schubert:
Tense Trees as the "Fine Structure" of Discourse.
ACL 1992: 232-240 |
| 1991 |
|---|
| 20 | | James F. Allen,
Lenhart K. Schubert:
Natural Language, Knowledge Representation and Discourse.
HLT 1991 |
| 1990 |
|---|
| 19 | | Stephanie A. Miller,
Lenhart K. Schubert:
Time revisited.
Computational Intelligence 6: 108-118 (1990) |
| 1989 |
|---|
| 18 | | Lenhart K. Schubert,
Chung Hee Hwang:
An Episodic Knowledge Representation for Narrative Texts.
KR 1989: 444-458 |
| 1988 |
|---|
| 17 | | Stephanie A. Miller,
Lenhart K. Schubert:
Using Specialists to Accelerate General Reasoning.
AAAI 1988: 161-165 |
| 16 | | Lenhart K. Schubert:
Cheeseman: a travesty of truth.
Computational Intelligence 4: 118-121 (1988) |
| 1987 |
|---|
| 15 | | Cao An Wang,
Lenhart K. Schubert:
An Optimal Algorithm for Constructing the Delaunay Triangulation of a Set of Line Segments.
Symposium on Computational Geometry 1987: 223-232 |
| 1986 |
|---|
| 14 | | Johannes de Haan,
Lenhart K. Schubert:
Inference in a Topically Organized Semantic Net.
AAAI 1986: 334-338 |
| 13 | | Lenhart K. Schubert:
Are There Preference Trade-offs in Attachment Decisions?
AAAI 1986: 601-605 |
| 1984 |
|---|
| 12 | | Francis Jeffry Pelletier,
Lenhart K. Schubert:
Two Theories For Computing The Logical Form Of Mass Expressions.
COLING 1984: 108-111 |
| 11 | | Lenhart K. Schubert:
On Parsing Preferences.
COLING 1984: 247-250 |
| 1983 |
|---|
| 10 | | Lenhart K. Schubert,
Mary Angela Papalaskaris,
Jay Taugher:
Determining Type, Part, Color and Time Relationships.
IEEE Computer 16(10): 53-60 (1983) |
| 1982 |
|---|
| 9 | | Lenhart K. Schubert,
Francis Jeffry Pelletier:
From English to Logic: Context-Free Computation of `Conventional' Logical Translation.
American Journal of Computational Linguistics 8(1): 26-44 (1982) |
| 1981 |
|---|
| 8 | | Mary Angela Papalaskaris,
Lenhart K. Schubert:
PARTS INFERENCE: Closed and Semi-Closed Partitioning Graphs.
IJCAI 1981: 304-309 |
| 1979 |
|---|
| 7 | | Lenhart K. Schubert:
Comments on Cherniavsky's paper "On algorithmic natural language analysis and understanding" - On Cherniavsky's man/machine distinction.
Inf. Syst. 4(3): 57-59 (1979) |
| 1976 |
|---|
| 6 | | Lenhart K. Schubert:
Extending the Expressive Power of Semantic Networks.
Artif. Intell. 7(2): 163-198 (1976) |
| 1975 |
|---|
| 5 | | Lenhart K. Schubert:
Extending The Expressive Power Of Semantic Networks.
IJCAI 1975: 158-164 |
| 4 | | Nick Cercone,
Lenhart K. Schubert:
Toward a State Based Conceptual Representation.
IJCAI 1975: 83-90 |
| 1974 |
|---|
| 3 | | Lenhart K. Schubert:
Representative Samples of Programmable Functions
Information and Control 25(1): 30-44 (1974) |
| 2 | | Lenhart K. Schubert:
Iterated Limiting Recursion and the Program Minimization Problem.
J. ACM 21(3): 436-445 (1974) |
| 1973 |
|---|
| 1 | | Lenhart K. Schubert:
Iterated Limiting Recursion and the Program Minimization Problem.
IJCAI 1973: 513-523 |
