4. PRICAI 1996: Cairns, Australia - Workshops

Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski (Eds.): Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers. Lecture Notes in Computer Science 1359 Springer 1998, ISBN 3-540-64413-X

Introduction

Srinivas Padmanabhuni, Aditya Ghose:
Inductive constraint logic programming: An overview. 1-8
Grigoris Antoniou, Mary-Anne Williams:
Some approaches to reasoning with incomplete and changing information. 9-44

Invited Papers

Srinivas Padmanabhuni, Randy Goebel, Koichi Furukawa:
Curried least general generalization: A framework for higher order concept learning. 45-60
Henry E. Kyburg Jr.:
Approximate validity. 61-77

Inducing Complex Representations

Michael Bulmer:
Inductive theories from equational systems. 78-91
Aditya Ghose, Srinivas Padmanabhuni, Randy Goebel:
The role of default representations in incremental learning. 92-105
Michael Bonnell Harries, Kim Horn:
Learning stable concepts in a changing world. 106-122
Brendan McCane, Terry Caelli, Olivier Y. de Vel:
Inducing complex spatial descriptions in two dimensional scenes. 123-132
Srinivas Padmanabhuni, Jia-Huai You, Aditya Ghose:
A framework for learning constraints: Preliminary report. 133-147
Michèle Sebag, Céline Rouveirol, Jean-Francois Puget:
Induction of Constraint Logic Programs. 148-167

Reasoning with Changing and Incomplete Information

Nathalie Jitnah, Ann E. Nicholson:
Belief network algorithms: A study of performance based on domain characterization. 168-187
Nikos I. Karacapilidis, Dimitris Papadias:
A group decision and negotiation support system for argumentation based reasoning. 188-205
Cara MacNish, Mary-Anne Williams:
From belief revision to design revision: Applying theory change to changing requirements. 206-220
Javier Pinto:
Using histories to model observations in theories of action. 221-233
Mikhail Prokopenko, Pavlos Peppas:
Modelling intertia in action languages. 234-247
Arthur Ramer:
Combinatorial Interpretation of uncertainty and conditioning. 248-255
Angelo C. Restificar:
Probabilistic diagnosis as an update problem. 256-266
Choh-Man Teng:
Cooperative combination of default logic and autoepistemic logic. 267-283