Solver Requirements for Interactive Configuration von Falkner, Andreas, Haselboeck, Alois, Krames, Gerfried, Schenner, Gottfried, Schreiner, Herwig, Taupe, Richard

Volltext

Rail Topology Ontology: A Rail Infrastructure Base Ontology von Bischof, Stefan, Schenner, Gottfried

Volltext

Twenty‐Five Years of Successful Application of Constraint Technologies at Siemens von Falkner, Andreas, Friedrich, Gerhard, Haselböck, Alois, Schenner, Gottfried, Schreiner, Herwig

Volltext

Challenges of Constructing a Railway Knowledge Graph von Bischof, Stefan, Schenner, Gottfried

Volltext

(Re)configuration based on model generation von Friedrich, Gerhard, Ryabokon, Anna, Falkner, Andreas, Haselböck, Alois, Schenner, Gottfried, Schreiner, Herwig

Volltext

Modeling and solving technical product configuration problems von Falkner, Andreas, Haselböck, Alois, Schenner, Gottfried, Schreiner, Herwig

Volltext

Rail Topology Ontology: A Rail Infrastructure Base Ontology von Bischof, Stefan, Schenner, Gottfried

Volltext

Combining Heuristics for Configuration Problems Using Answer Set Programming von Gebser, Martin, Ryabokon, Anna, Schenner, Gottfried

Volltext

Tailoring Random Forest for Requirements Classification von Falkner, Andreas, Schenner, Gottfried, Schörghuber, Alexander

Volltext

Identifying Requirements in Requests for Proposal: A Research Preview von Falkner, Andreas, Palomares, Cristina, Franch, Xavier, Schenner, Gottfried, Aznar, Pablo, Schoerghuber, Alexander

Volltext

Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints von Polleres, Axel, Frühstück, Melanie, Schenner, Gottfried, Friedrich, Gerhard

Volltext

Applying Incremental Answer Set Solving to Product Configuration von Comploi-Taupe, Richard, Francescutto, Giulia, Schenner, Gottfried

Volltext

Using Symmetries to Lift Satisfiability Checking von Carbonnelle, Pierre, Schenner, Gottfried, Bruynooghe, Maurice, Bogaerts, Bart, Denecker, Marc

Volltext

Using Symmetries to Lift Satisfiability Checking von Carbonnelle, Pierre, Schenner, Gottfried, Bruynooghe, Maurice, Bogaerts, Bart, Denecker, Marc

Volltext bestellen

OOASP: Connecting Object-Oriented and Logic Programming von Falkner, Andreas, Ryabokon, Anna, Schenner, Gottfried, Shchekotykhin, Kostyantyn

Volltext

Consistency-based Merging of Variability Models von Uta, Mathias, Felfernig, Alexander, Schenner, Gottfried, Spoecklberger, Johannes

Volltext bestellen

Reconciling practice and rigour in ontology-based heterogeneous information systems construction von Quer, Carme, Franch Gutiérrez, Javier, Palomares Bonache, Cristina, Falkner, Andreas, Felfernig, Alexander, Fucci, Davide, Maalej, Walid, Nerlich, Jennifer, Raatikainen, Mikko, Schenner, Gottfried, Stettinger, Martin, Tiihonen, Juha

Volltext bestellen

Using Symmetries to Lift Satisfiability Checking von Carbonnelle, Pierre, Schenner, Gottfried, Bruynooghe, Maurice, Bogaerts, Bart, Denecker, Marc

Volltext

Needs and challenges for a platform to support large-scale requirements engineering: a multiple-case study von Fucci, Davide, Palomares Bonache, Cristina, Franch Gutiérrez, Javier, Costal Costa, Dolors, Raatikainen, Mikko

Volltext bestellen

METHOD FOR CONFIGURING CHANGES OF A PRODUCTION PLANT AND / OR A PRODUCT AND METHOD FOR PRODUCING A PRODUCT, AND CONFIGURATION DEVICE AND SYSTEM von Haselböck, Alois, Schenner, Gottfried

Volltext bestellen