351 treff

logikkprogrammering
Programming constraint services : high-level programming of standard and new constraint services
Christian Schulte
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Non-standard inferences in description logics
Ralf Küsters
Bok Engelsk 2001 · Vis mer
Automatic verification of Petri nets in a CLP framework
Hans Olsén
Bok Engelsk 1997 · Vis mer
Arithmetic and logic in computer systems
Mi Lu
Bok Engelsk 2004 · Vis mer
Advances in inductive logic programming
edited by L. De Raedt
Bok Engelsk 1996 · Vis mer
GCLA : the design, use, and implementation of a program development system
Martin Aronsson
Bok Engelsk 1993 · Vis mer
Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers
Harrie de Swart ... [et al.] (eds.)
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Progress in artificial intelligence : knowledge, extraction, multi-agent systems, logic programming, and constraint solving : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
Portuguese Conference on Artificial Intelligence
Bok Engelsk 2001 · Vis mer
Logic-based program synthesis and transformation : 9th international workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
LOPSTR '99
Bok Engelsk 2000 · Vis mer
Logic-based program synthesis and transformation : 8th international workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
LOPSTR '98
Bok Engelsk 1999 · Vis mer
Logics in artificial intelligence : European workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings
European Workshop JELIA
Bok Engelsk 1998 · Vis mer
Part-whole reasoning in description logics
Patrick Lambrix
Bok Engelsk 1996 · Vis mer
Advances in databases : 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 12-14, 1995 : proceedings
British National Conference on Databases
Bok Engelsk 1995 · Vis mer
Advances in computer science - ASIAN 2004 : higher-level decision making : 9th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
Asian Computing Science Conference
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Semirings for soft constraint solving and programming
Stefano Bistarelli
Bok Engelsk 2004 · Vis mer
Computational logic in multi-agent systems : 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers
CLIMA IV
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
International Conference on Logic Programming and Nonmonotonic Reasoning
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
International Workshop on Deontic Logic in Computer Science
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
JELIA 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30-July 2, 2003 : selected papers
Joint ERCIM/CoLogNET International Workshop on ConstraintSolving and Constraint Logic Programming
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
LOPSTR 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1999 · Vis mer
Programming languages : implementations, logics, and programs : 9th international symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings
PLILP '97
Bok Engelsk 1997 · Vis mer
Logic and programming in logic
Ramin Yasdi ; translated by Chris. Bowerm...
Bok Engelsk 1997 · Vis mer
Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
PLILP '96
Bok Engelsk 1996 · Vis mer
Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
PLILP '95
Bok Engelsk 1995 · Vis mer
Logic : a foundation for computer science
V. Sperschneider & G. Antoniou
Bok Engelsk 1991 · Vis mer
Artificial intelligence in simulation
Iván Futó, Tamás Gergely
Bok Språk ikke angitt 1990 · Vis mer
Meta-programming in logic programming
edited by Harvey Abramson and M. H. Roger...
Bok Språk ikke angitt 1989 · Vis mer
Constraint satisfaction in logic programming
Pascal Van Hentenryck
Bok Engelsk 1989 · Vis mer