|
- 00-001
- M.F. van Bommel and T.J. Beck.
Incremental Encoding
of Multiple Inheritance Hierarchies Supporting Lattice Operations.
- 00-002
- Guy Mineau, Akshay Bissoon, and Robert Godin.
Simple Pre- and Post-Pruning
Techniques for Large Conceptual Clustering Structures.
- 00-003
- Uta Priss.
Faceted Knowledge
Representation.
- 00-004
- Christian Zirkelbach.
Using the Real Dimension
of the Data.
- 00-005
- Peter Eklund and Richard Cole.
A Knowledge Representation
for Information Filtering Using Formal Concept Analysis.
- 00-006
- Vadim Engelson.
ObjectMath Inheritance
and Composition Diagram Editor.
- 00-007
- Vadim Engelson.
Tools for Design,
Interactive Simulation and Visualization for Dynamic Analysis of Mechanical
Models.
- 00-008
- Vadim Engelson.
Simulation and Visualization
of Autonomous Helicopter and Service Robots.
- 00-009
- Vadim Engelson.
3D Graphics and Modelica
- an integrated approach.
- 00-010
- Vadim Engelson.
Integration of Collision
Detection with the Multibody System Library in Modelica.
- 00-011
- Vadim Engelson, Peter Fritzson, and Dag Fritzson.
Lossless Compression
of High-volume Numerical Data from Simulations.
- 00-012
- John Bell.
Primary and Secondary
Events.
- 00-013
- Wolfram Conen and Reinhold Klapsing.
A Logical Interpretation
of RDF.
- 00-014
- Andreas Henschel and Michael Thielscher.
The LMW Traffic World
in the Fluent Calculus.
- 00-015
- Abdel-Illah Mouaddib.
Multi-Criteria Decision
Quality Optimization as a Scheduling Problem.
- 00-016
- Tara Estlin, Gregg Rabideau, Darren Mutz, and Steve Chien.
Using Continuous
Planning Techniques to Coordinate Multiple Rovers.
- 00-017
- Richard Washington, Keith Golden, and John Bresina.
Plan Execution, Monitoring,
and Adaptation for Planetary Rovers.
- 00-018
- Massimo Paolucci, Onn Shehory, and Katia Sycara.
Interleaving Planning
and Execution in a Multiagent Team Planning Environment.
00-019
- Leila Amgoud and Claudette Cayrol.
A reasoning model
based on the production of acceptable arguments.
00-020
- R. R. Yager.
Nonmonotonicity and
Compatibility Relations in Belief Structures.
00-021
- Wei Liu and Mary-Anne Williams.
A Framework for Multi-Agent
Belief Revision, Part II: A Layered Model and Shared Knowledge Structure.
-
00-022
- Angelo Gilio.
Precise Propagation
of Upper and Lower Probability Bounds in System P.
00-023
- J. Kohlas, R. Haenni, and D. Berzati.
Probabilistic Argumentation
Systems and Abduction.
00-024
- Thomas Lukasiewicz.
Probabilistic Default
Reasoning with Conditional Constraints.
00-025
- Y. Khayata and D. Pacholczyk.
A Statistical Probability
Theory for a Symbolic Management of Quantified Assertions.
00-026
- Rui Da Silva Neves, Jean-François Bonnefon, and Eric Raufaste.
Rationality in human
nonmonotonic inference.
00-027
- S. Benferhat, D. Dubois, S. Kaci, and H. Prade.
Encoding classical
fusion in ordered knowledge bases framework.
00-028
- Adnan Darwiche.
On the Role of Partial
Differentiation in Probabilistic Inference.
00-029
- L. Godo and R. Rodriguez.
A short note on nonmonotonic
inferences induced by graded similarity.
- 00-030
- Donald Michie.
It Takes Two (At
Least) to Tango.
- 00-031
- Ross Donald King, Andreas Karwath, Amanda Clare, and Luc Dehaspe.
Logic and the Automatic
Acquisition of Scientific Knowledge.
[Figures
3 and 4]
- 00-032
- John Lloyd.
Predicate Construction
in Higher-order Logic.
- 00-033
- Ryohei Orihara, Tomoko Murakami, Takehiko Yokota, and Naomichi Sueda.
Improvement of Perception
through Task Executions.
- 00-034
- Luc de Raedt and Kristian Kersting.
Bayesian Logic Programs.
- 00-035
- Makoto Haraguchi, Yoshiaki Okubo, and Tokuyasu Kakuta.
Conceptual Classification
Based on Abstractions.
- 00-036
- Ken Ueno, Koichi Furukawa, and Michael Bain.
Motor Skill as Dynamic
Constraint Satisfaction.
- 00-037
- Simon White and Derek Sleeman.
A Constraint-Based
Approach to the Description and Detection of Fitness-for-Purpose.
- 00-038
- Simon Colton.
Automated Theory
Formation Applied to Four Learning Tasks.
- 00-039
- Marcel Turcotte, Stephen H. Muggleton, and Michael J. E. Sternberg.
Use of Inductive
Logic Programming to Learn Principles of Protein Structure.
- 00-040
- Dorian Suc and Ivan Bratko.
Qualitative Trees
Applied to Bicycle Riding.
- 00-041
- Stephen Muggleton.
Learning Stochastic
Logic Programs.
- 00-042
- Sergio Brandano.
On the meta-theoretic
approach to non-monotonic reasoning, its extension to the continuum
case and relation with classical Newtonian Mechanics.
|
