The action as implication paradigm formal systems and application von Fronhöfer, Bertram

Inhaltsverzeichnis

Default connections in a modal planning framework von Fronhöfer, Bertram

ESPRIT project 973 ALPES a programming environment for logic programming von Fronhöfer, Bertram, Furbach, Ulrich 1948-

Improvement of recursive programs from a logic programming point of view von Fronhöfer, Bertram, Caferra, Ricardo 1945-, Jacquet, Philippe 20. Jh./21. Jh

Massively parallel inference systems von Furbach, Ulrich 1948-, Suttner, Christian, Fronhöfer, Bertram

Program optimization by analyzing similar repetitive subcomputations von Fronhöfer, Bertram, Moser, Max

Transformation systems for program synthesis Knuth-Bendix completion and fold/unfold von Fronhöfer, Bertram, Furbach, Ulrich 1948-

PLANLOG a language framework for the integration of procedural and logical programming von Fronhöfer, Bertram

Logik und Logikprogrammierung von Bader, Sebastian 1977-, Hölldobler, Steffen 1957-2023, Fronhöfer, Bertram, Hans, Ursula, Hitzler, Pascal, Krötzsch, Markus, Pietzsch, Tobias 1975-

The action-as-implication paradigm formal systems and application von Fronhöfer, Bertram

Implementing exception in inheritance by concept transforming actions von Fronhöfer, Bertram

Plan schemes in Planlog von Fronhöfer, Bertram

Logic oriented program synthesis von Kreitz, Christoph, Neugebauer, Gerd, Fronhöfer, Bertram

Knuth-Bendix completion versus fold/unfold a comparative study in program synthesis von Fronhöfer, Bertram, Furbach, Ulrich 1948-

Heuristics for recursion improvement von Fronhöfer, Bertram

On refinements of the connection method von Fronhöfer, Bertram