Scandinavian Conf on Artificial Intelligence

Conference year 1991

c-scai-91-4

Luigia Carlucci Aiello, Daniele Nardi, and Marco Schaerf:
Reasoning about knowledge: the metalevel approach.
Pages 4-18.

c-scai-91-19

D.M. Gabbay:
Theoretical foundations of non-monotonic reasoning: part 2 Structured non-monotonic theories.
Pages 19-39.

c-scai-91-40

Yoav Shoham:
Theories of agenthood.
Pages 40-46.

c-scai-91-47

Paul Smolensky:
Distributed Recursive Structure Processing.
Pages 47-53.

c-scai-91-54

Richard Benjamins, Ameen Abu-Hanna, and Wouter Jansweijer:
Models in model based diagnosis: classification and construction.
Pages 54-61.

c-scai-91-62

Abhay Bulsari, Björn Saxén, and Henrik Saxén:
Application of the symmetric logarithmoid as an activation function for neurons in a feed-forward neural network.
Pages 62-70.

c-scai-91-71

Abhay Bulsari and Henrik Saxén:
A feed-forward neural network as a chemical reactor selection expert system.
Pages 71-76.

c-scai-91-77

Ulla Dindorp:
Literature analysis for knowledge acquisition.
Pages 77-83.

c-scai-91-84

Enrico Guinchiglia:
A set of hierarchically structured decision procedures for some subclasses of First Order Logic.
Pages 84-89.

c-scai-91-90

Henning Herrestad:
AI and Law: will the marriage last?
Pages 90-98.

c-scai-91-99

Juha Hynynen:
DUKPIE: The bread 'n' butter for Finite Capacity Activity Scheduling.
Pages 99-106.

c-scai-91-107

Peter Jackson:
Computing Minimal Refutations.
Pages 107-118.

c-scai-91-119

Jaidev Parameswaran and N. Parameswatan:
Coding Plan Logic in a Dependency Net: The PLANET System.
Pages 119-130.

c-scai-91-131

Jörgen Karpf:
Categorical modelling in Law.
Pages 131-137.

c-scai-91-138

Nada Lavrac, Saso Dzeroski, Vladimir Pirnat, and Viljem Krizman:
Learning rules for early diagnosis of rheumatic diseases.
Pages 138-149.

c-scai-91-150

Cyrus F. Nourani:
Planning and Plausible Reasoning in Artificial Intelligence: Diagrams, Planning and Reasoning.
Pages 150-157.

c-scai-91-158

G. Ravi Prakash, E. Subrahmanian, and H.N. Mahabala:
Verification of OPS5-based AI Applications.
Pages 158-169.

c-scai-91-170

Kim Trans:
An expert system shell for planning with automatic feedback learning.
Pages 170-176.

c-scai-91-176

Finn Verner Jensen:
Calculation in Hugin of probabilities for specific configurations - a trick with many applications.
Pages 176-186.

c-scai-91-187

Lars Asker:
Using partial explanations: An approach to solving the incomplete theory proble m in EBL.
Pages 187-192.

c-scai-91-193

Arvind K. Bansal and Dilip S. Poduval:
Static analysis to identify vectorizable numerical domain in logic programs for efficient execution of scientific expert systems.
Pages 193-204.

c-scai-91-205

Michael Egmont-Petersen:
Mental models as cognitive entities.
Pages 205-210.

c-scai-91-211

Peter Eklund:
Negotiating inheritance taxonomies in conceptual structures.
Pages 211-221.

c-scai-91-222

Bogdan Filipic:
Reducing search complexity by start node selection.
Pages 222-227.

c-scai-91-228

Fausto Giunchiglia and Luciano Serafini:
Multilanguage first order theories of propositional attitudes.
Pages 228-240.

c-scai-91-241

Eero Hyvönen:
Global consistency in interval constraint satisfaction.
Pages 241-251.

c-scai-91-252

Carl Gustaf Jansson, Henrik Boström, and Peter Idestam-Almquist:
Optimizing Horn clause logic programs for particular modes of use: an analysis of explanation-based learning and partial evaluation.
Pages 252-257.

c-scai-91-258

Jacek Malec:
How to pass an intersection, or automata theory is still useful.
Pages 258-265.

c-scai-91-266

Takenao Ohkawa, Toshiaki Mori, Noboru Babaguchi, and Yoshikazu Tezuka:
Class directed generalization.
Pages 266-276.

c-scai-91-277

Luís Moniz Pereira, José Alferes, and Joaquim Nunes Aparício:
A practical introduction to well founded semantics.
Pages 277-288.

c-scai-91-289

Luís Moniz Pereira, Joaquim Nunes Aparício, and José Alferes:
Hypothetical reasoning with well founded semantics.
Pages 289-300.

c-scai-91-301

Mehdi Sagheb-Tehrani:
Knowledge elicitation: some implications for research and practice.
Pages 301-306.

c-scai-91-307

Fabrizio Sebastiani and Umberto Straccia:
A computationally tractable terminological logic.
Pages 307-315.

c-scai-91-316

Dimitrios Thanassas:
Nonmonotonicity as the resolution of contradiction.
Pages 316-321.

c-scai-91-322

Wiebe van der Hoek:
Qualitative Modalities.
Pages 322-327.

c-scai-91-328

Jörgen Villadsen:
Combinatory categorial grammar for intensional fragment of natural language.
Pages 328-339.

Conference year 1993

c-scai-93-1

Sven Ove Hansson:
Bridging a Gap Between AI research and Philosphy.
Pages 1-9.

c-scai-93-10

Rolf Nossum and Dov Gabbay:
Semantical Correspondence Properties of Some Modal Systems of Logic.
Pages 10-19.

c-scai-93-20

Grigoris Antoniou and Volker Sperschneider:
Computing Extensions of Nonmonotonic Logics.
Pages 20-29.

c-scai-93-30

Craig MacNish, Antony Galton, and John Gooday:
QSQR: Quantitatively Scoped Qualitative Reasoning.
Pages 30-37.

c-scai-93-38

Thomas Fuhr, Franz Kummert, Stefan Posch, and Gerhard Sagerer:
An Approach for Qualitatively Predicting Relations from Relations.
Pages 38-49.

c-scai-93-50

Saulius Maskeliunas:
The Use of a Rule-Based System for Qualitative Reasoning.
Pages 50-59.

c-scai-93-60

Jörg-Michael Hasemann and Tapio Heikkilä:
A New Approach towards Monitoring in Intelligent Autonomous Robots.
Pages 60-76.

c-scai-93-77

Nicolas Chleq:
A simple Mechanism for Temporal Deduction and Prediction.
Pages 77-89.

c-scai-93-90

Regimantas Pliuskevicius:
The Analytic Tableaux Deduction for Linear Miniscoped Temporal Logic.
Pages 90-96.

c-scai-93-97

Anna-Lena Johansson:
Program Derivation and its Interactive Environment.
Pages 97-110.

c-scai-93-111

Saso Dzeroski:
Handling Imperfect Data in Inductive Logic Programming.
Pages 111-125.

c-scai-93-126

Peter Idestam-Almquist:
Generalization under Implication: Expansion of Clauses for Indirect Roots.
Pages 126-136.

c-scai-93-137

Alvis Brãzma:
Learning a Subclass of Regular Expressions by Recognizing Periodic Repetitions.
Pages 137-146.

c-scai-93-147

Ram Kumar, Charles Chung, and Craig Lindley:
Learning to Perform Weather Forecasting Operations.
Pages 147-157.

c-scai-93-157

Dunja Mladenic:
Visualization of Domain and Concept Descriptions.
Pages 157-167.

c-scai-93-168

Agnar Aamodt:
A Case-Based Answer to Some Problems of Knowledge-Based Systems.
Pages 168-182.

c-scai-93-183

Paul Davidsson:
A Framework for Organization and Representation of Concept Knowledge in Autonomous Agents.
Pages 183-192.

c-scai-93-193

Robert Pallbo:
Visual Motion Detection Based on a Cooperative Neural Network Architecture.
Pages 193-201.

c-scai-93-202

Abhay B. Bulsari and Henrik Saxén:
A Connectionist Model for Analysis of Temporal Sequences with Noise.
Pages 202-211.

c-scai-93-212

Björn Gambäck and Stefan Ljung:
Question Answering in the Swedish Core Language Engine.
Pages 212-225.

c-scai-93-226

Mare Koit and Haldur Oim:
A Formal Model of Communicative Strategy.
Pages 226-231.

c-scai-93-232

Jonni Harrius:
From Problem Solving to Solution Critiquing by Reusing an Existing Knowledge Base.
Pages 232-239.

c-scai-93-240

Aarno Lehtola:
Heuristic Search within Strict Time Limits.
Pages 240-247.

c-scai-93-248

Mehdi Sagheb-Tehrani:
Investigating ESD in Some Swedish Organizations: an Empirical Study.
Pages 248-258.