Journal of Experimental & Theoretical Artificial Intelligence, Volume 27, Issue 5 (2015)

Browse this journal
Sample our Computer Science journals, sign in here to start your access, latest two full volumes FREE to you for 14 days

Journal of Experimental & Theoretical Artificial Intelligence, Volume 27, Issue 5 (2015)

See all volumes and issues
Vol 36, 2024 Vol 35, 2023 Vol 34, 2022 Vol 33, 2021 Vol 32, 2020 Vol 31, 2019 Vol 30, 2018 Vol 29, 2017 Vol 28, 2016 Volume 27, 2015 Vol 26, 2014 Vol 25, 2013 Vol 24, 2012 Vol 23, 2011 Vol 22, 2010 Vol 21, 2009 Vol 20, 2008 Vol 19, 2007 Vol 18, 2006 Vol 17, 2005 Vol 16, 2004 Vol 15, 2003 Vol 14, 2002 Vol 13, 2001 Vol 12, 2000 Vol 11, 1999 Vol 10, 1998 Vol 9, 1997 Vol 8, 1996 Vol 7, 1995 Vol 6, 1994 Vol 5, 1993 Vol 4, 1992 Vol 3, 1991 Vol 2, 1990 Vol 1, 1989
Download citations Download PDFs Download issue

Knowledge Representation and Automated Reasoning

Preface

Article
20th RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Toni Mancini, Marco Maratea & Francesco Ricca
Pages: 501-502
Published online: 11 Feb 2015
Citationfor20th RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” | Full Text | PDF (77.5 KB)
  • 575 Views
  • 0 CrossRef citations
  • 0Altmetric
Free Access

Articles

Article
A declarative concurrent system for protein structure prediction on GPU
Federico Campeotto, Agostino Dovier & Enrico Pontelli
Pages: 503-541
Published online: 24 Feb 2015
AbstractforA declarative concurrent system for protein structure prediction on GPU | Full Text | References | PDF (1 MB)
  • 102 Views
  • 9 CrossRef citations
  • 0Altmetric
Article
Yet more planning efficiency: Finite-domain state-variable reformulation
Filip Dvořák, Daniel Toropila & Roman Barták
Pages: 543-576
Published online: 12 May 2015
AbstractforYet more planning efficiency: Finite-domain state-variable reformulation | Full Text | References | PDF (5.4 MB)
  • 93 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
Effectively solving NP-SPEC encodings by translation to ASP
Mario Alviano & Wolfgang Faber
Pages: 577-601
Published online: 12 Jan 2015
AbstractforEffectively solving NP-SPEC encodings by translation to ASP | Full Text | References | PDF (1.1 MB)
  • 48 Views
  • 0 CrossRef citations
  • 0Altmetric
Article
Effective plan retrieval in case-based planning for metric-temporal problems
Andrea Bonisoli, Alfonso Emilio Gerevini, Alessandro Saetti & Ivan Serina
Pages: 603-647
Published online: 16 Feb 2015
AbstractforEffective plan retrieval in case-based planning for metric-temporal problems | Full Text | References | PDF (1 MB)
  • 75 Views
  • 3 CrossRef citations
  • 0Altmetric
Article
A Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems
Zineb Habbas, Kamal Amroun & Daniel Singer
Pages: 649-671
Published online: 21 Apr 2015
AbstractforA Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems | Full Text | References | PDF (317.3 KB)
  • 168 Views
  • 6 CrossRef citations
  • 0Altmetric
Article
Improving linear search algorithms with model-based approaches for MaxSAT solving
Ruben Martins, Vasco Manquinho & Inês Lynce
Pages: 673-701
Published online: 12 Jan 2015
AbstractforImproving linear search algorithms with model-based approaches for MaxSAT solving | Full Text | References | PDF (645.1 KB)
  • 107 Views
  • 4 CrossRef citations
  • 0Altmetric

Explore articles