Conferences in DBLP
Thierry Boy de la Tour , Gilles Chaminade The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach Compilation of Recursive Two-Literal Clauses into Unification Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Caferra , Nicolas Zabel An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Besnard Logics for Automated Reasoning in the Presence of Contradictions. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fariñas del Cerro , Martti Penttonen Logics with Structured Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Sebastiani A Proof-Theoretic Account of Model-Preference Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Moinard , Raymond Rolland Unexpected and Unwanted Results of Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Popchev , Neli Zlatareva , Marion Mircheva A Logic for Truth Maintenance Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Laurence Cholvy Querying an Inconstistent Database. [Citation Graph (0, 0)][DBLP ] Conf ] Mare Koit , Haldur Oim An Approach to the Modelling of Natural Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Camelia Yoinea Number Generalization in Learning from Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Imbert About Redundant Inequalities Generated by Fourier's Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Grandcolas Equations over Trees and Lists with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Boï , Antoine Rauzy Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Elmar Eder , Yan Liu Rule-Based Mechanism for Constraint Checking in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Mounira Belmesk A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Zdravko Markov , Christo Dichev Logical Inference in a Network Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Joachim Goltz A Practicable Approach to Functional Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner Combining Horn Clause Logic with Rewrite Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Tzvetan T. Drashansky , Atanas Radensky Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language. [Citation Graph (0, 0)][DBLP ] Conf ] Arnulfo P. Azcarraga , Bernard Amy Kohonen Feature Maps: Toward Invariant Character Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri P. Serdyuk Occam Based Neural Network Description Language. [Citation Graph (0, 0)][DBLP ] Conf ] Nikola K. Kasabov Hybrid Connectionist Rule-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Slawomir T. Wierzchon , A. Pacan , Mieczyslaw A. Klopotek An Object-Oriented Representation Framework for Hierarchical Evidential Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Ilia Iv. Dimitrov A Systems-Based Framework for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan H. Chernev , Danail Dochev Modelling of Medical Diagnostic Knowledge and Reasoning in DEDEX Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] R. O. Lindsay , A. G. Priest On the Use of Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Migault , François Rousselot , Bernard Keith Developing a Knowledge Based System. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Simov Jotsov Defeasible Reasoning by Using Analogies. [Citation Graph (0, 0)][DBLP ] Conf ] Georgi Simov Solving Program Configuration Task through a Knowledge Based System. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Aurnague , Mario Borillo A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Allgayer , Carola Reddig What's in a 'DET'? Steps towards Determiner-Dependent Inferencing. [Citation Graph (0, 0)][DBLP ] Conf ] Giacomo Ferrari , Irina Prodanof , Ronan Reilly , Alessandro Saffiotti Dialogue Modeling and Response Generation in CFID, a Robust Man-Machine Interface System. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Robba Analogical Reasoning and Sentence Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Allan Ramsay Speech Act Therory and Epistemic Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Ruslan Mitkov , Galya Simeonova Some Linguistic and Conceptual Aspects in the Generation of Bulgarian Natural Language Text. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Erbach Syntactic Processing of Unknown Words. [Citation Graph (0, 0)][DBLP ] Conf ] Lydia Sinapova A Network Parsing Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Sabine Letellier , Jean Pierre Fournier How to Deal Intelligently with Unexpected? [Citation Graph (0, 0)][DBLP ] Conf ] Boiko M. Balev , George I. Sharkov Knoweldge-Based Interpretation of Biophysical Images. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolai G. Fedotov , Michael E. Larin Computer Vision and Stochastic Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] David Young Quantitative Ecological Optics. [Citation Graph (0, 0)][DBLP ] Conf ] 