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