8. ISMIS 1994: Charlotte, North Carolina, USA
William J. Campbell
: Distributed Earth Science Validation Centers for Mission to Planet Earth.
: Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract).
: Meta-Level Control of Approximate Reasoning: A Decision Theoretic Approach.
Intelligent Information Systems
: GAITS II: An Intelligent System for Computer-Aided Education.
: Understanding a Story With Causal Relationships.
: Dealing with Qualitative and Quantitative Temporal Information Concerning Periodic Events.
: Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks.
Learning and Adaptive Systems
Christoph F. Eick
, Ema Toto
: Evaluation and Enhancement of Bayesian Rule-Sets in a Genetic Algorithm Learning Environment for Classification Tasks.
Logic for Artificial Intelligence
: Reasoning About Action and Time with Epistemic Conditionals.
: The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications.
: Paraconsistency and Beyond: A New Approach to Inconsistency Handling.
: A Possibility-Based Propositional Logic of Conditionals.
: Computing Queries from Prioritized Default Theories.
: Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.