I-Peng Lin
According to our database1,
I-Peng Lin
authored at least 15 papers
between 1985 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2015
1997
Recursive Modes for Precise Analysis of Logic Programs.
Proceedings of the Logic Programming, 1997
1996
1994
The Computational Complexity of the Satisfiability of Modal Horn Clauses for Modal Propositional Logics.
Theor. Comput. Sci., 1994
The Complexity of Propositional Modal Theories and the Complexity of Consistency of Propositional Modal Theories.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994
1993
The Computational Complexity of Satisfiability of Temporal Horn Formulas in Propositional Linear-Time Temporal Logic.
Inf. Process. Lett., 1993
1992
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992
1990
Proceedings of 3th Computational Linguistics Conference, 1990
1989
1988
Int. J. Pattern Recognit. Artif. Intell., 1988
Proceedings of Rocling Computational Linguistics Conference, 1988
A new design of Prolog-based bottom-up parsing system with government-binding theory.
Proceedings of the 12th International Conference on Computational Linguistics, 1988
1986
A Logic Programming Approach to Frame-Based Language Design.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986
1985