Abstract is missing.
- Representativity as EmergenceJean-Pierre Barthélemy, Pascal Boldini. 3-14
- Application of Modal Logics and Rough Sets for Classifying ObjectsJan G. Bazan, Hung Son Nguyen, Tuan Trung Nguyen, Andrzej Skowron, Jaroslaw Stepaniuk. 15-26
- Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification ProblemPaolo Bouquet, Fausto Giunchiglia. 39-50
- A Statistical Measure of Rules Strength for Machine LearningHenri Briand, Laurent Fleury, Régis Gras, Yann Masson, Jacques Philippe. 51-62
- Basic Issues in Spatial ReasoningRoberto Casati, Achille C. Varzi. 63-72
- On the Concept of Concept in the Context of Autonomous AgentsPaul Davidsson. 85-96
- Pseudo-Consistent LogicMichel De Glas, Jean-Philippe Jacquet. 97-108
- General Connections via Equality EliminationAnatoli Degtyarev, Andrei Voronkov. 109-120
- A Hierarchy of Backward Translations: Applications to Modal LogicsStéphane Demri. 121-132
- Ground Nonmonotonic Modal Logics for Knowledge RepresentationFrancesco M. Donini, Daniele Nardi, Riccardo Rosati. 133-144
- Using Exemplary Knowledge for Justified Analogical ReasoningManfred Kerber, Erica Melis. 157-168
- Reformulating Resolution Problems by TacticsManfred Kerber, Axel Präcklein. 169-180
- Omega-Perfect Semantics for Inductive Synthesis, Refinement Calculus and Update of Logic ProgramsRoger Klausen, Henryk Jan Komorowski. 181-192
- Neurosymbolic Integration: Cognitive Grounds and Computational StrategiesYannick Lallement, Melanie Hilario, Frédéric Alexandre. 193-203
- Arbitration: A Commutative Operator for Belief RevisionPaolo Liberatore, Marco Schaerf. 217-228
- A Postmodern Paradigm for Artificial IntelligenceCraig A. Lindley. 229-240
- Formal Theories of Probabilistic Dependency ModelsFrancesco M. Malvestuto. 241-252
- A Temporal Plan TheoryZohar Manna, Massimo Paltrinieri, Richard J. Waldinger. 253-261
- Two Approaches to Investigation of Deterministic and Nondeterministic Decision Trees ComplexityMikhail Moshkov. 275-280
- Lukaszewicz Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default TheoryPascal Nicolas, Béatrice Duval. 281-293
- Explicit Management of the Natural Language Uncertainty via a Logico-Symbolic Probability TheoryDaniel Pacholczyk, Jean-Marc Pacholczyk, Gilles Hunault. 295-306
- On Multi-Agent Autoepistemic ReasoningYongyuth Permpoontanalarp, John Yuejun Jiang. 307-318
- Rethinking Methodological Issues in Cognitive Science and AI: Computational Neuroepistemology, Philosophy of Science, and Knowledge RepresentationMarkus F. Peschl. 319-330
- On the Replacement of Induction for a First Order Linear Temporal LogicRegimantas Pliuskevicius. 331-342
- Rough Mereology and Analytical Morphology: New Development in Rough Set TheoryLech Polkowski, Andrzej Skowron. 343-354
- Reasoning about Action in Dynamic LogicHelmut Prendinger, Gerhard Schurz. 355-366
- Systematicity, Compositionality, and the Notion of Symbolic RepresentationsJürgen Schröder. 379-391
- Algebraic Formulation of Empirical Learning Methods Based on Rough Sets and Matroid TheoryShusaku Tsumoto, Hiroshi Tanaka. 393-404
- On Fixed Points in Diagnosis SetYury Tsybenko. 405-416
- A Duality Between Pawlak s Information Systems and Bi-Consequence Systems with Applications to First-Order and Modal Characterizations of some Informational RelationsDimiter Vakarelov. 417-428
- The Influence of Defeated Arguments in Defeasible ArgumentationBart Verheij. 429-440
- Interpolation of Benchmark Problems in Defeasible ReasoningGerard Vreeswijk. 453-468
- Changing Nonmonotonic Inference RelationsMary-Anne Williams. 469-480
- Plan Recognition as Belief RevisionWayne Wobcke. 481-492
- A Multi-Agent Graph-Game Approach to Theoretical Foundations of Linguistic GeometryVladimir Yakhnis, Boris Stilman. 493-504
- Learning and CognitionRyszard S. Michalski. 507-510
- Machine Learning of Natural Language: Problems and ProspectsPatrick Suppes, Michael Böttner, Lin Liang, Raymond Ravaglia. 511-525