-
1
-
Agent Programming in Ciao Prolog
-
2
-
Multi-relational Data Mining: A Perspective
-
3
-
A Comparison of GLOWER and Other Machine Learning Methods for Investment Decision Making
-
4
-
Parallel Implementation of Decision Tree Learning Algorithms
-
5
-
Reducing Rankings of Classifiers by Eliminating Redundant Classifiers
-
6
-
Non-parametric Nearest Neighbor with Local Adaptation
-
8
-
Classification Rule Learning with APRIORI-C
-
10
-
Evolution of Cubic Spline Activation Functions for Artificial Neural Networks
-
11
-
Multilingual Document Clustering, Topic Extraction and Data Transformations
-
12
-
Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms before Choosing
-
13
-
Recursive Adaptive ECOC models
-
14
-
A Study on End-Cut Preference in Least Squares Regression Trees
-
15
-
The Use of Domain Knowledge in Feature Construction for Financial Time Series Prediction
-
16
-
Optimizing the Sharpe Ratio for a Rank Based Trading System
-
17
-
Choice: The Key for Autonomy
-
18
-
Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents
-
19
-
Evolving Multi-agent Viewpoints — An Architecture
-
20
-
Enabling Agents to Update Their Knowledge and to Prefer
-
21
-
Modelling Agent Societies: Co-ordination Frameworks and Institutions
-
22
-
Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems
-
23
-
Scheduling, Re-scheduling and Communication in the Multi-agent Extended Enterprise Environment
-
24
-
Electronic Institutions as a Framework for Agents’ Negotiation and Mutual Commitment
-
25
-
An Imitation-Based Approach to Modeling Homogenous Agents Societies
-
26
-
Situation Calculus as Hybrid Logic: First Steps
-
27
-
A Modified Semantics for LUPS
-
28
-
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents’ Viewpoints
-
29
-
A Procedural Semantics for Multi-adjoint Logic Programming
-
30
-
Representing and Reasoning on Three-Dimensional Qualitative Orientation Point Objects
-
31
-
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions
-
32
-
A Context-Free Grammar Representation for Normal Inhabitants of Types in TAλ
-
33
-
Permissive Belief Revision
-
34
-
Global Hull Consistency with Local Search for Continuous Constraint Solving
-
35
-
Towards Provably Complete Stochastic Search Algorithms for Satisfiability
-
36
-
A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem
-
37
-
A Temporal Planning System for Time-Optimal Planning
-
38
-
SimPlanner: An Execution-Monitoring System for Replanning in Dynamic Worlds
-
39
-
Hybrid Hierarchical Knowledge Organization for Planning
-
40
-
STeLLa: An Optimal Sequential and Parallel Planner
-
1
-
A Portrait of a Scientist as a Computational Logician
-
1
-
Formal Methods in CafeOBJ
-
1
-
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
-
1
-
Representing Arithmetic Constraints with Finite Automata: An Overview
-
5
-
Bob Kowalski: A Portrait
-
20
-
Logic Databases on the Semantic Web: Challenges and Opportunities
-
21
-
The Essence of XML (Preliminary Version)
-
22
-
An Abductive Approach for Analysing Event-Based Requirements Specifications
-
26
-
Directions for Logic Programming
-
33
-
Agents as Multi-threaded Logical Objects
-
38
-
Trailing Analysis for HAL
-
41
-
Description Logics for Information Integration
-
47
-
To the Gates of HAL: A HAL Tutorial
-
54
-
Access Control for Deductive Databases by Logic Programming
-
61
-
Search and Optimization Problems in Datalog
-
66
-
Logic Programming Languages for the Internet
-
67
-
Functional Logic Design Patterns
-
70
-
Reasoning about Actions with CHRs and Finite Domain Constraints
-
83
-
The Declarative Side of Magic
-
85
-
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
-
88
-
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints
-
100
-
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints
-
103
-
Solving Mixed Quantified Constraints over a Domain Based on <InlineEquation ID="IEq1">
<InlineMediaObject>
<ImageObject Color="BlackWhite" FileRef="978-3-540-45788-6_6_Chapter_TeX2GIFIEq1.gif" Format="GIF" Rendition="HTML" Type="Linedraw" />
</InlineMediaObject>
<EquationSource Format="TEX">$$
\mathcal{R}
$$</EquationSource>
</InlineEquation>eal Numbers and <InlineEquation ID="IEq2">
<InlineMediaObject>
<ImageObject Color="BlackWhite" FileRef="978-3-540-45788-6_6_Chapter_TeX2GIFIEq2.gif" Format="GIF" Rendition="HTML" Type="Linedraw" />
</InlineMediaObject>
<EquationSource Format="TEX">$$
\mathcal{H}
$$</EquationSource>
</InlineEquation>erbrand Terms
-
105
-
Higher-Order Computational Logic
-
109
-
Key Constraints and Monotonic Aggregates in Deductive Databases
-
115
-
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
-
119
-
On the Correctness of the Factoring Transformation
-
130
-
A Model Theoretic Semantics for Multi-level Secure Deductive Databases
-
134
-
Lambda-Lifting in Quadratic Time
-
135
-
A Decidable CLDS for Some Propositional Resource Logics
-
138
-
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
-
148
-
Propagation Completeness of Reactive Constraints
-
152
-
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
-
160
-
A Critique of Proof Planning
-
162
-
Transformation Systems and Nondeclarative Properties
-
163
-
On Enabling the WAM with Region Support
-
167
-
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
-
178
-
A Model Generation Based Theorem Prover MGTP for First-Order Logic
-
179
-
A Different Look at Garbage Collection for the WAM
-
183
-
Coinductive Interpreters for Process Calculi
-
187
-
Acceptability with General Orderings
-
194
-
Copying Garbage Collection for the WAM: To Mark or Not to Mark?
-
198
-
Descendants and Head Normalization of Higher-Order Rewrite Systems
-
209
-
Logical Algorithms
-
211
-
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach
-
212
-
Narrowing Failure in Functional Logic Programming
-
214
-
A ‘Theory’ Mechanism for a Proof-Verifier Based on First-Order Set Theory
-
224
-
Logical Loops
-
228
-
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation
-
231
-
An Open Research Problem: Strong Completeness of R. Kowalski’s Connection Graph Proof Procedure
-
239
-
Learning in Logic with RichProlog
-
240
-
Negation as Failure through Abduction: Reasoning about Termination
-
245
-
Dynamic-Cut with Definitional Trees
-
253
-
Meta-reasoning: A Survey
-
255
-
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification
-
259
-
The Head Condition and Polymorphic Recursion
-
271
-
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming
-
273
-
Program Derivation = Rules + Strategies
-
275
-
Structural Abstraction and Application in Logic Programming
-
287
-
Proving the Equivalence of CLP Programs
-
289
-
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
-
290
-
VMλ: A Functional Calculus for Scientific Discovery