Lenhart K. Schubert - Publications

Affiliations: 
University of Rochester, Rochester, NY 
Area:
Computer Science, Linguistics Language

12 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Gerevini AE, Schubert LK. Discovering state constraints for planning with conditional effects in Discoplan (part I) Annals of Mathematics and Artificial Intelligence. 88: 641-686. DOI: 10.1007/S10472-019-09618-W  0.368
2007 Schubert L. Implicit Skolemization: efficient reference to dependent entities Research On Language and Computation. 5: 69-86. DOI: 10.1007/S11168-006-9015-X  0.345
1996 Gerevini A, Schubert L. Accelerating partial-order planners: some techniques for effective search control and pruning Journal of Artificial Intelligence Research. 5: 95-137. DOI: 10.1613/Jair.316  0.325
1995 Gerevini A, Schubert LK, Schaeffer S. The Temporal Reasoning Tools Timegraph I-Ii International Journal On Artificial Intelligence Tools. 4: 281-299. DOI: 10.1142/S0218213095000140  0.348
1995 Allen JF, Schubert LK, Ferguson G, Heeman P, Hwang CH, Kato T, Light M, Martin N, Miller B, Poesio M, Traum DR. The TRAINS project: A case study in building a conversational planning agent Journal of Experimental and Theoretical Artificial Intelligence. 7: 7-48. DOI: 10.1080/09528139508953799  0.449
1995 Gereveni A, Schubert L. Efficient Algorithms for Qualitative Reasoning about Time Artificial Intelligence. 74: 207-248. DOI: 10.1016/0004-3702(94)00016-T  0.376
1994 Gerevini A, Schubert L. On point-based temporal disjointness Artificial Intelligence. 70: 347-361. DOI: 10.1016/0004-3702(94)90110-4  0.327
1994 Schubert LK. Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change Journal of Logic and Computation. 4: 679-700. DOI: 10.1007/978-3-642-60211-5_21  0.321
1993 Gerevini A, Schubert L, Schaeffer S. Temporal reasoning in Timegraph I–II Intelligence\/Sigart Bulletin. 4: 21-25. DOI: 10.1145/152947.152953  0.339
1993 Hwang CH, Schubert LK. Episodic Logic: A comprehensive, natural representation for language understanding Minds and Machines. 3: 381-419. DOI: 10.1007/Bf00974104  0.378
1982 Schubert LK, Pelletier FJ. From English to logic: context-free computation of conventional logical translation Computational Linguistics. 8: 26-44. DOI: 10.7939/R3Vq2Sr1G  0.36
1976 Schubert LK. Extending the expressive power of semantic networks Artificial Intelligence. 7: 163-198. DOI: 10.1016/0004-3702(76)90003-5  0.312
Show low-probability matches.