Author of the publication

Strong Equivalence of Logic Programs with Abstract Constraint Atoms.

, , , , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 161-173. Springer, (2011)

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

On Generality and Knowledge Transferability in Cross-Domain Duplicate Question Detection for Heterogeneous Community Question Answering., , , , , , and . CoRR, (2018)Strong Equivalence of Logic Programs with Abstract Constraint Atoms., , , , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 161-173. Springer, (2011)Curried least general generalization: A framework for higher order concept learning., , and . PRICAI Workshops, volume 1359 of Lecture Notes in Computer Science, page 45-60. Springer, (1996)The role of default representations in incremental learning., , and . PRICAI Workshops, volume 1359 of Lecture Notes in Computer Science, page 92-105. Springer, (1996)Detecting Communities in Large Networks by Iterative Local Expansion., , and . CASoN, page 105-112. IEEE Computer Society, (2009)Size-constrained tree partitioning: Approximating the multicast k-tree routing problem., , and . Theor. Comput. Sci., 412 (3): 240-245 (2011)COLIEE 2022 Summary: Methods for Legal Document Retrieval and Entailment., , , , , and . JSAI-isAI Workshops, volume 13859 of Lecture Notes in Computer Science, page 51-67. Springer, (2022)COLIEE 2020: Methods for Legal Document Retrieval and Entailment., , , , , and . JSAI-isAI Workshops, volume 12758 of Lecture Notes in Computer Science, page 196-210. Springer, (2020)Semantic-Based Classification of Relevant Case Law., , and . JSAI-isAI Workshops, volume 13859 of Lecture Notes in Computer Science, page 84-95. Springer, (2022)An improved approximation algorithm for the minimum 3-path partition problem., , , , , and . J. Comb. Optim., 38 (1): 150-164 (2019)