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 | EE | 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 | EE | Aaron N. Kaplan,
Lenhart K. Schubert:
A computational model of belief.
Artif. Intell. 120(1): 119-160 (2000) |
1999 |
41 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Francis Jeffry Pelletier,
Lenhart K. Schubert:
Two Theories For Computing The Logical Form Of Mass Expressions.
COLING 1984: 108-111 |
11 | EE | 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 | EE | 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 |