„Logic Programming“

Suchergebnisse

2.836 Treffer

• An Inductive Logic Programming Approach to the Classification of Phases in Business Cycles
  Morik, Katharina ; Rüping, Stefan 2002 Universitätsbibliothek Dortmund
• A feature-based constraint system for logic programming with entailment
  Aït-Kaci, Hassan ; Podelski, Andreas ; Smolka, Gert 2011 Saarländische Universitäts- und Landesbibliothek
• Combinatorial meshing for mechanical FEM
  Stromberg, Henrik ; Lohrengel, Armin 2023 Technische Universität Clausthal
• Design and multi-criteria optimization of cell classifier circuits in cancer therapy
  Nowicka, Melania 2023 Freie Universität Berlin
• Defining and Implementing Domain-Specific Languages with Prolog
  Nogatz, Falco ; Seipel, Dietmar 2023 Universität Würzburg
• Reasoning in Description Logic Ontologies for Privacy Management
  Nuradiansyah, Adrian
• Logical Analysis of Biological Data
  Becker, Katinka 2021 Freie Universität Berlin
• Solving Higher-Order Equations – From Logic to Programming
  Prehofer, Christian 1998 Birkhäuser Boston
• Network Inference from Perturbation Data: Robustness, Identifiability and Experimental Design
  Groß, Torsten 2021 Humboldt-Universität zu Berlin
• Declarative Logic-Programming Components for Information Agents
  Fink, Michael 2002 Diplom.de
• Automata Theory and Logic
  Hofmann, Martin ; Lange, Martin 2025 Springer Berlin Heidelberg, Imprint: Springer Vieweg
• Postdictive Reasoning in Epistemic Action Theory
  Eppe, Manfred ; Krieg-Brückner, Bernd ; Lee, Joohyung 2013 Staats- und Universitätsbibliothek Bremen
• Towards Next Generation Sequential and Parallel SAT Solvers
  Manthey, Norbert ; Hölldobler, Steffen ; Biere, Armin 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A Rule-Based Agent-Oriented Framework for Weakly-Structured Scientific Workflows
  Zhao, Zhili 2014 Freie Universität Berlin
• Reasoning on the response of logical signaling networks with answer set programming
  Videla, Santiago ; Schaub, Torsten 2014 Universitätsbibliothek der Universität Potsdam
• A unified analytical foundation for constraint handling rules
  Betz, Hariolf 2014 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
  Bulwahn, Lukas ; Nipkow, Tobias ; Runciman, Colin 2013 Universitätsbibliothek der TU München
• Implementing Functional Logic Programs – by Translation into Purely Functional Programs
  Braßel, Bernd 2012 Südwestdeutscher Verlag für Hochschulschriften
• Using weighted constraints to build a tutoring system for logic programming
  Le, Nguyen-Thinh ; Menzel, Wolfgang 2011 Staats- und Universitätsbibliothek Hamburg
• On functional logic programming and its application to testing
  Fischer, Sebastian