Schlechta K. Nonmonotonic Logics: Basic Concepts, Results, and Techniques

Подождите немного. Документ загружается.

238 BIBLIOGRAPHY

[Kon88]

[Kri891

[KunS0]

[LM92]

[LS89]

[Leh92a]

[Leh92b]

[Lev79]

[Lew73]

[Lif85]

[Lif86]

[Llo87]

[Lor89]

[Lor90]

[MG91]

[MS9tt

[MST91]

K.Konolige, "On the Relation Between Default and Autoepistemic

Logic" Artificial Intelligence 35 (!988), p.343-a82

T.Krishnaprasad, "The Semantics of Inheritance Networks", PhD The-

sis, SUNY at Stony Brook, 1989

K.Kunen, "Set Theory", North Holland, Amsterdam, 1980

D.Lehmann, M.Magidor, "What does a conditional knowledge base en-

tail?", Artificial Intelligence, 55(1), p. 1-60, May 1992

F.Lin, Y.Shoham, "Argument Systems: a uniform basis for nonmono-

tonic reasoning", Stanford Computer Science Dept. Report STAN-CS-

89-1243, 1989

D.Lehmann, "Plausibility Logic", Proceedings CSL91

D.Lehmann, "Plausibility Logic", Technical Report TR-92-a, Feb. 1992,

Hebrew University, Jerusalem 91904, Israel

A.Levy, "Basic Set Theory", Springer, Berlin, 1979

D.Lewis, "Counterfa.ctuals", Blackwell, Oxford, 1973

V.Lifschitz, "Computing Circumscription", Proceedings IJCAI 1985,

p.121-127

V.Lifschitz, "On the Satisfiability of Circumscription", Artificial Intel-

ligence 28 (1986), po17-27

J.W.Lloyd, ``'Foundations of Logic Programming" (2. ed.), Springer,

Berlin, 1987

S.Lorenz, "Skeptical Reasoning with Order-Sorted Defaults", Proceed-

ings of the Workshop on Nonmonotonic Reasoning, Dec. t989, Bonn,

G.Brewka, H.Freitag eds., GMD Technical Report 443, GMD, POB

1240, D-53757 St.Augustin, Germany

S.Lorenz, "Nichtmonotones Schliessen mit ordnungssortierten De-

faults", IWBS-Report 100, IBM Germany, D-7000 Stuttgart 80, POB

800880, Germany, 1990

D.Makinson, P.Ggrdenfors, "Relations between the Logic of Theory

Change and Nonmono~onic Logic", in: A.Fuhrmann, M,-Morreau (eds.),

"'The Logic of Theory Change", Springer, Berlin, 1991, p.185-205

D.Makinson, K.Schlechta, "Floating Conclusions and Zombie Paths",

Artificial Intelligence (Research Note):48 (1991) p. 199-209

V.Marek, G.Schwartz, M.Truszczynski, "Ranges of nonmonotonic log-

ics", Journal of the ACM, 40 (1993), p.963-990

BIBLIOGRAPHY

239

[MT93]

[MW86]

[Mak85]

[Mak89]

[Mak93]

[Mak94J

[McC80]

[McC86]

[McL71]

[Mor85]

[Mos57J

[Mot87]

[NBD89]

[Neb89J

[Ni191J

V.Marek, M.Truszczynski, "Nonm0notonic Logic: Context-Dependent

Reasoning", Springer, Berlin, 1993

R.S.Michalski, P.H.Winston, "Variable Precision Logic", Artificial In-

telligence 29 (1986), p.121-146

D.Makinson, "How to give it up: A Survey of Some Formal Aspects of

the Logic of Theory Change"; Synthese 62 (1985), p.347-363

D.Makinson, "GenerM theory

of cumulative inference", in: M.Reinfrank, J.de Kleer, M.L.Ginsberg,

E.Sandewall (eds.), "Non-Monotonic Reasoning", Proceedings 2nd Int.

Workshop Grassau 1988, Springer, Berlin, 1989, p.1-18

D.Makinson, "Five Faces of Minimality", Studia Logica 52 (1993), p.

339-379

D.Makinson, "General patterns in nonmonotonic reasoning", in

D.Gabbay, C.Hogger, Robinson (eds.), "Handbook of Logic in Artifi-

cial Intelligence and Logic Programming", voI. III: "Nonmonotonic and

Uncertain Reasoning", Oxford University Press, 1994, p. 35-110

&McCarthy, "Circumscription - a form of non-monotonic reasoning",

Artificial Intelligence 13 (1980), p.27-39

J.McCarthy, "Applications of Circumscription to Formalizing Common-

Sense Knowledge", Artificial Intelligence 28 (1986), p.89-116

S.MacLane, "Categories for the Working Mathematician", Springer,

Berlin, 1971

M.P.Morreau, "Circumscription", Report 85-15, Mathematisch Insti-

tuut, Universiteit van Amsterdam, 1985

A.Mostowski, "On a generalization of quantifiers", Fundamenta Math-

ematicae 44 (1957), 12-36

P.L.Mott, "A Theorem on the Consistency of Circumscription", Artifi-

cial Intelligence 31 (1987), p.87-98

D.Nute, D.Billington, K.De Coster, "Defeasible Logic and Inheritance

Hierarchies with Exceptions", IJCAI 1989

B.Nebel, "A Knowledge Level Analysis of Belief Revision", in: Proceed.

First International Conference on Principles of Knowledge Representa-

tion and Reasoning, Toronto, 1989

N.J.Nilsson, "Logic and artificial intelligence", Artificial Intelligence 47

(1991), p.31-56

240

BIBLIOGRAPHY

[Nut84] D.Nute, "Conditional Logic", in: D.Gabbay and F.Guenthner eds.,

"Handbook of Philosophical Logic", Vol.II, p.387-439, D.Reidet, Dor-

drecht, 1984

[Nut88a] D.Nute, "Defensible Reasoning: A Philosophical Analysis in Prolog".

In: a.H.Fetzer (ed.), "Aspects of Artificial Intelligence", p.251-288,

Kluwer Academic Publ., 1988

[Nut88b] D.Nute, "Defensible Reasoning and Decision Support Systems", Deci-

sion Support Systems 4 (1988), p.97-110

[Nut89] D.Nute, "Defensible Logic and Temporal Projection", in Proceed.

Hawaii International Conference on System Science Vol. IH, IEEE I989,

p.575-581

[PM86] D.Perlis, J.Minker, "Completeness Results for Circumscription", Arti-

ficial Intelligence 28 (1986), p.29-42

[Pea88] J.Pearl, "Probabilistic Reasoning in InteIligent Systems", Morgan Kauf-

mann, San Mateo, Cal., 1988

[RKGS89] M.Reinfrank, J.de Kleer, M.L.Oinsberg, E.Sandewalt (eds.), "Non-

Monotonic Reasoning", Proceedings 2rid [nt. Workshop Grassau i988,

Springer, Berlin, 1989

[Rei80] R.Reiter, "A logic for default reasoning", Artificial Intelligence 13 (1-2),

p.81-132, 1980

[Rei87] R.Reiter, "Nonmonotonic Reasoning", Ann.Rev.Comp.Sci. 1987, 2,

p.147-186

[SL89] B.Selman, H.Levesque, '~The Tractability of Path-Based Inheritance",

Proceed. IJCAI 1989, p.1140-1145

[SM94] K.Schlechta, D.Makinson: ':Local and Global Metrics for the Seman-

tics of Cour~terfactual Conditionals'", JournM of Applied Non-Classical

Logics, Vol.4, No.2, pp.129-140, Paris, 1994

[San86] E.Sandewall, "Non-monotonic inference rules for multiple in- heritance

with exceptions", Proceedings IEEE 74 (1986), p.1345-1353

[S&88-2] K.Schlechta, "Remarks on Consistency and Completeness of Circum-

scription", in: W.Hoeppner (ed.), "K{instliche Intelligenz, GWAI 88",

Springer, Berlin, 1988, p.96-t03

[Sch89-1] K.Schlechta, :=Defensible Inheritance: Coherence Properties and Se-

mantics", in: M.Morreau (ed.), ~'Proceedings of Tfibingen Workshop on

Semantic Networks and Non-Monotonic Reasoning", SNS-Report 89-48,

Seminar f{ir nat(irlichsprachliche Systeme, D-7400 T(ibingen, Germany,

1989, p.98-127

BIBLIOGRAPHY

241

[Sch89-2] K.Schlechta, "Directiy Sceptical Inheritance cannot Capture the Inter-

section of Extensions", Proceedings of the Workshop on Nonmonotonic

Reasoning, Dec. 1989, Bonn, G.Brewka, H.Freitag eds., GMD Technical

Report 443, GMD, POB 1240, D-53757 St.Augustin, Germany

[Sch90] K.Schlechta, "Semantics for Defeasible Inheritance", in: L.G.Aiello

(ed.), "Proceedings ECAI 90", London, 1990, p.594-597

[Sch91-1] K.Schlechta: "Theory Revision and Probability", Notre Dame Journal

of Formal Logic 32, No.2 (1991), p. 307-319

[Sch91-2] K.Schlechta, "Results on Infinite Extensions", Journal of Applied Non-

Classical Logics, Vol.l, No. 1, p.65-72, Paris 1991.

[Sch91-3] K.Schlechta, "Some Results on Theory Revision", in: A.Fuhrmann,

M.Morreau (eds.), "The Logic of Theory Change", Springer, Berlin,

1991, p.72-92

[Sch92] K.Schlechta, "Some Results on Classical Preferential Models", Journal

of Logic and Computation, Oxford, Vol.2, No.6 (1992), p. 675-686

[Sch92-tl] K.Schlechta, "Results on Non-Monotonic Logics" (Habilitationss-

chrift), IBM Germany, IWBS Report 204, IWBS, POB 80 08 80, D-7000

Stuttgart 80, Germany

[Sch93J K.Schlechta, "Directly Sceptical! Inheritance cannot Capture the In-

tersection of Extensions", Journal of Logic and Computation, Oxford,

Vol.3, No.5,

pp.455-467, 1995

[Sch94-t1] K.Schlechta, "Limit Preferential Models", Research Report RR 6,

03/94,

Laboratoire d'Informatique de Marseille, URA CNRS 1787,

CMI, 39, rue Joliot-Curie, F-13453 Marseille Cedex 13, France

[Sch95-11

K.Schlechta, "Defaults as generalized quantifiers", Journal of Logic and

Computation, Oxford, Vol.5, No.4, p. 473-494, 1995

[Sch95-2] K.Schlechta: "Logic, Topology, and Integration", Journal of Auto-

mated Reasoning, 14:353-381, 1995, Kluwer

[Sch95-3]

K.Schlechta, "Preferential Choice Representation Theorems for

Branching Time Structures" Journal of Logic and Computation, Ox-

ford, Vol.5, pp.783-800, 1995

[Sch96-1] K.Schlechta, "Some Completeness Results for Stoppered and Ranked

Classical Preferential Models", Journal of Logic and Computation, Ox-

ford, Vol.6, No.4, p.599-622, 1996

[Sch96-3] K.Schlechta, "Completeness and Incompleteness for Plausibility

Logic", Journal of Logic, Language and Information, 5:2 (1996), p.177-

192

242

BIBLIO GRAPH Y

[S&96-4] K.Schlechta,

[Sch96-5]

[Sho87]

[Som89]

[Spo881

[Sta68]

[Ste89]

[Ste90]

[Stegla]

[Ste91b]

[THS9]

[THT86]

[THT87]

"A Reduction of the Theory of Confirmation to the No-

tions of Distance and Measure", to appear in: Journal of the Interest

Group in Pure and Applied Logics (1996)

K.Schlechta, "A two-stage approach to first-order default reasoning" to

appear in: Fundamenta Informaticae (1996)

Y.Shoham, "A semantical approach to nonmonotonic logics". In Pro-

ceed. IJCAI 87, po388-392

L.Sombe, "Raisonnements sur des Informations Incompletes en Intelli-

gence Artificielle", Teknea, Marseille, 1989, (also translated to English

and German)

W.Spohn, "Ordinal conditional functions: A dynamic theory of epis-

temic states". In: W.L.Harper and B.Skyrms, (eds.), "Causation in

Decision, Belief Change, and Statistics", vol. 2, p.105-134, Reidel, Dor-

drecht, 1988,

Stalnaker, "A theory of conditionals", in N.Res&er (ed.), "Studies in

Logical Theory", Blackwell, Oxford, p. 98-112, 1968

L.Stein, "Skeptical Inheritance: Computing the Intersection of Credu-

lous Extensions", Proceedings IJCAI 1989, p.1153-1158

L.Stein, "A Preference-Based Approach to Inheritance", Brown Univer-

sity, Dept. Comp. Sci., Technical Report CS-90-08, 1990

L.Stein, "Resolving Ambiguity in Nonmonotonic Reasoning", PhD The-

sis, Technical Report CS-90-18, Brown University, Dept. Comp. Sci.,

Providence, Rhode Island 02912, USA, May 1991

L.Stein, "Resolving Ambiguity in Nonmonotonic Inheritance Hierar-

chies", AI Memo No. 1316, MIT, Artificial Intelligence Laboratory, Au-

gust 1991

R.H.Thomason, J.F.Horty, "Logics tbr Inheritance Theory", in:

M.Reinfrank, J.de Kleer, M.L.Ginsberg, E.Sandewall (eds.), "Non-

Monotonic Reasoning", Proceedings 2nd Int. Workshop Grassau 1988,

Springer, Berlin, 1989, p.220-237

R.H.Thomason, J.F.Horty, D.S.Touretzky, :'A Calculus for Inheri-

tance in Monotonic Semantic Nets", Technical Report CMU-CS-86-138,

Comp.Sci.Dept., Carnegie Mellon Univ. 1986

D.S.Touretzky, J.F.Horty, R.H.Thomason, "A Clash of Intuitions: The

Current State of Nonmonotonic Multiple Inheritance Systems", Pro-

ceed. IJCAI 1987, p.476-482

BIBLIOGRAPHY

243

[TTH91]

[Tho84]

[Tou84]

[TouSG]

D.S.Touretzky, R.H.Thomason, J.F.Horty, "A SkeptiCs Menagerie:

C0nflictors, Preemptors, Reinstaters, and Zombies in Nonmonotonic

Inheritance", IJCAI 1991

Richmond H.Thomason, "Combinations of Tense and Modality", in:

"Handbook of Philosophical Logic!', D.Cabbay, F.Guenthner eds.,

D.Reidel, Dordrecht, 1984, VoI.II, p.135-165

D.S.Touretzky, "Implicit Ordering of Defaults in Inheritance Systems",

Proceed. AAAI 84, p.322-325

D.S.Touretzky, "The Mathematics of Inheritance Systems", Morgan

Kaufmann, San Mateo, !986

[Wa182] D.N.Walton, "Topical Relevance in Argumentation", Amsterdam 1982

Lecture Notes in Artificial Intelligence (LNAI)

Vol. 1011: T. Furuhashi (Ed.), Advances in Fuzzy Logic,

Neural Networks and Genetic Algorithms. Proceedings,

1994. VIII, 223 pages. 1995.

Vol. 2020: I. D. Watson (Ed.), Progress in Case-Based

Reasoning. Proceedings, 1995. VIII, 209 pages. 1995.

Vol. 1036: G. Adorni, M. Zock (Eds.), Trends in Natural

Language Generation. Proceedings, 1993. IX, 382 pages.

1996.

Vol. 1037: M. Wooldridge, J.P. Mtiller, M. Tambe (Eds.),

Intelligent Agents II. Proceedings, 1995. XVI, 437 pages,

I996.

Vol. 1038: W. Van de Velde, J.W. Perram (Eds.), Agents

Breaking Away. Proceedings, 1996. XIV, 232 pages,

1996.

Vol. 1040: S. Wermter, E. Riloff, G. Scheler (Eds.),

Connectionist, Statistical, and Symbolic Approaches to

Learning for Natural Language Processing. IX, 468 pages.

1996.

Vol. 1042: G. weig, S. Sen (Eds.), Adaption and Learn-

ing in Multi-Agent Systems. Proceedings, 1995. X, 238

pages. 1996.

Vol. 1047: E. Hajnicz, Time Structures. IX, 244 pages.

1996.

Vol. 1050: R. Dyckhoff, H. Herre, P, Schroeder-Heister

(Eds.), Extensions of Logic Programming. Proceedings,

1996. VIII, 318 pages. 1996.

Vol. 1053: P. Graf, Term Indexing. XVI, 284 pages. !996.

Vol. 1056: A. Haddadi, Communication and Cooperation

in Agent Systems. XIII, 148 pages. 1996.

Vol. I069: J.W. Pertain, J.-P. M~itler (Eds.), Distributed

Software Agents and Applications. Proceedings, i994.

VIII, 219 pages. 1996.

Vol. 1071: P. Miglioli, U. Moscato, D. Mundici, M.

Ornaghi (Eds.), Theorem Proving with Analytic Tableaux

and Related Methods. Proceedings, 1996. X, 330 pages.

1996.

Vol. 1076: N. Shadbolt, K. O'Hara, G. Schreiber (Eds.),

Advances in Knowledge Acquisition. Proceedings, 1996.

XII, 371 pages. 1996.

Vol. 1079: Z. W. Ra~, M. Michalewicz (Eds.), Founda-

tions of Intelligent Systems. Proceedings, 1996. XI, 664

pages. 1996.

Vol. ~081: G. MeCalla (Ed.), Advances in Artificial In-

telligence. Proceedings, 1996. XII, 459 pages. 1996.

Vol. 1083: K. Sparck Jones, J.R. Galliers, Evaluating

Natural Language Processing Systems. XV, 228 pages.

1996.

Vol. I085: D.M. Gabbay, H.J. Ohlbach (Eds.), Practical

Reasoning. Proceedings, 1996. XV, 721 pages. 1996.

Vol. 1087: C. Zhang, D. Lukose (Eds.), Distributed Arti-

ficial Intelligence, Proceedings, 1995. VIII, 232 pages.

1996.

Vol. 1093: L. Durst, M. van Lambalgen, F. Voorbraak

(Eds.), Reasoning with Uncertainty in Robotics. Proceed-

ings, 1995. VIII, 387 pages. 1996.

Vol. 1095: W. McCune, R. Padmanabhan, Automated

Deduction in Equational Logic and Cubic Curves. X, 231

pages. 1996.

Vol. 1104: M.A. McRobbie, J.K. Slaney (Eds.), Auto-

mated Deduction - Cade- 13. Proceedings, 1996. XV, 764

pages. 1996.

Vot. 1111 : J. J. Alferes, L. Moniz Pereira, Reasoning with

Logic Programming. XXI, 326 pages. I996.

Vol. i 154: N. Foo, R. Goebei (Eds.), PRICAI'96: Topics

in Artificial Intelligence. Proceedings, 1996. XXI, 658

pages. 1996.

Vol. t 115: P.W. Eklund, G. Ellis, G. Mann (Eds.), Con-

ceptual Structures: Knowledge Representation as

Interlingua. Proceedings, I996. XItI, 321 pages, i996.

Vol. 1126: J.J. Alferes, L. Moniz Pereira, E. Orlowska

(Eds.), Logics in Artificial Intelligence. Proceedings,

1996. IX, 417 pages. 1996.

Vol. 1137: G. G/3rz, S. HNldobler (Eds.), KI-96: Advances

in Artificial Intelligence. Proceedings, 1996. XI, 387

pages. 1996.

Vol. 1147: L. Miclet, C. de la Higuera (Eds.), Grammati-

cal Inference: Learning Syntax from Sentences. Proceed-

ings, 1996. VIII, 327 pages. 1996.

Vol. 1152: T. Furuhashi, Y. Uchikawa (Eds.), Fuzzy

Logic, Neural Networks, and Evolutionary Computation.

Proceedings, I995. VIII, 243 pages. 1996.

Vol. 1159: D.L. Borges, C.A.A. Kaestner (Eds.), Ad-

vances in Artificial Intelligence. Proceedings, I996. XI,

243 pages. 1996.

Vol. t 160: S. Arikawa, A.K. Sharma (Eds.), Algorithmic

Learning Theory. Proceedings, 1996. XVII, 337 pages.

1996.

Vol. 1168: I. Smith, B. Faltings (Eds.), Advances in Case-

Based Reasoning. Proceedings, 1996. IX, 531 pages. 1996.

Vol. 1171: A. Franz, Automatic Ambiguity Resolution in

Natural Language Processing. XIX. 155 pages. 1996.

VoI. t I77: J.P. Miiller, The Design of Intelligent Agents.

XV, 227 pages. 1996.

Vol. 1187: K. Schlecta, Nonmonotonic Logics. IX, 243

pages. 1997.

Vol. 1188: T.P. Martin, A.L. Raleseu (Eds.), Fuzzy Logic

in Artificial Intelligence. Proceedings, 1995. VIII, 272

pages. 1997.

Lecture Notes in Computer Science

Vol. 1145: R. Cousot, D.A. Schmidt (Eds.), Static

Analysis. Proceedings, 1996. IX, 389 pages. 1996.

Vol. 1146: E. Bertino, H. Kurth, G. Martella, E. Montolivo

(Eds.), Computer Security - ESORICS 96. Proceedings,

1996. X, 365 pages, i996.

Vol. 1147: L. Miclet, C. de la Higuera (Eds.), Grammatical

Inference: Learning Syntax from Sentences. Proceedings,

1996. VIII, 327 pages. 1996. (Subseries LNAI).

Vol. 1148: M.C. Lin, D. Manocha (Eds.), Applied

Computational Geometry. Proceedings, 1996. VIII, 223

pages. 1996.

Vol. 1149: C. Montangero (Ed.), S~ftware Process

Technology. Proceedings, 1996. IX, 291 pages, 1996.

Vol. 1150: A. Hlawiczka, J.G. Silva, L. Simoncini (Eds.),

Dependable Computing - EDCC-2. Proceedings, 1996.

XVI, 440 pages. 1996.

Vol. 1151: C). Babao~lu, K. Marzullo (Eds.), Distributed

Algorithms. Proceedings, 1996. VIII, 381 pages. 1996.

Vo1_ 1152: T, Furuhashi, Y. Uehikawa (Eds.), Fuzzy

Logic, Neural Networks, and Evolutionary Computation.

Proceedings, 1995. VIII, 243 pages. 1996. (Subseries

LNAI).

Vol. i 153: E. Burke, P. Ross (Eds.), Practice and Theory

of Automated Timetabling. Proceedings, 1995. XIII, 381

pages. 1996.

Vot. l t54: IB. Pedreschi, C. Zaniolo (Eds.), Logic in

Databases. Proceedings, I996. X, 497 pages. I996.

Vol. 1155: J. Roberts, U. Mocci, J. Virtamo (Eds.),

Broadbank Network Teletraffic. XXII, 584 pages. 1996.

Vol_ 1156: A, Bode, J. Dongarra, T. Ludwig, V. Sunderam

(Eds.), Parallel Virtual Machine - EuroPVM '96.

Proceedings, 1996. XIV, 362 pages. 1996.

Vo[. 1157: B. Thalheim (Ed.), Conceptual Modeling- ER

'96. Proeeedings~ 1996. XII, 489 pages. 1996,

Vol. 1158: S, Berardi, M. Coppo (Eds.), Types for Proofs

and Programs. Proceedings, 1995. X, 296 pages. 1996.

Vol, 1159: D.L. Borges, C.A.A. Kaestuer (Eds,)!

Advances in Artificial Intelligence. Proceedings, 1996.

XI, 243 pages. (Subseries LNAI).

Vol.

t60: S. Arikawa, A.K. Sharma (Bds.), Algorithmic

Learning Theory. Proceedings, 1996. XVII, 337 pages.

1996_ (Snbseries LNAI).

Vol. t161: O. Spaniol, C. Linnhoff-Popien, B. Meyer

(Eds.), Trends in Distributed Systems. Proceedings, 1996.

VIII, 289 pages. 1996.

Vol. 1162: D.G. Feitelson, L. Rudolph (Eds.), Job

Scheduling Strategies for Parallet Processing.

Proceedings, 1996. VIII, 291 pages. 1996.

VoL 1163: K. Kim, T. Matsumoto (Eds.), Advances in

Cryptology -AS1ACRYPT '96. Proceedings, 1996. XII,

395 pages. 1996.

Vol. 1164: K. Berquist, A. Berquist (Eds.), Managing

Information Highways. XIV, 417 pages. 1996.

Vol. 1165: J.-R. Abrial, E. B~Srger, H. Langmaack (Eds.),

Formal Methods for Industrial Applications. VIII, 511

pages. 1996.

Vol. 1166: M. Srivas, A. Camilleri (Eds.), Formal

Methods in Computer-Aided Design. Proceedings, 1996.

IX, 470 pages. 1996.

Vol. 1167: 1. Sommerville (Ed.), Software Configuration

Management. VII, 291 pages. 1996.

Vol. 1168: I. Smith, B. Faltings (Eds.), Advances in Case-

Based Reasoning. Proceedings, 1996. tX, 531 pages.

1996. (Subseries LNAI).

Vol. 1169: M. Broy, S. Merz, K. Spies (Eds.), Formal

Systems Specification. XXIII, 541 pages. 1996.

Vol. 1170: M. Nagl (Ed.), Building Tightly Integrated

Software Development Environments: The IPSEN

Approach. IX, 709 pages. 1996.

Vol. t 171 : A. Franz, Automatic Ambiguity Resolution in

Natural Language Processing. XIX, 155 pages. 1996.

(Subseries LNAI).

Vel. 1172: J. Pieprzyk, J. Seberry (Eds.), Information

Security and Privacy. Proceedings, 1996. IX, 333 pages.

1996.

Vol. i 173: W. Rueklidge, Efficient Visual Recognition

Using the Hausdorff Distance. XtlI, 178 pages. 1996.

Vol. 1174: R. Anderson (Ed.), Information Hiding.

Proceedings, 1996. VIII, 351 pages. 1996.

Vol. 1175: K.G. Jeffery, J. Krfil, M. Bartc~ek (Eds.),

SOFSEM'96: Theory and Practice of Informatics.

Proceedings, 1996. XII, 491 pages. 1996.

Vol. 1176: S. Miguet, A. Montanvert, S. Ub6da (Eds.),

Discrete Geometry for Computer Imagery. Proceedings,

1996. XI, 349 pages. 1996.

Vol. 1177: J.P. Miiller, The Design of Intelligent Agents.

XV, 227 pages. 1996 (Snbseries LNAI).

Vol. 1178: T. Asano, Y. Igarashi, H. Nagamochi, S.

Miyano, S. Suri (Eds.), Algorithms and Computation.

Proceedings, 1996. X, 448 pages. 1996.

~Vol. 1187: K. Schlechta, Nonmonotonic Logics. IX, 243

pages. 1997. (Subseries LNAI).

VoI. 1188: T,P. M artin, A.L. Rateseu (Eds.), Fuzzy Logic

in Artificial Intelligence. Proceedings, 1995. VIII, 272

pages. 1197. (subseries LNAI).

Vol. 1189: M. Lomas (Ed.), Security Protocols.

Proceedings, 1996. VIII, 203 pages. 1997.

VoL 1190: S. North (Ed.), Graph Drawing. Proceedings,

1996. XI, 409 pages. 1997. Vol. 1143: T.C~ Fogarty (Ed.),

Evolutionary Computing. Proceedings, 1996. VIII, 305

pages. 1996.