Вы здесь

Главная

логическое программирование

Связанные издания:

Implicit Definition of Logic Programs
Improving Homeomorphic Enbedding for Online Termination
Improving Search for Job-Shop Scheduling with CLP(FD)
Incremental Constraints Maintenance in Concurrent Logic Programming
Incremental Execution of Transformation Specifications
Incremental Learning of Functional Logic Programs
Inducing Integrity Constraints from Knowledge Bases
Inductive Logic Programmiing: Revised Selected Papers/24th International Conference, ILP 2014, Nancy, France, September 2014
Inductive Logic Programming Based on Genetic Algorithm
Inductive Logic Programming: Proc./10th Intern. Conf., ILP 2000, London, UK, July 2000
Inductive Logic Programming: Proc./11th Intern. Conf., ILP 2001, Strasbourg, France, September 2001
Inductive Logic Programming: Proc./12th Intern. Conf., ILP 2002, Sydney, Australia, July 2002
Inductive Logic Programming: Proc./13th Intern. Conf., ILP 2003, Szeged, Hungary, September-October 2003
Inductive Logic Programming:Proc./14th International Conference, ILP 2004. Porto, Portugal, September 2004
Inductive Logic Programming: Proc./15th International Conference, ILP 2005. Bonn, Germany, August 2005
Inductive Logic Programming: Proc./18th International Conference, ILP 2008. Prague, Czech Republic, September 2008
Inductive Logic Programming: Proc./28th International Conference, ILP 2018, Ferrara, Italy, September 2018
Inductive Logic Programming: Proc./29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 2019
Inductive Logic Programming: Proc./30th International Conference, ILP 2021, Virtual Event, October 2021
Inductive Logic Programming: Proc./6th Intern. Workshop, ILP-96. Stockholm, Sweden, August 1996
Inductive Logic Programming: Proc./7th Intern. Workshop, ILP-97. Prague, Czech Republic, September 1997
Inductive Logic Programming: Proc./8th Intern. Conf., ILP-98. Madison, Wisconsin, USA, July 1998
Inductive Logic Programming: Proc./ 9th International Workshop, ILP-99, Bled, Slovenia, June 1999
Inductive Logic Programming: Revised Selected Papers/16th International Conference, ILP 2006. Santiago de Compostela, Spain, August 2006
Inductive Logic Programming: Revised Selected Papers/17th International Conference, ILP 2007. Corvallis, OR, USA, June 2007
Inductive Logic Programming: Revised Selected Papers/23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 2013
Inductive Logic Programming: Revised Selected Papers/25th International Conference, ILP 2015, Kyoto, Japan, August 2015
Inductive Logic Programming: Revised Selected Papers/26th International Conference, ILP 2016, London, UK, September 2016
Inductive Logic Programming: Revised Selected Papers/27th International Conference, ILP 2017, Orleans, France, September 2017
Inferring Left-Terminating Classes of Queries for Constraint Logic Programs
Integrating Abductive and Constraint Logic Programming
Integrating Efficient Records into Concurrent Constraint Programming
Integrating Logic Programming and Equational Specification of Abstract Data Types
Integrating Numerical and Qualitative Models within Constraint Logic Programming
Integrating Static and Dynamic Sort Checking in Logic Programming
Integration of AI and OR Techniques in Constraint Programming: Proc./11th International Conference, CPAIOR 2014, Cork, Ireland, May 2014
Integration of AI and OR Techniques in Constraint Programming: Proc./14th International Conference, CPAIOR 2017, Padua, Italy, June 2017
Intelligent backtracking for CLP languages. An application to CLP (R)
Interval Domain Library for ECLiPSe and Its Application
Introduction to Artificial Intelligence
Intuitionistic Implication in Abstract Interpretation
I/O Mode Analysis in Concurrent Logic Programming
KI 2007: Advances in Artificial Intelligence: Proc./30th Annual German Conference on AI, KI 2007. Osnabrueck, Germany, September 2007
KI 2020: Advances in Artificial Intelligence: Proc./43rd German Conference on AI, Bamberg, Germany, September 2020
Knowledge-Based Intelligent Information and Engineering Systems, Part II: Proc./9th International Conference, KES 2005. Melbourne, Australia, September 2005
Knowledge Discovery in Databases - An Inductive Logic Programming Approach
Knowledge Science, Engineering and Management: Proc./Second International Conference, KSEM 2007. Melbourne, Australia, November 2007
Learning Programming in Prolog Using Schemata
Learning Query Rules for Optimizing Databases with Update Rules
Linear Tabulated Resolution Based on Prolog Control Strategy