Author of the publication

Cost-Based Abduction Using Binary Decision Diagrams.

, , , and . IEA/AIE, volume 1611 of Lecture Notes in Computer Science, page 215-225. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Multi-Agent Cooperative Reasoning System for Amalgamated Knowledge Bases., , , , , and . DAI, volume 1286 of Lecture Notes in Computer Science, page 92-105. Springer, (1996)Description and Reasoning of VLSI Circuit in Temporal Logic., , and . New Generation Comput., 2 (1): 79-90 (1984)Hatched Image Representation of Human Faces Based on a Cognitive Model., , , , and . FG, page 330-335. IEEE Computer Society, (1998)Efficient Induction of Executable Logic Programs from Examples., , and . ASIAN, volume 1345 of Lecture Notes in Computer Science, page 212-224. Springer, (1997)Inducing Shogi Heuristics Using Inductive Logic Programming., , , and . ILP, volume 1446 of Lecture Notes in Computer Science, page 155-164. Springer, (1998)Proving Properties of Co-logic Programs with Negation by Program Transformations.. LOPSTR, volume 7844 of Lecture Notes in Computer Science, page 213-227. Springer, (2012)On Term Similarity Measures for Short Text Classification., and . IWCIA, page 53-58. IEEE, (2019)Parallel Induction Algorithms for Large Samples., , , and . Discovery Science, volume 1532 of Lecture Notes in Computer Science, page 397-398. Springer, (1998)Using term similarity measures for classifying short document data., and . Int. J. Comput. Intell. Stud., 10 (2/3): 181-197 (2021)Editorial., , and . Formal Aspects Comput., 29 (1): 1-2 (2017)