Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference42 articles.
1. C. Beierle, U. Hedstück, U. Pletat and J. Siekmann, An order-sorted logic for knowledge representation systems,Artificial Intelligence 55 (1992) 149–191.
2. K.H. Bläsius, U. Hedtstück and C.-R. Rollinger (eds.),Sorts and Types in Artificial Intelligence, Workshop Proceedings, LNAI, Vol. 418 (Springer, 1990).
3. B. Bogaert and S. Tison, Equality and disequality constraints on direct subterms in tree automata, in:Proc. of 9th Annual Symposium on Theoretical Aspects of Computer Science, STACS92, LNCS, Vol. 577, eds. A. Finkel and M. Jantzen (Springer, 1992) pp. 161–171.
4. A.-C. Caron, H. Comon, J.-L. Coquidé, M. Dauchet and F. Jacquemard, Pumping, cleaning and symbolic constraints solving, in:Automata Languages and Programming, 21st International Colloquium, ICALP'94, LNCS, Vol. 820, eds. S. Abiteboul and E. Shamir (Springer, 1994) pp. 436–447.
5. A.G. Cohn, A more expressive formulation of many sorted logic,Journal of Automated Reasoning 3(2) (1987) 113–200.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献