Narrow your search

Library

KU Leuven (12)

ULiège (12)

ULB (9)

UCLouvain (8)

Odisee (5)

Thomas More Kempen (5)

Thomas More Mechelen (5)

UCLL (5)

VIVES (5)

UGent (4)

More...

Resource type

book (14)


Language

English (14)


Year
From To Submit

2009 (1)

2008 (1)

2007 (1)

2006 (1)

2005 (3)

More...
Listing 1 - 10 of 14 << page
of 2
>>
Sort by
Logic Programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
Authors: ---
ISSN: 16113349 ISBN: 3540429352 9783540429357 354045635X Year: 2001 Volume: 2237 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Logic programming --- Programmation logique --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- 681.3*D16 --- 681.3*D3 --- 681.3*F3 --- 681.3*F41 --- 681.3*I23 --- Computerwetenschap--?*D16 --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- Logic programming. --- Congrès --- Computer science. --- Architecture, Computer. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Artificial Intelligence (incl. Robotics). --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Architecture, Computer --- Informatics --- Science --- Programming --- Computer programming --- Computer network architectures. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture

Logic programming : proceedings of the eighth international conference : [held in Paris, France, June 24-28, 1991]
Authors: ---
ISSN: 10610464 ISBN: 0262560585 9780262560580 Year: 1991 Publisher: Cambridge (MA) London : MIT Press,


Book
Logic programming : proceedings of the sixth international conference : [held in Lisbon, Portugal, June 19-23, 1989]
Authors: --- ---
ISBN: 0262620650 9780262620659 Year: 1989 Publisher: Cambridge (MA) London : MIT Press,


Book
Logic programming : proceedings of the fourth international conference : [held at Melbourne university, May 25-29, 1987]
Authors: ---
ISBN: 0262121255 9780262121255 Year: 1987 Publisher: Cambridge (MA) London : MIT Press,

Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Authors: --- ---
ISSN: 03029743 ISBN: 9783540366355 3540366350 3540366369 Year: 2006 Volume: 4079 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Logic programming --- Programmation logique --- Congresses. --- Congrès --- Information Technology --- Computer Science (Hardware & Networks) --- Computer Science --- Engineering & Applied Sciences --- Academic collection --- 681.3*D16 --- 681.3*I23 <063> --- 681.3*I24 <063> --- 681.3*D3 --- 681.3*F3 --- 681.3*F4 --- Computerwetenschap--?*D16 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 681.3*I24 <063> Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence)--Congressen --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- 681.3*D16 Computer science--?*D16 --- 681.3*D16 Computerwetenschap--?*D16 --- Computer science--?*D16 --- Conferences - Meetings --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Artificial Intelligence (incl. Robotics). --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Computer software engineering --- Engineering --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 : proceedings
Authors: --- ---
ISBN: 9783540746089 3540746080 3540746102 Year: 2007 Publisher: Berlin ; Heidelberg ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Logic programming --- Programmation logique --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Computer Science (Hardware & Networks) --- Computer programming --- Conferences - Meetings --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Artificial Intelligence (incl. Robotics). --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory

Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
Authors: ---
ISSN: 03029743 ISBN: 3540439307 9783540439301 3540456198 Year: 2002 Volume: 2401 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002. The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.

Keywords

Logic programming --- Computer science. --- Architecture, Computer. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Artificial intelligence. --- Mathematical logic. --- Computer Science. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Mathematical Logic and Foundations. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computer network architectures. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Programming --- Logic programming - Congresses

Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
Authors: --- ---
ISSN: 03029743 ISBN: 3540226710 9783540277757 3540277757 9783540226710 Year: 2004 Volume: 3132 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the papers presented at the 20th International Conference on Logic Programming,held in Saint-Malo,France,September 6–10,2004.Since the ?rst meeting in this series, held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. This year, we received 70 technical papers from countries all over the world, and the Program Committee accepted 28 of them for presentation;they are included in this volume. A stand-by-your-poster session took place during the conference. It served as a forum for presenting work in a more informal and interactive setting. Abstracts of the 16 posters selected by the Program Committee are included in this volume as well. The conference program also included invited talks and invited tutorials. We were privileged to have talks by three outstanding researchers and excellent speakers: Nachum Dershowitz (Tel Aviv University, Israel) talked on Ter- nation by Abstraction, Michael Gelfond (Texas Tech University, USA) on - swer Set Programming and the Design of Deliberative Agents,andG´ erard Huet (INRIA, France) on Non-determinism Lessons. Two of the invited talks appear in these proceedings. The tutorials covered topics of high interest to the logic programming community: Ilkka Niemel¨ a gave a tutorial on The Implementation of Answer Set Solvers, Andreas Podelskion Tree Automata in Program Analysis and Veri?cation, and Guillermo R. Simari on Defeasible Logic Programming and Belief Revision. Satellite workshops made the conference even more interesting. Six workshops collocated with ICLP 2004: – CICLOPS2004, Colloquium on Implementation of Constraint and Logic Programming Systems, organized by Manuel Carro. – COLOPS2004, 2nd International Workshop on Constraint & Logic Progr- ming in Security, organized by Frank Valencia. – MultiCPL2004, 3rd International Workshop on Multiparadigm Constraint, organized by Petra Hofstedt. – Teach LP2004,1st International Workshop on Teaching Logic Programming, organized by Dietmar Seipel.

Keywords

Academic collection --- 681.3*D16 --- 681.3*I23 --- 681.3*D3 --- 681.3*D3 Programming languages --- Programming languages --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Computerwetenschap--?*D16 --- Logic programming --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Artificial Intelligence (incl. Robotics). --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Logic programming - Congresses.


Book
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Authors: --- ---
Year: 2005 Publisher: Berlin ; New York : Springer,


Book
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Authors: --- ---
Year: 2005 Publisher: Berlin ; New York : Springer,

Listing 1 - 10 of 14 << page
of 2
>>
Sort by