„Logikprogrammierung“

Suchergebnisse

1.000+ Treffer

• Einführung in die Mathematische Logik – Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
  1995 Vieweg+Teubner Verlag
• From Logic Programming to Human Reasoning: – How to be Artificially Human
  Dietz Saldanha, Emmanuelle-Anna ; Hölldobler, Steffen ; Kakas, Antonis ; Pereira, Luís Moniz 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A general framework for preferences in answer set programming
  Romero Dávila, Javier ; Schaub, Torsten ; Lang, Jérôme ; Cao Tran, Son 2025 Universität Potsdam
• Inductive Temporal Logic Programming – Learning Temporal Logic Programs from Examples
  Kolter, Robert 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
• Inductive temporal logic programming
  Kolter, Robert
• Grammatikentwicklung mit Constraint-Logikprogrammierung – Implementierung einer Grammatik für das Deutsche mit Prolog III
  Lehner, Christoph 1993 Infix
• Logik und Logikprogrammierung
  Hölldobler, Steffen 2001 Synchron, Wiss-Verl. der Autoren
• Contextualized Programs for Ontology-Mediated Probabilistic System Analysis
  Dubslaff, Clemens ; Koopmann, Patrick ; Turhan, Anni-Yasmin 2022 Technische Universität Dresden
• Structural Frameworks with Higher-Level Rules – Philosophical Investigations on the Foundations of Formal Reasoning
  Schroeder-Heister, Peter 2022 Universitätsbibliothek Tübingen
• Girard's "Fixpoint Theorem"
  Hallnäs, Lars ; Schroeder-Heister, Peter 1992 Universitätsbibliothek Tübingen
• Einführung in probabilistische Logikprogrammierung mit einem Fanfiktion-Toy-Modell
  Doat, Joel 2022 GRIN Verlag
• Vergleiche und Transformationen für XML-Dokumente - Teil 2: Ein Ansatz zur hierarchischen, adaptiven Kollationierung
  Praetor, Klaus 2006 Berlin-Brandenburgische Akademie der Wissenschaften
• Vergleiche und Transformationen für XML - Dokumente
  Seipel, Dietmar 2006 Berlin-Brandenburgische Akademie der Wissenschaften
• Einführung in die mathematische Logik – ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
  Rautenberg, Wolfgang 1996 Vieweg
• Logikprogrammierung für Superrechner
  Engels, Johannes 1987 Inst. für Informatik III
• Regelbasierte Planung kollisionsfreier Bewegungsbahnen für Industrieroboter mittels objektorientierter Logikprogrammierung
  Schurig, Stefan
• Logik und Logikprogrammierung
  Hölldobler, Steffen Synchron, Wiss.-Verl. der Autoren
• Logik und Logikprogrammierung
  Hölldobler, Steffen 2003 Synchron, Wiss.-Verl. der Autoren
• Speicher-Synthese für allgemeine Multiprozessor-Systeme mit Constraint-Logikprogrammierung
  Beckmann, Renate 1998 VDI-Verl.
• Informatik – Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung
  1995 Springer Berlin Heidelberg