-
1
-
Distributed Earth science validation centers for Mission to Planet Earth
-
13
-
Causal understanding in reasoning about the world
-
27
-
How to make intelligent digital libraries
-
39
-
“Some methodology and representation problems for the semantics of prosaic application domains”
-
46
-
Recognizing credible experts in inaccurate databases
-
56
-
Fuzzy logic or lukasiewicz logic: A clarification
-
65
-
Logic systems for approximate reasoning: via rough sets and topology
-
75
-
Signed formulas and fuzzy operator logics
-
85
-
Rough mereology
-
95
-
A new rule for updating evidence
-
105
-
A global measure of ambiguity for classification
-
114
-
Meta-level control of approximate reasoning: A decision theoretic approach
-
124
-
Formal models of selection in genetic algorithms
-
134
-
Genetic algorithms for the 0/1 knapsack problem
-
144
-
On the weakening of fuzzy relational queries
-
154
-
Transforming queries from a relational schema to an object schema: A prototype based on F-logic
-
164
-
Knowledge discovery in databases: A rule-based attribute-oriented approach
-
174
-
Case-based reasoning applied to a force generation decision aid
-
183
-
A case-based reasoning approach for associative query answering
-
193
-
Efficient execution of recursive queries through controlled binding propagation
-
203
-
Towards a dynamic multi-agent organization
-
213
-
<Emphasis Type="Italic">parc</Emphasis>Plan: a planning architecture with parallel actions, resources and constraints
-
223
-
GAITS II: An intelligent system for computer-aided education
-
233
-
The GLS discovery system: Its goal, architecture and current results
-
245
-
Declarative semantics for contradictory modular logic programs
-
255
-
LaTeR: a general purpose manager of temporal information
-
265
-
Understanding a story with causal relationships
-
275
-
Dealing with qualitative and quantitative temporal information concerning periodic events
-
285
-
Distributed multi-agent probabilistic reasoning with Bayesian networks
-
295
-
Building bridges between knowledge representation and algebraic specification
-
305
-
Turning an action formalism into a planner — Essentials of a case study
-
315
-
Towards refinement of definite logic programs
-
326
-
Amphion: Automatic programming for scientific subroutine libraries
-
336
-
RUTH: an ILP theory revision system
-
346
-
Dynamic reducts as a tool for extracting laws from decisions tables
-
356
-
Learning first order theories
-
366
-
Evaluation and enhancement of Bayesian rule-sets in a genetic algorithm learning environment for classification tasks
-
376
-
Traps and pitfalls when learning logical definitions from relations
-
386
-
DBROUGH: A rough set based knowledge discovery system
-
396
-
Restructuring rule bases to improve performance
-
406
-
Learning heuristics for ordering plan goals through static operator analysis
-
416
-
Learning problem-oriented decision structures from decision rules: The AQDT-2 system
-
427
-
Towards full automation of the discovery of heuristics in a nuclear engineering project: Integration with a neural information language
-
437
-
Concept hierarchies: a restricted form of knowledge derived from regularities
-
448
-
A data-driven approach to feature construction
-
458
-
Reasoning about action and time with epistemic conditionals
-
468
-
The semantics of propositional contexts
-
478
-
The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications
-
488
-
Reasoning about the safety of information: from logical formalization to operational definition
-
500
-
Classical methods in nonmonotonic reasoning
-
511
-
Partial evaluation and relevance for approximations of the stable semantics
-
521
-
Circumscribing features and fluents: A fluent logic for reasoning about action and change
-
531
-
Paraconsistency and beyond: A new approach to inconsistency handling
-
541
-
BDDs and automated deduction
-
551
-
A possibility-based propositional logic of conditionals
-
561
-
Incremental processing of logic database relations
-
571
-
On the relationship between assumption-based framework and autoepistemic logic
-
584
-
Computing queries from prioritized default theories
-
594
-
Beliefs and bilattices
-
604
-
Fast termination of the deductive process in resolution proof systems for non-classical logics