Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|