30 treff

logisk programmering
A grammatical view of logic programming
Deransart, P.
Bok Engelsk 1993 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 4. Epistemic and temporal reasoning
volume coordinator: Antony Galton
Bok Engelsk 1995 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 5. Logic programming

Bok Engelsk 1998 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 1. Logical foundations
volume co-ordinator: J. Siekmann
Bok Engelsk 1993 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 2. Deduction methodologies
volume co-ordinator: J. Siekmann
Bok Engelsk 1994 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 3. Nonmonotonic reasoning and uncertain reasoning
volume co-ordinator D. Nute
Bok Engelsk 1994 · Vis mer
Advances in inductive logic programming
edited by L. De Raedt
Bok Engelsk 1996 · Vis mer
Logic programming and nonmonotonic reasoning : 4th international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1997 · Vis mer
Generating production schedules using constraint logic programming
Cong Zhao Løkkeberg
Bok Engelsk 1995 · Vis mer
KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : proceedings
German Conference on Artificial Intelligence
Bok Engelsk 1994 · Vis mer
Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1999 · Vis mer
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1995 · Vis mer
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1998 · Vis mer
Foundations of inductive logic programming
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
Bok Engelsk 1997 · Vis mer
Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
NMELP '96
Bok Engelsk 1997 · Vis mer
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1996 · Vis mer
Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers
ICLP '94 Worksop
Bok Engelsk 1995 · Vis mer
Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1995 · Vis mer
Complexity, information and incompletenes
Panu Raatikainen
Bok Engelsk 1998 · Vis mer
Nonmonotonic reasoning
Grigoris Antoniou ; with contributions by...
Bok Engelsk 1997 · Vis mer
Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1997 · Vis mer
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [i.e. Romeu], France, May 17-21, 1993 : advanced course
French Spring School of Theoretical Computer Science
Bok Engelsk 1995 · Vis mer
Efficient processing with constraint-logic grammars using grammar compilation
Guido Minnen
Bok Engelsk 2001 · Vis mer
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1989 · Vis mer
Rewriting techniques and applications : 5th international conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1993 · Vis mer
Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1991 · Vis mer
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1987 · Vis mer
Rewriting techniques and applications : Dijon, France, May 20-22, 1985
International Conference on Rewriting Techniques and Applications
Bok Språk ikke angitt 1985 · Vis mer
Natural language understanding and logic programming, III : proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 January, 1991
International Workshop on Natural Language Understanding and Logic Programming
Bok Engelsk 1991 · Vis mer
The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution
Bob Carpenter
Bok Engelsk 1992 · Vis mer