Author of the publication

Stable Model Semantics of Weight Constraint Rules

, , and . Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, page 317--331. London, UK, Springer-Verlag, (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

Characterizing configurable software product families and their derivation., , , and . Softw. Process. Improv. Pract., 10 (1): 41-60 (2005)Integrating Design Document Management Systems Using the Rosettanet E-Business Framework., , , and . ICEIS (4), page 502-509. (2004)A Fixpoint Definition of Dynamic Constraint Satisfaction., , and . CP, volume 1713 of Lecture Notes in Computer Science, page 419-433. Springer, (1999)Representing Configuration Knowledge With Weight Constraint Rules, , , and . Answer Set Programming, (2001)Towards a general ontology of configuration, , , and . Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), (1998)A Case Study of Two Configurable Software Product Families., , , and . PFE, volume 3014 of Lecture Notes in Computer Science, page 403-421. Springer, (2003)Stable Model Semantics of Weight Constraint Rules, , and . Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, page 317--331. London, UK, Springer-Verlag, (1999)Implementing a RosettaNet Business-to-Business Integration Platform Using J2EE and Web Services., , and . CEC, page 553-558. IEEE Computer Society, (2005)Towards Intelligent Support for Managing Evolution of Configurable Software Product Families., , and . SCM, volume 2649 of Lecture Notes in Computer Science, page 86-101. Springer, (2003)Multiple abstraction levels in modelling product structures., , , and . Data Knowl. Eng., 36 (1): 55-78 (2001)