Search results for "WOCFAI"

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

Publications at "WOCFAI"( http://dblp.L3S.de/Venues/WOCFAI )