Parallele Logiksimulation effiziente Methoden dür Multicomputer

Ein Modell zur parallelen Ausführung von Logikprogrammen auf der Basis von partiellen AND-Prozessen
von: Schend, Bernd
Veröffentlicht: (1988)

Parallel execution of logic programs
von: Conery, John S.
Veröffentlicht: (1987)

Concurrent constraint programming
von: Saraswat, Vijay A.
Veröffentlicht: (1993)

Goal-directed forward chaining for logic programs
von: Burgard, Wolfram 1961-
Veröffentlicht: (1991)

Goal-directed forward chaining a linear resolution strategy
von: Burgard, Wolfram 1961-
Veröffentlicht: (1990)

Untersuchungen zur Aufgabenverteilung für Logiksimulations-Maschinen
von: Nikodem, Manfred
Veröffentlicht: (1987)

Parallele Abarbeitung logischer Programme auf einem Multi-Transputer-System
von: Walter, Jörg
Veröffentlicht: (1993)

Special issue on the Workshop on Parallel Logic Programming [ held in March 1994 at the University of Oregon in Eugene, Oregon ... ]
Veröffentlicht: (1996)

Theorie der logischen Programmierung eine elementare Einführung
von: Schmitt, Peter H. 1948-
Veröffentlicht: (1992)

Parallel logic programming
Veröffentlicht: (1996)

Parallel co-simulation for mechatronic systems
von: Friedrich, Markus
Veröffentlicht: (2011)

Kurs in logischer Programmierung
von: Fuchs, Norbert E.
Veröffentlicht: (1990)

Logic programming proceedings of the 1995 international symposium ; [ILPS'95 ; December 4 - 7, Portland, Oregon]
Veröffentlicht: (1995)

Special issue on inductive logic programming
Veröffentlicht: (1995)

Programs for logical data processing
Veröffentlicht: (1960)

Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle]

Artificial intelligence and mathematics

Induction of linear temporal logic programs
von: Kolter, Robert
Veröffentlicht: (2004)

Logic programming proceedings of the ... conference
Veröffentlicht: (1986)

Special issue on inductive logic programming 97 ... papers presented at the Seventh International Workshop on ILP, held in Prague in 1997
Veröffentlicht: (1999)

Logical foundations of computer science [ lectures given at the 4th International Symposium on Logical Foundations of Computer Science in Yaroslavl, Russia, July 6 - 12, 1997 ]
Veröffentlicht: (1999)

Proceedings of the ... International Logic Programming Conference

Logic grammars
von: Abramson, Harvey
Veröffentlicht: (1989)

Logic programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 ; proceedings
Veröffentlicht: (2004)

Combining a network database with logic programming
von: Frank, Andrew U.
Veröffentlicht: (1985)

Programming with higher-order logic
von: Miller, Dale 1956-, et al.
Veröffentlicht: (2012)

The Symposium on Logical Foundations of Computer Science 2009 [(LFCS 09) ... Deerfield Beach, Florida, from January 3 - 6]
Veröffentlicht: (2012)

Proceedings of the 4th UK Conference on Logic Programming London, 30 March - 1 April 1992
Veröffentlicht: (1993)

Technical communications of the 34th International Conference on Logic Programming ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom
Veröffentlicht: (2018)

Logic programming by compilation and interpretation of formal derivations
von: Schmerl, Ulf Roland 1946-
Veröffentlicht: (1989)

Logic programming '88 proceedings of the 7. Conference, Tokyo, Japan, April 11 - 14, 1988
Veröffentlicht: (1989)

Logic programming eighty-seven '87 proceedings of the 6th conference Tokyo, Japan, June 22 - 24, 1987
Veröffentlicht: (1988)

Logic programming 86 proceedings of the 5. conference, Tokyo, Japan, June 23 - 26, 1986
Veröffentlicht: (1987)

Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) ICLP 2016, October 16–21, 2016, New York City, USA
Veröffentlicht: (2016)

Technical Communications of the 26th International Conference on Logic Programming (ICLP'10) ICLP’10, July 16–19, 2010, Edinburgh, UK
Veröffentlicht: (2010)

Logic programming '86 proceedings of the 5th conference, Tokyo, Japan, June 23 - 26, 1986
Veröffentlicht: (1987)