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
    Datensatz exportieren als...
  • BibTeX
Lightweight compilation of (C)LP to JavaScript
Theory and practice of logic programming, 2012-07, Vol.12 (4-5), p.755-773
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
SAT-based termination analysis using monotonicity constraints over the integers
Theory and practice of logic programming, 2011-07, Vol.11 (4-5), p.503-520
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Pengines: Web Logic Programming Made Easy
Theory and practice of logic programming, 2014-07, Vol.14 (4-5), p.539-552
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
Theory and practice of logic programming, 2019-03, Vol.19 (2), p.229-261
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
Theory and practice of logic programming, 2012-01, Vol.12 (1-2), p.97-126
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Test case generation for object-oriented imperative languages in CLP
Theory and practice of logic programming, 2010-07, Vol.10 (4-6), p.659-674
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Coding guidelines for Prolog
Theory and practice of logic programming, 2012-11, Vol.12 (6), p.889-927
2012
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Fifty Years of Prolog and Beyond
Theory and practice of logic programming, 2022-11, Vol.22 (6), p.776-858
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Theory and practice of logic programming, 2020-11, Vol.20 (6), p.864-879
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
Theory and practice of logic programming, 2019-07, Vol.19 (4), p.536-573
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Logic programming as a service
Theory and practice of logic programming, 2018-09, Vol.18 (5-6), p.846-873
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and practice of logic programming, 2020-05, Vol.20 (3), p.310-357
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
Theory and practice of logic programming, 2021-03, Vol.21 (2), p.264-282
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
SWI-Prolog and the web
Theory and practice of logic programming, 2008-05, Vol.8 (3), p.363-392
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Parallelism, concurrency and distribution in constraint handling rules: A survey
Theory and practice of logic programming, 2018-09, Vol.18 (5-6), p.759-805
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Description and Optimization of Abstract Machines in a Dialect of Prolog
Theory and practice of logic programming, 2016-01, Vol.16 (1), p.1-58
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Constraint-based deadlock checking of high-level specifications
Theory and practice of logic programming, 2011-07, Vol.11 (4-5), p.767-782
2011
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Schedulers and redundancy for a class of constraint propagation rules
Theory and practice of logic programming, 2005-07, Vol.5 (4-5), p.441-465
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain
Theory and practice of logic programming, 2020-07, Vol.20 (4), p.456-511
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Thirty years of Epistemic Specifications
Theory and practice of logic programming, 2022-11, Vol.22 (6), p.1043-1083
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
SWI-Prolog
Theory and practice of logic programming, 2012-01, Vol.12 (1-2), p.67-96
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007
Theory and practice of logic programming, 2010-01, Vol.10 (1), p.1-47
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A new algorithm to automate inductive learning of default theories
Theory and practice of logic programming, 2017-09, Vol.17 (5-6), p.1010-1026
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Enabling reasoning with LegalRuleML
Theory and practice of logic programming, 2019-01, Vol.19 (1), p.1-26
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Introducing Computer Science to High School Students Through Logic Programming
Theory and practice of logic programming, 2019-03, Vol.19 (2), p.204-228
2019
Volltextzugriff (PDF)
1 – 25 von 61
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieScientific Reports
SpracheKoreanisch
SpracheSpanisch
KollektionCambridge Journals Online (DEFF)
ThemaScience & Technology - Other Topics
Suchergebnisse filtern
Filter anzeigen