9. ISMIS 1996:
Zakopane,
Poland
Zbigniew W. Ras, Maciej Michalewicz (Eds.):
Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings.
Lecture Notes in Computer Science 1079 Springer 1996, ISBN 3-540-61286-6 BibTeX
@proceedings{DBLP:conf/ismis/1996,
editor = {Zbigniew W. Ras and
Maciej Michalewicz},
title = {Foundations of Intelligent Systems, 9th International Symposium,
ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings},
booktitle = {ISMIS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1079},
year = {1996},
isbn = {3-540-61286-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Knowledge Representation
Learning and Discovery Systems
Invited Session on Evolutionary Computation
Logic for AI
- Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü:
Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract).
202-211 BibTeX
- Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam:
Automating Proofs of Integrity Constraints in Situation Calculus.
212-222 BibTeX
- Pawel Cholewinski:
Towards Programming in Default Logic.
223-232 BibTeX
- Jianhua Chen, Sukhamay Kundu:
A Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator.
233-242 BibTeX
- Frank Dignum, Hans Weigand, Egon Verharen:
Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints.
243-252 BibTeX
Intelligent Information Systems
Knowledge Representation
Approximate Reasoning
Evolutionary Computation
Intelligent Information Systems
Learning and Discovery Systems
Intelligent Information Systems
Logic for Artificial Intelligence
Intelligent Information Systems
Learning and Discovery Systems
Copyright © Sat May 16 23:25:51 2009
by Michael Ley (ley@uni-trier.de)
