Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Open Access
    Datensatz exportieren als...
  • BibTeX
Solver Requirements for Interactive Configuration
J.UCS (Annual print and CD-ROM archive ed.), 2020-03, Vol.26 (3), p.343-373
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
Electronic proceedings in theoretical computer science, 2019, Vol.306 (Proc. ICLP 2019), p.22-35
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Inductive Learning of Declarative Domain-Specific Heuristics for ASP
Electronic proceedings in theoretical computer science, 2023, Vol.385, p.129-140
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving
Logic Programming and Nonmonotonic Reasoning, 2019, p.298-311
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach
The Journal of artificial intelligence research, 2023-01, Vol.76, p.59-114
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
Theory and practice of logic programming, 2020-09, Vol.20 (5), p.609-624
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
Theory and practice of logic programming, 2020-09, Vol.20 (5), p.799-814
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Influence of ASP Language Constructs on the Performance of State-of-the-Art Solvers
KI 2016: Advances in Artificial Intelligence, 2016, Vol.9904, p.88-101
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Applying incremental answer set solving to product configuration
Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B, 2022, p.150-155
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Enabling Integrated Product and Factory Configuration in Smart Production Ecosystems
2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2017, p.266-273
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Enabling Resilient Production Through Adaptive Human-Machine Task Sharing
Towards Sustainable Customization: Bridging Smart Products and Manufacturing Systems, 2021, p.198-206
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Marketplace for Smart Production Ecosystems: Managing Variability of Products and Factories
Customization 4.0, 2018, p.103-123
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Industrial Applications of Answer Set Programming
KI. Künstliche Intelligenz (Oldenbourg), 2018-08, Vol.32 (2-3), p.165-176
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Lazy Grounding for Dynamic Configuration: Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP
KI. Künstliche Intelligenz (Oldenbourg), 2018-08, Vol.32 (2-3), p.197-198
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Lazy Grounding for Dynamic Configuration
KI. Künstliche Intelligenz (Oldenbourg), 2018-08, Vol.32 (2), p.197-198
2018
Volltextzugriff (PDF)
1 – 15 von 15
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen