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...
    Datensatz exportieren als...
  • BibTeX
Optimizing Answer Set Computation via Heuristic-Based Decomposition
Practical Aspects of Declarative Languages, p.135-151
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A REST-Based Development Framework for ASP: Tools and Application
Practical Aspects of Declarative Languages, p.161-169
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automatic Web Services Composition for Phylotastic
Practical Aspects of Declarative Languages, p.186-202
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic
Practical Aspects of Declarative Languages, p.80-96
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Navigating Online Semantic Resources for Entity Set Expansion
Practical Aspects of Declarative Languages, p.170-185
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report
Practical Aspects of Declarative Languages, p.152-160
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On k-colored Lambda Terms and Their Skeletons
Practical Aspects of Declarative Languages, p.116-131
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs
Practical Aspects of Declarative Languages, p.20-35
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Three Is a Crowd: SAT, SMT and CLP on a Chessboard
Practical Aspects of Declarative Languages, p.63-79
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Probabilistic Functional Logic Programming
Practical Aspects of Declarative Languages, p.3-19
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
Practical Aspects of Declarative Languages, p.36-52
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Exploiting Term Hiding to Reduce Run-Time Checking Overhead
Practical Aspects of Declarative Languages, p.99-115
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ASP-Core-2 Input Language Format
Theory and practice of logic programming, 2020-03, Vol.20 (2), p.294-309
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Optimizing Answer Set Computation via Heuristic-Based Decomposition
Theory and practice of logic programming, 2019-07, Vol.19 (4), p.603-628
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The third open answer set programming competition
Theory and practice of logic programming, 2014-01, Vol.14 (1), p.117-135
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
Theory and practice of logic programming, 2021-07, Vol.21 (4), p.402-403
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Incremental Answer Set Programming with Overgrounding
Theory and practice of logic programming, 2019-09, Vol.19 (5-6), p.957-973
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
I-DLV-sr: A Stream Reasoning System based on I-DLV
Theory and practice of logic programming, 2021-09, Vol.21 (5), p.610-628
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Efficiently Coupling the I-DLV Grounder with ASP Solvers
Theory and practice of logic programming, 2020-03, Vol.20 (2), p.205-224
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images
Rules and Reasoning, p.95-110
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities
Rules and Reasoning, p.38-53
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
Theory and practice of logic programming, 2021-01, Vol.21 (1), p.80-124
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning
Practical Aspects of Declarative Languages, 2024, Vol.14512, p.1-17
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models
Logic Programming and Nonmonotonic Reasoning, p.505-510
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases
IEEE transactions on computational intelligence and AI in games., 2016-06, Vol.8 (2), p.128-139
2016
Volltextzugriff (PDF)
1 – 25 von 29
Suche als RSS-Feed
Aktive Filter
ThemaComputer Science, Software Engineering
Suchergebnisse filtern
Filter anzeigen