default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. WOCFAI 1995: Paris, France
- Michel De Glas, Zdzislaw Pawlak:
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, WOCFAI 1995, 3-7 July 1995, Paris, France. Angkor, 6, rue Maître-Albert, 75005 Paris, France 1995, ISBN 2-87892-009-0 - 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 - Michel De Glas, Jean-Philippe Jacquet:
Pseudo-Consistent Logic. WOCFAI 1995: 97-108 - 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 - 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 - 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 - Lech Polkowski, Andrzej Skowron:
Rough Mereology and Analytical Morphology: New Development in Rough Set Theory. WOCFAI 1995: 343-354 - Helmut Prendinger, Gerhard Schurz:
Reasoning about Action in Dynamic Logic. WOCFAI 1995: 355-366 - Greg Restall, John K. Slaney:
Realistic Belief Revision. WOCFAI 1995: 367-378 - Jürgen Schröder:
Systematicity, Compositionality, and the Notion of Symbolic Representations. WOCFAI 1995: 379-391 - Shusaku Tsumoto, Hiroshi Tanaka:
Algebraic Formulation of Empirical Learning Methods Based on Rough Sets and Matroid Theory. WOCFAI 1995: 393-404 - Yury Tsybenko:
On Fixed Points in Diagnosis Set. WOCFAI 1995: 405-416 - Dimiter Vakarelov:
A Duality Between Pawlak's Information Systems and Bi-Consequence Systems with Applications to First-Order and Modal Characterizations of some Informational Relations. WOCFAI 1995: 417-428 - Bart Verheij:
The Influence of Defeated Arguments in Defeasible Argumentation. WOCFAI 1995: 429-440 - Alberto Voltolini:
Compositional Supervinience Without Compositional Meaning? WOCFAI 1995: 441-452 - Gerard Vreeswijk:
Interpolation of Benchmark Problems in Defeasible Reasoning. WOCFAI 1995: 453-468 - Mary-Anne Williams:
Changing Nonmonotonic Inference Relations. WOCFAI 1995: 469-480 - Wayne Wobcke:
Plan Recognition as Belief Revision. WOCFAI 1995: 481-492 - Vladimir Yakhnis, Boris Stilman:
A Multi-Agent Graph-Game Approach to Theoretical Foundations of Linguistic Geometry. WOCFAI 1995: 493-504 - Ryszard S. Michalski:
Learning and Cognition. WOCFAI 1995: 507-510 - Patrick Suppes, Michael Böttner, Lin Liang, Raymond Ravaglia:
Machine Learning of Natural Language: Problems and Prospects. WOCFAI 1995: 511-525
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-30 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
