• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 45 matches

• 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

skipping 15 more matches