Lenhart K. Schubert

Department of Computer Science , University of Rochester Rochester , New York 14627 , U. S. A.

7 papers in the IJCAI proceedings

IJCAI 1993

Efficient Temporal Reasoning through Timegraphs

with Alfonso Gerevini

Details PDF

Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU

with Chung Hee Hwang

Details PDF

IJCAI 1981

PARTS INFERENCE: Closed and Semi-Closed Partitioning Graphs

with Mary Angela Papalaskaris

Details PDF

IJCAI 1979

Problems with Parts

Details PDF

IJCAI 1975

Extending The Expressive Power Of Semantic Networks

Details PDF

Toward a State Based Conceptual Representation

with Nick Cercone

Details PDF

IJCAI 1973

Iterated Limiting Recursion and the Program Minimization Problem

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings