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