scientific article; zbMATH DE number 783783

Publication date: 10 August 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

automated reasoning machine learning knowledge engineering knowledge bases

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Artificial intelligence (68Txx)

Related Items

A refutation of Penrose's Gödelian case against artificial intelligence ⋮ A Study of Symmetry Breaking Predicates and Model Counting ⋮ Scenario-Based Verification of Uncertain MDPs ⋮ Decentralized adaptive scheduling using consensus variables ⋮ Viewpoint: Ethical By Designer - How to Grow Ethical Designers of Artificial Intelligence ⋮ Computational Benefits of Intermediate Rewards for Goal-Reaching Policy Learning ⋮ Abductive case-based reasoning ⋮ A novel artificial neural networks architecture based on cerebellum model ⋮ Using an \(A^\ast\)-based framework for decomposing combinatorial optimization problems to employ NISQ computers ⋮ Heuristic search of optimal machine teaching curricula ⋮ Unnamed Item ⋮ Machine learning and logic: a new frontier in artificial intelligence ⋮ A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot ⋮ A conflict-directed approach to chance-constrained mixed logical linear programming ⋮ Sequential model-based diagnosis by systematic search ⋮ A heuristic approach to domino grid problem ⋮ Synthesis of Trajectory Planning Algorithms Using Evolutionary Optimization Algorithms ⋮ A noise-based stabilizer for convolutional neural networks ⋮ Parameter synthesis in Markov models: a gentle survey ⋮ Unnamed Item ⋮ Evolution of semi-Kantian preferences in two-player assortative interactions with complete and incomplete information and plasticity ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ A Numerical Framework for Nonlinear Peridynamics on Two-Dimensional Manifolds Based on Implicit P-(EC)\(^{ {\boldsymbol k}}\) Schemes ⋮ POMDP controllers with optimal budget ⋮ On combining ontologies and rules ⋮ Off-policy evaluation in partially observed Markov decision processes under sequential ignorability ⋮ Heat and energy consumption management of a public object ⋮ Unnamed Item ⋮ Understanding the epidemiology of foreign body injuries in children using a data-driven Bayesian network ⋮ Unnamed Item ⋮ On Sparse Discretization for Graphical Games ⋮ Qualitative Numeric Planning: Reductions and Complexity ⋮ Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints ⋮ Two-phase selective decentralization to improve reinforcement learning systems with MDP ⋮ Why the ‘selfish’ optimizing agents could solve the decentralized reinforcement learning problems ⋮ Superintelligence Cannot be Contained: Lessons from Computability Theory ⋮ Parametric logarithmic type image processing for contrast based auto-focus in extreme lighting conditions ⋮ On the Complexity of Reachability in Parametric Markov Decision Processes ⋮ Computer Graphics and Games, Agent-Based Modeling in ⋮ Finding Effective SAT Partitionings Via Black-Box Optimization ⋮ Hill-Climbing Algorithm with a Stick for Unconstrained Optimization Problems ⋮ Solving Constraint-Satisfaction Problems with Distributed Neocortical-Like Neuronal Networks ⋮ Unnamed Item ⋮ Robust predictive cruise control for commercial vehicles ⋮ Lazy Constraint Imposing for Improving the Path Constraint ⋮ The Secret Life of Keys: On the Calculation of Mechanical Lock Systems ⋮ Mind the Divide Surrounding Knowledge Representation ⋮ Introduction (to the special issue on: Economics and artificial intelligence) ⋮ Forecasting the efficiency of test generation algorithms for combinational circuits ⋮ Automatic Generation of Adaptation Contracts ⋮ Unnamed Item ⋮ Algorithm portfolios ⋮ Exploiting symmetries within constraint satisfaction search ⋮ Minimax real-time heuristic search ⋮ Partial order bounding: A new approach to evaluation in game tree search ⋮ Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving ⋮ Cooperation of categorical and behavioral learning in a practical solution to the abstraction problem ⋮ Information gathering and searching approaches on the Web ⋮ Heuristic models of fuzzy time series for forecasting ⋮ Unnamed Item ⋮ Database semantics for natural language ⋮ Using acceptors as transducers ⋮ Robust logics ⋮ Sensor selection for fault diagnosis in uncertain systems ⋮ Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem ⋮ A channel-based perspective on conjugate priors ⋮ The Epistemology of Computer-Mediated Proofs ⋮ Designing the Robot Behavior for Safe Human–Robot Interactions ⋮ Unnamed Item ⋮ Causal Graphical Models with Latent Variables: Learning and Inference ⋮ A DEEP IMPROVER OF TWO-MOVE CHESS MATE PROBLEMS ⋮ Parallel Algorithms for Minimal Nondeterministic Finite Automata Inference ⋮ Search Interfaces for Mathematicians ⋮ Time Complexity of Constraint Satisfaction via Universal Algebra ⋮ A Formal Semantics of Influence in Bayesian Reasoning ⋮ A Sufficient Statistic for Influence in Structured Multiagent Environments ⋮ On transformation of conditional, conformant and parallel planning to linear programming ⋮ An Introduction to Learning Automata and Optimization ⋮ A Gentle Introduction to Reinforcement Learning ⋮ A family of admissible heuristics for \(\mathrm{A}^*\) to perform inference in probabilistic classifier chains ⋮ On the use of stochastic local search techniques to revise first-order logic theories from examples ⋮ Econophysics: past and present ⋮ The behavior of stochastic agent-based models when the number of agents and the time variable tend to infinity ⋮ Learning multicriteria classification models from examples: decision rules in continuous space ⋮ A verification framework for agent programming with declarative goals ⋮ Nonlinear shape-manifold learning approach: concepts, tools and applications ⋮ Dissimilarity measures for population-based global optimization algorithms ⋮ Similarity measures based on compiled arguments ⋮ Information processing by networks of quantum decision makers ⋮ GSA: A gravitational search algorithm ⋮ A simplified matrix formulation for sensitivity analysis of hidden Markov models ⋮ Partitioned hybrid learning of Bayesian network structures ⋮ Open problems in universal induction \& intelligence ⋮ A formalism to specify unambiguous instructions inspired by Mīmāṁsā in computational settings ⋮ A randomized tabu search-based approach for perfect stranger matching in economic experiments ⋮ Transferring skills to humanoid robots by extracting semantic representations from observations of human activities ⋮ Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes ⋮ Error bounds for stochastic shortest path problems ⋮ Improving type error messages for generic Java ⋮ An event driven integration reasoning scheme for handling dynamic threats in an unstructured environment ⋮ Rationality and intelligence ⋮ Failure driven dynamic search control for partial order planners: an explanation based approach ⋮ Netscan: a procedure for generating reaction networks by size ⋮ Recursive compositional models for vision: description and review of recent work ⋮ Decision making and optimization in changeable spaces, a new paradigm ⋮ Automatically selecting and using primary effects in planning: Theory and experiments. ⋮ HMM with emission process resulting from a special combination of independent Markovian emissions ⋮ A self-referential agent-based model that consists of a large number of agents moving stochastically in a discrete bounded domain. ⋮ Learning efficient logic programs ⋮ Multicriteria heuristic search. ⋮ Introduction to computability logic ⋮ Patterns of abduction ⋮ Privacy stochastic games in distributed constraint reasoning ⋮ Artificial neural network in cosmic landscape ⋮ A cost-effective planning graph approach for large-scale Web Service Composition ⋮ A machine learning view on momentum and reversal trading ⋮ A new methodology for evolutionary optimization of energy systems. ⋮ An evolutionary and constructive approach to a crew scheduling problem in underground passenger transport ⋮ Search-based structured prediction ⋮ On the infeasibility of modeling polymorphic shellcode. Re-thinking the role of learning in intrusion detection systems ⋮ Predicting click-through rates of new advertisements based on the Bayesian network ⋮ Probability, logic and the cognitive foundations of rational belief. ⋮ D-optimal design of a monitoring network for parameter estimation of distributed systems ⋮ Finding optimal satisficing strategies for and-or trees ⋮ Comparing action descriptions based on semantic preferences ⋮ Two new bidirectional search algorithms ⋮ Correctness of sequential Monte Carlo inference for probabilistic programming languages ⋮ Directed reachability for infinite-state systems ⋮ Using temporal logics to express search control knowledge for planning ⋮ Experiences with an interactive museum tour-guide robot ⋮ On agent-based software engineering ⋮ Flexible and scalable cost-based query planning in mediators: A transformational approach ⋮ Discovering outlying aspects in large datasets ⋮ Anytime discovery of a diverse set of patterns with Monte Carlo tree search ⋮ Reward is enough ⋮ Extremal numbers for directed hypergraphs with two edges ⋮ An adversarial optimization approach to efficient outlier removal ⋮ Modelling relational statistics with Bayes nets ⋮ Potential modeling: conditional independence matters ⋮ Remarks on the \(\mathrm A^{\ast\ast}\) algorithm ⋮ Self-organization and multiagent systems. I: Models of multiagent self-organization ⋮ Inducing finite state machines from training samples using ant colony optimization ⋮ Analysis and a survey of evolutionary models ⋮ An approach to hybrid probabilistic models ⋮ A Petri net based algorithm for minimizing total tardiness in flexible manufacturing systems ⋮ An anytime tree search algorithm for the 2018 ROADEF/EURO challenge glass cutting problem ⋮ Information gathering in Bayesian networks applied to petroleum prospecting ⋮ Extending greedy feature selection algorithms to multiple solutions ⋮ Inexact graph matching using a hierarchy of matching processes ⋮ Natural strategic ability ⋮ Formalizing the procedure for the formation of a dynamic equilibrium of alternatives in a multi-agent environment in decision-making by majority of votes ⋮ Adaptive covariate acquisition for minimizing total cost of classification ⋮ Anytime pack search ⋮ Characterizing attitudinal network graphs through frustration cloud ⋮ Combining forecasts in the presence of ambiguity over correlation structures ⋮ Computing the execution probability of jobs with replication in mixed-criticality schedules ⋮ Fast retraining from SDM ⋮ The logic of qualitative probability ⋮ Credal networks ⋮ Formal methods in pattern recognition: A review ⋮ Designing a self-constructing fuzzy neural network controller for damping power system oscillations ⋮ Learning Bayesian networks from big data with greedy search: computational complexity and efficient implementation ⋮ Data science vs. statistics: two cultures? ⋮ Unranked fuzzy logic and reasoning ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ The logic of tasks ⋮ Effective connectivity at synaptic level in humans: a review and future prospects ⋮ Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction ⋮ Quantum-like Gaussian mixture model ⋮ Adaptive infinite dropout for noisy and sparse data streams ⋮ Asynchronous knowledge with hidden actions in the situation calculus ⋮ A compiler for business simulations: Toward business model development by yourselves ⋮ MACLP: multi agent constraint logic programming ⋮ Restructuring of the model ``state-probability of choice based on products of stochastic rectangular matrices ⋮ On the expressive power of message-passing neural networks as global feature map transformers ⋮ Heuristic allocation based on a dynamic programming state-space representation ⋮ The reachability problem in constructive geometric constraint solving based dynamic geometry ⋮ Deep learning Gauss-Manin connections ⋮ A weighted wrapper approach to feature selection ⋮ Efficient probabilistic reasoning in BNs with mutual exclusion and context-specific independence ⋮ Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test ⋮ Factor metanetwork: a multilevel probabilistic meta-model based on factor graphs ⋮ Self-organized pattern formation in a swarm system as a transient phenomenon of non-linear dynamics ⋮ Fast learning of relational dependency networks ⋮ Probabilistic logic programming for hybrid relational domains ⋮ A SEARCH-BASED APPROACH TO RAILWAY ROLLING STOCK ALLOCATION PROBLEMS ⋮ Transition-Function Based Approach to Structuring Robot Control Software ⋮ Microeconomic Model Based on MAS Framework: Modeling an Adaptive Producer ⋮ Landscape analysis and efficient metaheuristics for solving the \(n\)-queens problem ⋮ Dynamic uncertain causality graph for knowledge representation and reasoning: discrete DAG cases ⋮ SOLVING ABSTRACT COOPERATIVE PATH-FINDING IN DENSELY POPULATED ENVIRONMENTS ⋮ Ensemble learning HMM for motion recognition and retrieval by Isomap dimension reduction ⋮ MULTIAGENT EXPEDITION WITH GRAPHICAL MODELS ⋮ Analysis of Rainbow Tables with Fingerprints ⋮ A new efficient and flexible algorithm for the design of testable subsystems ⋮ Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started ⋮ The complexity of reachability in parametric Markov decision processes ⋮ Heuristics for \(k\)-domination models of facility location problems in street networks ⋮ Algebraic Reinforcement Learning ⋮ Computability of validity and satisfiability in probability logics over finite and countable models ⋮ Method of using BDI agents to implement service-oriented workflow mapping in AGWMS ⋮ Machine learning applied to asteroid dynamics ⋮ Hybridizations of Metaheuristics With Branch & Bound Derivates ⋮ A LOGICAL ANALYSIS OF RULE INCONSISTENCY ⋮ Demonstration of a measurement-based adaptation protocol with quantum reinforcement learning on the IBM Q experience platform ⋮ A decentralised multi-agent system for rail freight traffic management ⋮ Decomposition method for calculating the weights of a binary neural network ⋮ A Logical Approach to Experience-Based Reasoning ⋮ Big Data, Analytics, and Intelligence: An Editorial Perspective ⋮ A Mathematical Foundation of Big Data ⋮ Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers ⋮ Deterministic algorithms for compiling quantum circuits with recurrent patterns ⋮ A Q-Learning Approach for Investment Decisions ⋮ Weak Implication in Terms of Conditional Uncertainty Measures ⋮ Quantum AdaBoost algorithm via cluster state ⋮ Unnamed Item ⋮ Graph Clustering Via Intra-Cluster Density Maximization ⋮ Mereology in Engineering and Computer Science ⋮ Rudolf Carnap–The Grandfather of Artificial Neural Networks: The Influence of Carnap’s Philosophy on Walter Pitts ⋮ A Lost Croatian Cybernetic Machine Translation Program ⋮ Representing Knowledge in the Statistical System Jasp ⋮ Inferring hidden states in a random kinetic Ising model: replica analysis ⋮ ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans ⋮ Inference in multi-agent causal models ⋮ A COMPLETE ALGORITHM FOR SEARCHLIGHT SCHEDULING ⋮ Automatic generation of fast algorithms for matrix–vector multiplication ⋮ Automated theorem proving in Euler diagram systems ⋮ A machine learning approach to algorithm selection for \(\mathcal{NP}\)-hard optimization problems: a case study on the MPE problem ⋮ Importance Sampling on Bayesian Networks with Deterministic Causalities ⋮ Rapidly-exploring Sorted Random Tree: A Self Adaptive Random Motion Planning Algorithm ⋮ A SIMPLE ALGORITHM FOR DEDUCTION ⋮ Design and implementation of a web mining system for organizing search engine results ⋮ Autonomous Evolution of Topographic Regularities in Artificial Neural Networks ⋮ Unnamed Item ⋮ Efficiency-aware and fairness-aware joint-layer optimization for downlink data scheduling in OFDM ⋮ A survey of non-monotonic reasoning ⋮ Learning market prices in real-time supply chain management ⋮ Probabilistic logic with minimum perplexity: Application to language modeling ⋮ ONTOGRATE: TOWARDS AUTOMATIC INTEGRATION FOR RELATIONAL DATABASES AND THE SEMANTIC WEB THROUGH AN ONTOLOGY-BASED FRAMEWORK ⋮ A framework for management of semistructured probabilistic data ⋮ Fuzzy logic from the viewpoint of machine intelligence ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ A fuzzy logic approach to experience-based reasoning ⋮ A proof-theoretic view of necessity ⋮ Generalized Indiscernibility Relations: Applications for Missing Values and Analysis of Structural Objects ⋮ Configuring A Sensor Network for Fault Detection in Distributed Parameter Systems ⋮ Proof Theory for Distributed Knowledge ⋮ Learning solution preferences in constraint problems ⋮ Coordination in Navigation of Multiple Mobile Robots ⋮ Two-agent IDA* ⋮ Control landscapes for a class of non-linear dynamical systems: sufficient conditions for the absence of traps ⋮ ARMed SPHINCS ⋮ Inferring gene regulatory networks by PCA-CMI using Hill climbing algorithm based on MIT score and SORDER method ⋮ A Passage to Complex Systems ⋮ Learning Stochastic Logical Automaton ⋮ Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence. By D.L. Dowe, Berlin: Springer. 2013. 445 pp. £62.00 (softcover). ISBN 978-3-642-44957-4 ⋮ Parallel multithreaded IDA* heuristic search: algorithm design and performance evaluation ⋮ DYNAMIC SIMILARITY METRIC USING FUZZY PREDICATES FOR CASE-BASED PLANNING ⋮ Solving Time-Tabling Problems Using Evolutionary Algorithms and Heuristics Search ⋮ Towards Real-World HTN Planning Agents ⋮ An Event-Driven Algorithm for Agents on the Web ⋮ A Bayesian Network Based Approach for Data Classification Using Structural Learning ⋮ A Novel Piecewise Linear Clustering Technique Based on Hyper Plane Adjustment ⋮ DESIGNING RELEVANT FEATURES FOR CONTINUOUS DATA SETS USING ICA ⋮ ALPprolog – A new logic programming method for dynamic domains ⋮ Optimal placement of valves in a water distribution network with CLP(FD) ⋮ Estimating latent feature-feature interactions in large feature-rich graphs ⋮ Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web ⋮ Algebras for combinatorial search ⋮ Towards a theory of resource: an approach based on soft exponentials ⋮ Time-series analysis with neural networks and ARIMA-neural network hybrids ⋮ Combinatorial Problems for Horn Clauses ⋮ Putting ABox Updates into Action ⋮ The shortest path problem on large-scale real-road networks ⋮ AUTOMATIC MACHINE LEARNING OF KEYPHRASE EXTRACTION FROM SHORT HTML DOCUMENTS WRITTEN IN HEBREW ⋮ Intelligent Fril/SQL interrogator ⋮ Learning and Memory Processes in Autonomous Agents Using an Intelligent System of Decision-Making ⋮ Multidisciplinary Trends in Modern Artificial Intelligence: Turing’s Way ⋮ Cross-paradigm analysis of autonomous agent architecture ⋮ Challenges of adiabatic quantum evaluation of NAND trees ⋮ On computing minimal independent support and its applications to sampling and counting ⋮ Probabilistic reasoning with a Bayesian DNA device based on strand displacement ⋮ Synchronous cellular automata-based scheduler initialized by heuristic and modeled by a pseudo-linear neighborhood ⋮ Intelligent control systems and fuzzy controllers. I: Fuzzy models, logical-linguistic and analytical regulators ⋮ Intelligent control systems and fuzzy controllers. II: Trained fuzzy controllers, fuzzy PID controllers ⋮ Evaluation and prediction of an optimal control in a processor sharing queueing system with heterogeneous servers ⋮ Inferring range of information diffusion based on historical frequent items ⋮ Information-theoretic bounded rationality and \(\epsilon\)-optimality ⋮ Multi-classifier based on Elliott wave's recognition ⋮ A branch, bound, and remember algorithm for the \(1|r _{i }|\sum t _{i }\) scheduling problem ⋮ Flexible hard real-time scheduling for deliberative AI systems ⋮ An analysis for strength improvement of an MCTS-based program playing Chinese dark chess ⋮ Logic and social cognition. The facts matter, and so do computational models ⋮ Neural systems implicated in delayed and probabilistic reinforcement ⋮ Quantum physical symbol systems ⋮ Decentralized stochastic control ⋮ Developing effective meta-heuristics for a probabilistic location model via experimental design ⋮ Near-optimal online control of dynamic discrete-event systems ⋮ Convention evolution in organizations and markets ⋮ Learning short multivariate time series models through evolutionary and sparse matrix computation ⋮ An optimal control strategy for two-dimensional motion camouflage with non-holonimic con\-straints ⋮ Searching for computational creativity ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ Planning for multiple measurement channels in a continuous-state POMDP ⋮ Proactive communicating process with asymmetry in multiagent systems ⋮ Beam search algorithms for multilabel learning ⋮ Exploiting symmetries for scaling loopy belief propagation and relational training ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ Rapid modeling and discovery of priority dispatching rules: An autonomous learning approach ⋮ Wrappers for feature subset selection ⋮ A primal-dual backtracking optimization method for blended composite structures ⋮ Learning metric-topological maps for indoor mobile robot navigation ⋮ Model-based average reward reinforcement learning ⋮ Effect of look-ahead depth in evolutionary checkers ⋮ A hybrid search method for the vehicle routing problem with time windows ⋮ A mathematical view of weights-of-evidence, conditional independence, and logistic regression in terms of Markov random fields ⋮ The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior ⋮ An information roadmap method for robotic sensor path planning ⋮ Comparing multiagent systems research in combinatorial auctions and voting ⋮ PAC learning, VC dimension, and the arithmetic hierarchy ⋮ Probabilistic (logic) programming concepts ⋮ Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited ⋮ Gradient-based boosting for statistical relational learning: the Markov logic network and missing data cases ⋮ Probabilistic composition of cone-based cardinal direction relations ⋮ Robust gait recognition by learning and exploiting sub-gait characteristics ⋮ Inference and learning with hierarchical shape models ⋮ Modeling and optimization of decision-making process during loading and unloading operations at container port ⋮ Building texture evolution networks for deformation processing of polycrystalline fcc metals using spectral approaches: applications to process design for targeted performance ⋮ An NP-complete fragment of fibring logic ⋮ Generating possible intentions with constrained argumentation systems ⋮ Static resource allocation for heterogeneous computing environments with tasks having dependencies, priorities, deadlines, and multiple versions ⋮ ILP turns 20. Biography and future challenges ⋮ Using negotiable features for prescription problems ⋮ Optimization of heuristic search using recursive algorithm selection and reinforcement learning ⋮ Hybrid search for minimal perturbation in dynamic CSPs ⋮ A linear time complexity of breadth-first search using P system with membrane division ⋮ The multi-alternative cargo routing problem: solution by evolutionary methods ⋮ Extended beam search for non-exhaustive state space analysis ⋮ Message-passing algorithms for inference and optimization ⋮ Parallel exact inference on the cell broadband engine processor ⋮ Metadomotic optimization using genetic algorithms ⋮ Genomic control of agent morphogenesis in a physically correct virtual environment ⋮ Constrained obfuscation of relational databases ⋮ On the possibility of learning in reactive environments with arbitrary dependence ⋮ Optimal software-implemented Itoh-Tsujii inversion for \(\mathbb{F}_{2^{m}}\) ⋮ Propositional syntax and semantics induced knowledge re-structuring in a fuzzy logic network for \textit{ad hoc} reasoning ⋮ Discovery without a `logic' would be a miracle ⋮ Quantum cognition and bounded rationality ⋮ Parameter estimates in binary black hole collisions using neural networks ⋮ Efficient designs for Bayesian networks with sub-tree bounds ⋮ Approximate reasoning in the algebra of bounded rational agents ⋮ LR error repair using the A* algorithm ⋮ Turing machines, transition systems, and interaction ⋮ On the constructive orbit problem ⋮ Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming ⋮ Ordering default theories and nonmonotonic logic programs ⋮ Retracted: ``Multi-agent systems in control engineering: a survey ⋮ Real-time scheduling for twin RMGs in an automated container yard ⋮ Arc refractor methods for adaptive importance sampling on large Bayesian networks under evidential reasoning ⋮ Modelling fractal patterns via the qualitative equivalence of a nonlinear ODE ⋮ Efficient search strategy in structural analysis for handwritten mathematical expression recognition ⋮ Accelerating autonomous learning by using heuristic selection of actions ⋮ Active-vision for the autonomous surveillance of dynamic, multi-object environments ⋮ On the connection between the phase transition of the covering test and the learning success rate in ILP ⋮ Effective short-term opponent exploitation in simplified poker ⋮ Automation methods for logical derivation and their application in the control of dynamic and intelligent systems ⋮ A strategy learning model for autonomous agents based on classification ⋮ A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria ⋮ Plans, actions and dialogues using linear logic ⋮ Using case-based reasoning approach to the support of ill-structured decisions ⋮ A belief network approach to optimization and parameter estimation: application to resource and environmental management ⋮ Modelling social action for AI agents ⋮ Automatic extraction of the topology of 3D electrical mock-ups using a mixed octree-voxel method ⋮ Galoan: A multi-agent approach to herd cows ⋮ Improving multi-agent systems using \textit{Jason} ⋮ Optimal cost almost-sure reachability in POMDPs ⋮ BOB: Improved winner determination in combinatorial auctions and generalizations ⋮ The complexity of estimating min-entropy ⋮ The first international trading agent competition:autonomous bidding agents