- 1995
- Jean-Pierre Barthélemy, Pascal Boldini:
Representativity as Emergence. WOCFAI 1995: 3-14 - Jan G. Bazan, Hung Son Nguyen, Tuan Trung Nguyen, Andrzej Skowron, Jaroslaw Stepaniuk:
Application of Modal Logics and Rough Sets for Classifying Objects. WOCFAI 1995: 15-26 - Claire Beyssade, Patrice Enjalbert, Claire Lefèvre:
Cooperating Logical Agents. WOCFAI 1995: 27-38 - Paolo Bouquet, Fausto Giunchiglia:
Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem. WOCFAI 1995: 39-50 - Henri Briand, Laurent Fleury, Régis Gras, Yann Masson, Jacques Philippe:
A Statistical Measure of Rules Strength for Machine Learning. WOCFAI 1995: 51-62 - Roberto Casati, Achille C. Varzi:
Basic Issues in Spatial Reasoning. WOCFAI 1995: 63-72 - Marcos Cavalcanti:
Possible Worlds in Production Systems: an Assumption-Based Framework for Nonmonotonic Reasoning. WOCFAI 1995: 73-84 - Paul Davidsson:
On the Concept of Concept in the Context of Autonomous Agents. WOCFAI 1995: 85-96 - Anatoli Degtyarev, Andrei Voronkov:
General Connections via Equality Elimination. WOCFAI 1995: 109-120 - Stéphane Demri:
A Hierarchy of Backward Translations: Applications to Modal Logics. WOCFAI 1995: 121-132 - Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144 - Michel De Glas, Jean-Philippe Jacquet:
Pseudo-Consistent Logic. WOCFAI 1995: 97-108 - Eric Humbert:
Elimination of k-Sat Clauses in the k-Satisfiability Problem. WOCFAI 1995: 145-156 - Manfred Kerber, Erica Melis:
Using Exemplary Knowledge for Justified Analogical Reasoning. WOCFAI 1995: 157-168 - Manfred Kerber, Axel Präcklein:
Reformulating Resolution Problems by Tactics. WOCFAI 1995: 169-180 - Roger Klausen, Henryk Jan Komorowski:
Omega-Perfect Semantics for Inductive Synthesis, Refinement Calculus and Update of Logic Programs. WOCFAI 1995: 181-192 - Yannick Lallement, Melanie Hilario, Frédéric Alexandre:
Neurosymbolic Integration: Cognitive Grounds and Computational Strategies. WOCFAI 1995: 193-203 - Chang-Jung Liau:
On the Relationship Between Evidential Structures and Data Tables. WOCFAI 1995: 205-216 - Paolo Liberatore, Marco Schaerf:
Arbitration: A Commutative Operator for Belief Revision. WOCFAI 1995: 217-228 - Craig A. Lindley:
A Postmodern Paradigm for Artificial Intelligence. WOCFAI 1995: 229-240 - Francesco M. Malvestuto:
Formal Theories of Probabilistic Dependency Models. WOCFAI 1995: 241-252 - Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger:
A Temporal Plan Theory. WOCFAI 1995: 253-261 - Ryszard S. Michalski:
Learning and Cognition. WOCFAI 1995: 507-510 - Marion Mircheva:
Rule-Based Systems and Logic Programs: Bringing Two Approaches Together. WOCFAI 1995: 263-274 - Mikhail Moshkov:
Two Approaches to Investigation of Deterministic and Nondeterministic Decision Trees Complexity. WOCFAI 1995: 275-280 - Pascal Nicolas, Béatrice Duval:
Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory. WOCFAI 1995: 281-293 - Daniel Pacholczyk, Jean-Marc Pacholczyk, Gilles Hunault:
Explicit Management of the Natural Language Uncertainty via a Logico-Symbolic Probability Theory. WOCFAI 1995: 295-306 - Yongyuth Permpoontanalarp, John Yuejun Jiang:
On Multi-Agent Autoepistemic Reasoning. WOCFAI 1995: 307-318 - Markus F. Peschl:
Rethinking Methodological Issues in Cognitive Science and AI: Computational Neuroepistemology, Philosophy of Science, and Knowledge Representation. WOCFAI 1995: 319-330 - Regimantas Pliuskevicius:
On the Replacement of Induction for a First Order Linear Temporal Logic. WOCFAI 1995: 331-342
