Log In

• Register Now
• Guest
• Username or Email Address Password
• Athens Log In
• Shibboleth Log In
• Forgot your Password?

Download our New Catalogues

Our full range of Journal Subject Catalogues and our Electronic Packages are online for you to download as fully linked PDFs. Click here to see our full range. more details

See larger image

• Editor(s):
• I Niemelä, Aalto University School of Science and Technology, Finland
  
• Editorial Board

Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.

Published for the Association for Logic Programming

• ISSN: 1471-0684
• EISSN: 1475-3081

• Book Review Editor:
• Books for review, or suggestions for review, should be sent to the reviews editor Krzysztof R. Apt (apt@cwi.nl)

Available Volumes

Checking for available Accepted Manuscripts... Accepted Manuscripts

First View Articles

Current Volume [Hide Current Volume] Current Volume

2010 Volume 10
	Issue 01	Jan 2010	pp 1 - 123
	Issue 02	Mar 2010	pp 125 - 241
	Special Issue 03 Logic Programming in Databases: from Datalog to Semantic-Web Rules	May 2010	pp 243 - 359
	Special Issue 4-6 26th International Conference on Logic Programming	Jul 2010	pp 361 - 775

Back Volumes [Hide Back Volumes] Back Volumes

• 2009 (Volume 9) 2009 (Volume 9) Theory and Practice of Logic Programming

	Issue 01	Jan 2009	pp 1 - 144
	Issue 02	Mar 2009	pp 145 - 243
	Issue 03	May 2009	pp 245 - 414
	Issue 04	Jul 2009	pp 415 - 564
	Issue 05	Sep 2009	pp 565 - 689
	Issue 06	Nov 2009	pp 691 - 819

• 2008 (Volume 8) 2008 (Volume 8) Theory and Practice of Logic Programming

	Issue 01	Jan 2008	pp 1 - 128
	Issue 02	Mar 2008	pp 129 - 246
	Issue 03	May 2008	pp 247 - 429
	Issue 04	Jul 2008	pp 431 - 543
	Issue 5-6	Nov 2008	pp 545 - 761

• 2007 (Volume 7) 2007 (Volume 7) Theory and Practice of Logic Programming

	Issue 1-2	Jan 2007	pp 1 - 247
	Issue 03	May 2007	pp 249 - 375
	Issue 04	Jul 2007	pp 377 - 503
	Issue 05	Sep 2007	pp 505 - 632
	Issue 06	Nov 2007	pp 633 - 759

• 2006 (Volume 6) 2006 (Volume 6) Theory and Practice of Logic Programming

	Issue 1-2	Jan 2006	pp 1 - 224
	Issue 03	May 2006	pp 225 - 353
	Issue 04	Jul 2006	pp 355 - 481
	Issue 05	Sep 2006	pp 483 - 607
	Issue 06	Nov 2006	pp 609 - 749

• 2005 (Volume 5) 2005 (Volume 5) Theory and Practice of Logic Programming

	Issue 1-2	Jan 2005	pp 1 - 271
	Issue 03	May 2005	pp 273 - 399
	Issue 4-5	Jul 2005	pp 401 - 600
	Issue 06	Nov 2005	pp 601 - 760

• 2004 (Volume 4) 2004 (Volume 4) Theory and Practice of Logic Programming

	Issue 1+2	Jan 2004	pp 1 - 237
	Issue 03	May 2004	pp 239 - 382
	Issue 04	Jul 2004	pp 383 - 541
	Issue 5-6	Sep 2004	pp 543 - 762

• 2003 (Volume 3) 2003 (Volume 3) Theory and Practice of Logic Programming

	Issue 01	Jan 2003	pp 1 - 128
	Issue 02	Mar 2003	pp 129 - 257
	Issue 03	May 2003	pp 259 - 385
	Issue 4+5	Jul 2003	pp 387 - 622
	Issue 06	Nov 2003	pp 625 - 767

• 2002 (Volume 2) 2002 (Volume 2) Theory and Practice of Logic Programming

	Issue 01	Jan 2002	pp 1 - 124
	Issue 02	Mar 2002	pp 125 - 261
	Issue 03	May 2002	pp 263 - 421
	Issue 4-5	Jul 2002	pp 423 - 643
	Issue 06	Nov 2002	pp 645 - 805

• 2001 (Volume 1) 2001 (Volume 1) Theory and Practice of Logic Programming

	Issue 01	Jan 2001	pp 1 - 128
	Issue 02	Mar 2001	pp 129 - 247
	Issue 03	May 2001	pp 249 - 380
	Issue 04	Jul 2001	pp 381 - 495
	Issue 05	Sep 2001	pp 497 - 632
	Issue 06	Nov 2001	pp 637 - 777