-
1
-
An architecture for pragmatic voice interactive systems
-
16
-
A logic of relative desire
-
32
-
Methodologies for data/knowledge/information engineering: Will the twain meet?
-
35
-
Personal learning apprentices
-
38
-
The roles of artificial intelligence in information systems
-
52
-
Integrating variables and operations into rule-based forward chaining systems
-
62
-
The multi-player version of minimax displays game-tree pathology
-
72
-
Generalization handling in a dynamic case memory
-
82
-
Knowledge based semantic query optimization
-
92
-
Combining knowledge bases consisting of first order theories
-
102
-
User profiles for information retrieval
-
112
-
An approach to deriving object hierarchies from database schema and contents
-
122
-
Multilevel interface to a distributed database system
-
132
-
Efficient evaluation of linear recursions with function symbols in deductive databases
-
142
-
Synthesizing efficient agents from partial programs
-
152
-
Knowledge extraction from databases: Design principles of the INLEN system
-
162
-
Stable model semantics for probabilistic deductive databases
-
172
-
Towards implementing valuation based systems with relational databases
-
183
-
On the representation of continuous causal relationships
-
193
-
Process transition networks: A formal graphical knowledge representation tool
-
203
-
Using normal deduction graphs in default reasoning
-
213
-
A model of information sharing for fault-tolerant flexible manufacturing systems
-
226
-
On interval-based temporal planning: An IQ strategy
-
236
-
Percept conceptualizations and their knowledge representation schemes
-
246
-
Combining time points and time intervals in a hybrid knowledge representation formalism
-
256
-
An analysis of property-flow view vs individual-flow view of inheritance
-
266
-
Semantic extensions to text retrieval
-
276
-
Updates with equality: Beyond the Herbrand universe assumption
-
286
-
Using genetic algorithms to improve the performance of classification rules produced by symbolic inductive methods
-
296
-
Learning quantitative features in a symbolic environment
-
306
-
Automatic acquisition of proper noun meanings
-
316
-
Investigating the relationships between abduction and inverse resolution in propositional calculus
-
326
-
Explanation-based learning helps acquire knowledge from natural language texts
-
338
-
Hybrid pattern recognition system capable of self-modification
-
348
-
Towards an adaptive information retrieval system
-
358
-
Improving the comprehensibility, accuracy, and generality of reactive plans
-
368
-
On the unknown attribute values in learning from examples
-
378
-
A new system for inductive learning in attribute-based spaces
-
389
-
Generation of classification rules
-
399
-
Distance metrics for instance-based learning
-
409
-
A study of crossover operators in genetic programming
-
419
-
Input understanding as a basis for multistrategy task-adaptive learning
-
429
-
Automated discovery of empirical equations from data
-
441
-
Constructing models of hidden structure
-
450
-
Amalgamated logic programming and non-monotonic reasoning
-
459
-
<Emphasis Type="Italic">WF</Emphasis>
<Superscript>3</Superscript>: A semantics for negation in normal disjunctive logic programs
-
469
-
Representation of mathematical knowledge
-
479
-
Graded logics: A framework for uncertain and defeasible knowledge
-
490
-
The strong semantics for logic programs
-
500
-
Static Parallel Arc Consistency in constraint satisfaction
-
510
-
Towards a theory of inductive logic programming
-
520
-
Another view of autoepistemic logic and truth maintenance system
-
530
-
Dynamic autoepistemic logic
-
540
-
Nonmonotonic temporal reasoning: Persistence, justified causation and event minimization
-
550
-
Novelty revisited
-
560
-
Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning
-
570
-
Resolution and path dissolution in multiple-valued logics
-
580
-
How well are non-horn clauses handled?
-
589
-
Fully deadline-coupled planning: One step at a time
-
600
-
Completeness for propositional logic programs with negation
-
610
-
Disjunctive logic programs and constraint processing
-
620
-
Note on resolution circuits
-
630
-
A semantic analysis of monotonic inheritance with roles and relations
