Author of the publication

Verifying Software Requirements Based on Answer Set Programming.

, , and . KSEM, volume 5914 of Lecture Notes in Computer Science, page 263-274. Springer, (2009)

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

Inconsistency-Based Strategy for Clarifying Vague Software Requirements., , and . Australian Conference on Artificial Intelligence, volume 3809 of Lecture Notes in Computer Science, page 39-48. Springer, (2005)Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements., and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 296-308. Springer, (2007)Multi-attention Item Recommendation Model Based on Social Relations., and . KSEM (1), volume 11775 of Lecture Notes in Computer Science, page 84-95. Springer, (2019)Aspect-Level Attributed Network Embedding via Variational Graph Neural Networks., and . DASFAA (2), volume 12113 of Lecture Notes in Computer Science, page 398-414. Springer, (2020)Integrating Task Information into Few-Shot Classifier by Channel Attention., and . KSEM, volume 12817 of Lecture Notes in Computer Science, page 137-148. Springer, (2021)Connection-Based Knowledge Transfer for Class Incremental Learning., and . IJCNN, page 1-8. IEEE, (2023)A Logical Approach for Testing Requirements., , and . IASTED Conf. on Software Engineering, page 408-413. IASTED/ACTA Press, (2005)A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements., , , , , and . KSEM, volume 4798 of Lecture Notes in Computer Science, page 103-114. Springer, (2007)A Meta-Strategy Enhancement for Network Embedding., , , , and . ICTAI, page 1720-1723. IEEE, (2019)Reasoning About Hybrid Probabilistic Knowledge Bases., , , and . PRICAI, volume 4099 of Lecture Notes in Computer Science, page 130-139. Springer, (2006)