Sign in
WOCFAI
1995
1995
1995
Keyphrases
Publications
1995
Regimantas Pliuskevicius
On the Replacement of Induction for a First Order Linear Temporal Logic.
WOCFAI
(1995)
Michel De Glas
,
Jean-Philippe Jacquet
Pseudo-Consistent Logic.
WOCFAI
(1995)
Jürgen Schröder
Systematicity, Compositionality, and the Notion of Symbolic Representations.
WOCFAI
(1995)
Claire Beyssade
,
Patrice Enjalbert
,
Claire Lefèvre
Cooperating Logical Agents.
WOCFAI
(1995)
Yongyuth Permpoontanalarp
,
John Yuejun Jiang
On Multi-Agent Autoepistemic Reasoning.
WOCFAI
(1995)
Marion Mircheva
Rule-Based Systems and Logic Programs: Bringing Two Approaches Together.
WOCFAI
(1995)
Jean-Pierre Barthélemy
,
Pascal Boldini
Representativity as Emergence.
WOCFAI
(1995)
Francesco M. Malvestuto
Formal Theories of Probabilistic Dependency Models.
WOCFAI
(1995)
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, WOCFAI 1995, 3-7 July 1995, Paris, France.
WOCFAI
(1995)
Ryszard S. Michalski
Learning and Cognition.
WOCFAI
(1995)
Henri Briand
,
Laurent Fleury
,
Régis Gras
,
Yann Masson
,
Jacques Philippe
A Statistical Measure of Rules Strength for Machine Learning.
WOCFAI
(1995)
Manfred Kerber
,
Erica Melis
Using Exemplary Knowledge for Justified Analogical Reasoning.
WOCFAI
(1995)
Markus F. Peschl
Rethinking Methodological Issues in Cognitive Science and AI: Computational Neuroepistemology, Philosophy of Science, and Knowledge Representation.
WOCFAI
(1995)
Lech Polkowski
,
Andrzej Skowron
Rough Mereology and Analytical Morphology: New Development in Rough Set Theory.
WOCFAI
(1995)
Roger Klausen
,
Henryk Jan Komorowski
Omega-Perfect Semantics for Inductive Synthesis, Refinement Calculus and Update of Logic Programs.
WOCFAI
(1995)
Vladimir Yakhnis
,
Boris Stilman
A Multi-Agent Graph-Game Approach to Theoretical Foundations of Linguistic Geometry.
WOCFAI
(1995)
Pascal Nicolas
,
Béatrice Duval
Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory.
WOCFAI
(1995)
Eric Humbert
Elimination of k-Sat Clauses in the k-Satisfiability Problem.
WOCFAI
(1995)
Paolo Bouquet
,
Fausto Giunchiglia
Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem.
WOCFAI
(1995)
Paolo Liberatore
,
Marco Schaerf
Arbitration: A Commutative Operator for Belief Revision.
WOCFAI
(1995)
Patrick Suppes
,
Michael Böttner
,
Lin Liang
,
Raymond Ravaglia
Machine Learning of Natural Language: Problems and Prospects.
WOCFAI
(1995)
Helmut Prendinger
,
Gerhard Schurz
Reasoning about Action in Dynamic Logic.
WOCFAI
(1995)
Mikhail Moshkov
Two Approaches to Investigation of Deterministic and Nondeterministic Decision Trees Complexity.
WOCFAI
(1995)
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)
Gerard Vreeswijk
Interpolation of Benchmark Problems in Defeasible Reasoning.
WOCFAI
(1995)
Roberto Casati
,
Achille C. Varzi
Basic Issues in Spatial Reasoning.
WOCFAI
(1995)
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)
Yannick Lallement
,
Melanie Hilario
,
Frédéric Alexandre
Neurosymbolic Integration: Cognitive Grounds and Computational Strategies.
WOCFAI
(1995)
Craig A. Lindley
A Postmodern Paradigm for Artificial Intelligence.
WOCFAI
(1995)
Daniel Pacholczyk
,
Jean-Marc Pacholczyk
,
Gilles Hunault
Explicit Management of the Natural Language Uncertainty via a Logico-Symbolic Probability Theory.
WOCFAI
(1995)
Shusaku Tsumoto
,
Hiroshi Tanaka
Algebraic Formulation of Empirical Learning Methods Based on Rough Sets and Matroid Theory.
WOCFAI
(1995)
Stéphane Demri
A Hierarchy of Backward Translations: Applications to Modal Logics.
WOCFAI
(1995)
Mary-Anne Williams
Changing Nonmonotonic Inference Relations.
WOCFAI
(1995)
Zohar Manna
,
Massimo Paltrinieri
,
Richard J. Waldinger
A Temporal Plan Theory.
WOCFAI
(1995)
Marcos Cavalcanti
Possible Worlds in Production Systems: an Assumption-Based Framework for Nonmonotonic Reasoning.
WOCFAI
(1995)
Greg Restall
,
John K. Slaney
Realistic Belief Revision.
WOCFAI
(1995)
Alberto Voltolini
Compositional Supervinience Without Compositional Meaning?
WOCFAI
(1995)
Bart Verheij
The Influence of Defeated Arguments in Defeasible Argumentation.
WOCFAI
(1995)
Francesco M. Donini
,
Daniele Nardi
,
Riccardo Rosati
Ground Nonmonotonic Modal Logics for Knowledge Representation.
WOCFAI
(1995)
Manfred Kerber
,
Axel Präcklein
Reformulating Resolution Problems by Tactics.
WOCFAI
(1995)
Wayne Wobcke
Plan Recognition as Belief Revision.
WOCFAI
(1995)
Paul Davidsson
On the Concept of Concept in the Context of Autonomous Agents.
WOCFAI
(1995)
Chang-Jung Liau
On the Relationship Between Evidential Structures and Data Tables.
WOCFAI
(1995)
Anatoli Degtyarev
,
Andrei Voronkov
General Connections via Equality Elimination.
WOCFAI
(1995)
Yury Tsybenko
On Fixed Points in Diagnosis Set.
WOCFAI
(1995)