-
521Published 2005Table of Contents: “… Latipes) for an Insecticide Using Decision Tree -- Support Vector Inductive Logic Programming -- Measuring…”
Full Text via HEAL-Link
Electronic eBook -
522Published 2012Table of Contents: “… Temporal Logic with Mean-Payoff Constraints -- Time Constraints with Temporal Logic Programming -- Stepwise…”
Full Text via HEAL-Link
Electronic eBook -
523
-
524Published 2003Table of Contents: “…-Compliant Platforms -- Logic Programming for Evolving Agents -- Temporal and Spatial Analysis to Personalise…”
Full Text via HEAL-Link
Electronic eBook -
525Published 2000Table of Contents: “… Logic Programs -- On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common…”
Full Text via HEAL-Link
Electronic eBook -
526Published 2001Table of Contents: “… -- Nominal Logic: A First Order Theory of Names and Binding -- Session 4 -- A Logic Programming Language…”
Full Text via HEAL-Link
Electronic eBook -
527Published 2007Table of Contents: “… -- Compactness Properties for Stable Semantics of Logic Programs -- Uniform Circuits, & Boolean Proof Nets…”
Full Text via HEAL-Link
Electronic eBook -
528Published 2006Table of Contents: “… Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal…”
Full Text via HEAL-Link
Electronic eBook -
529Published 2014Table of Contents: “… on Block Aggregation -- An R-Calculus for the Logic Programming -- An R-Calculus for the Logic Programming…”
Full Text via HEAL-Link
Electronic eBook -
530Published 2003Table of Contents: “… Evolutionary Model -- Constraint and Logic Programming Systems (CLPS) -- Solving Set Partitioning Problems…”
Full Text via HEAL-Link
Electronic eBook -
531Published 2017Table of Contents: “… Inference -- Inductive Logic Programming -- Inductive Programming -- Inductive Transfer -- Inverse…”
Full Text via HEAL-Link
Electronic eBook -
532Published 2009Table of Contents: “… of Distributed Logic Programs -- A Framework for Agent-Based Evaluation of Genetic Algorithms -- Efficient…”
Full Text via HEAL-Link
Electronic eBook -
533Published 2012Table of Contents: “… -- Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms -- Learning…”
Full Text via HEAL-Link
Electronic eBook -
534Published 1997Table of Contents: “… mobile robot -- Encoding planning problems in nonmonotonic logic programs -- An argument for a hybrid HTN…”
Full Text via HEAL-Link
Electronic eBook -
535Published 2000Table of Contents: “… Calculi to Process Frameworks -- Verification Using Tabled Logic Programming -- Accepted Papers -- Open…”
Full Text via HEAL-Link
Electronic eBook -
536Published 2002Table of Contents: “…, Bayes' Theorem and Rough Sets -- The Generic Rough Set Inductive Logic Programming (gRS-ILP) Model…”
Full Text via HEAL-Link
Electronic eBook -
537Published 2002Table of Contents: “… on Multi-agent Architectures -- - A Dynamic Logic Programming Agent Architecture -- Running AgentSpeak(L…”
Full Text via HEAL-Link
Electronic eBook -
538Published 2000Table of Contents: “… -- Analysis of Downward Closed Properties of Logic Programs -- Invited Talk: ASM Formalware in the Software…”
Full Text via HEAL-Link
Electronic eBook -
539Published 2010Table of Contents: “…Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse…”
Full Text via HEAL-Link
Electronic eBook -
540Published 2005Table of Contents: “… Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A…”
Full Text via HEAL-Link
Electronic eBook