Conferences in DBLP
Philippe Collard , Cathy Escazut , Alessio Gaspar An Evolutionary Approach for Time Dependent Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Fulvio Corno , Paolo Prinetto , Matteo Sonza Reorda A Genetic Algorithm for Automatic Generation of Test Logic for Digital Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] T. L. Lau , Edward P. K. Tsang Applying a Mutation-based Genetic Algorithm to Processor Configuration Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Hisashi Shimodaira A New Genetic Algorithm Using Large Mutation Rates and Population-Elitist Selection (GALME). [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Hunter Intelligent Text Handling Using Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Washington Incremental Markov-Model Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Fabiani Strategy of Perception and Temporal Representation of Beliefs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Harrington , Sheila B. Banks , Eugene Santos Jr. GESIA: Uncertainty-based Reasoning for a Generic Expert Systems Intelligent User Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Gaizauskas , Hamish Cunningham , Yorick Wilks , Peter J. Rodgers , Kevin Humphreys GATE: An Environment to Support Research and Development in Natural Language Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Verónica Dahl , Andrew Fall , Stephen Rochefort , Paul Tarau A Hypothetical Reasoning-based Framework for NL Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanos E. Michos , Efstathios Stamatatos , Nikos Fakotakis , George K. Kokkinakis An Empirical Text Categorizing Computational Model Based on Stylistic Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Talon , Christine Pierret-Golbreich TASK: From the Specification to the Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Vanthienen , E. Dries , J. Keppens Clustering Knowledge in Tabular Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Staudt , Matthias Jarke , Christoph Quix Active Change Notification in Advanced Knowledge Base Servers. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Richeldi , Pier Luca Lanzi ADHOC: a Tool for Performing Effective Feature Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Chantal Reynaud , Françoise Tort Use of Expertise Ontologies in the Knowledge Engineering Process. [Citation Graph (0, 0)][DBLP ] Conf ] Takao Miura , Isamu Shioya Knowledge Acquisition for Classification Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Henz , Stefan Lauer , Detlev Zimmermann COMPOzE: Intention-based Music Composition through Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Baker , Laurent Charnay , Michelle Joab , Benoît Lemaire , Brigitte Safar , Daniel Schlienger Incorporating Functionalities of Expert Medical Critique Dialogues in the Design of a Graphical Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Dago , Gérard Verfaillie Nogood Recording for Valued Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] B. M. W. Cheng , Jimmy Ho-Man Lee , J. C. K. Wu A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Würtz Oz Scheduler: A Workbench for Scheduling Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Vitaly Telerman , Dmitry Ushakov Subdefinite Models as a Variety of Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Fatma Bouali , Stéphane Loiseau , Marie-Christine Rousset Merging Test and Verification for Rule Base Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Yue Xu , Chengqi Zhang An Improved Critical Diagnosis Reasoning Method. [Citation Graph (0, 0)][DBLP ] Conf ] M. Teresa Escrig , Francisco Toledo Enhancing Qualitative Relative Orientation with Qualitative Distance for Robot Path Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Baher A. El-Geresy , Alia I. Abdelmoty Order in Space: A General Formalism for Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Vassilopoulos , Cris Koutsougeras Refinements in Training Schemes for the Coulomb Energy Network. [Citation Graph (0, 0)][DBLP ] Conf ] Seung Soo Han , Gary S. May Optimization of Neural Network Structure and Learning Parameters Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Michel , Philippe Collard Artificial Neurogenesis: An Application to Autonomous Robotics. [Citation Graph (0, 0)][DBLP ] Conf ] Sanda M. Harabagiu , Dan I. Moldovan PARIS: A Parallel Inference System. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Pierre Chouvet , Florence Le Ber Knowledge Bases and Agents for Domain Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Pierret-Golbreich Correction of Dynamic Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Kohavi , Dan Sommerfield , James Dougherty Data Mining Using MLC++: A Machine Learning Library in C++. [Citation Graph (0, 0)][DBLP ] Conf ] Howard J. Hamilton , Robert J. Hilderman , Nick Cercone Attribute-oriented Induction Using Domain Generalization Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Zijian Zheng Effects of Different Types of New Attribute on Constructive Induction. [Citation Graph (0, 0)][DBLP ] Conf ] P. W. Ilott , A. J. Griffiths Development of a Pumping System Decision Support Tool Based on Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] George Tambouratzis Applying Logic Neural Networks to Hand-Written Character Recognition Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Rafik Braham Neural Networks with Long-Range Feedback: Design for Stable Dynamics. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Dent , Robert E. Mercer An Empirical Inverstigation of the Forward Checking Algorithm and Its Derivatives. [Citation Graph (0, 0)][DBLP ] Conf ] Assef Chmeiss , Philippe Jégou Two New Donstraint Propagation Algorithms Requiring Small Space Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Alvin C. M. Kwan , Edward P. K. Tsang Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping. [Citation Graph (0, 0)][DBLP ] Conf ] Romuald Debruyne Arc-Consistency in Dynamic CSPs Is No More Prohibitive. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Massacci Approximate Reasoning for Contextual Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Rachid Yacoub , Michel Dumas , Gilles Arnaud Resolution Strategies for Focusing a Reason Maintenance System. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Marchiori , Massimo Marchiori , Joost N. Kok Forward-Tracking: A Technique for Searching Beyond Failure. [Citation Graph (0, 0)][DBLP ] Conf ] Clara Pizzuti Computing Prime Implicants by Integer Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Babak Hamidzadeh , Alireza Afshar Opportunisitc Behavior and Its Automatic Adjustment in Dynamic Task Domains. [Citation Graph (0, 0)][DBLP ] Conf ] T. L. McCluskey , Diane E. Kitchin , J. M. Porteous Object-Centered Planning: Lifting Classical Planning from the Literal Level to the Object Level. [Citation Graph (0, 0)][DBLP ] Conf ] Nikos A. Vlassis , Nikitas M. Sgouros , G. Efthivoulidis , George K. Papakonstantinou , Panayotis Tsanakas Global Path Planning for Autonomous Qualitative Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] Alfonso Gerevini , Anna Perini , Francesco Ricci Incremental Algorithms for Managing Temporal Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Castel , Laurent Chaudron , Catherine Tessier First Order C-Cubes for the Interpretation of Petri Nets: An Application to Dynamic Scene Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Basilis Boutsinas On Managing Nonmonotonic Transitive Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hess Deduction over Mixed-Level Logic Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Ofer Arieli , Arnon Avron Automatic Diagnoses for Properly Stratified Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Leila Amgoud , Claudette Cayrol , Daniel Le Berre Comparing Arguments Using Preference Ordering for Argument-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Salem Benferhat , Laurent Garcia A Local Approach to Reasoning with Conditional Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Jurisica , Janice I. Glasgow Case-Based Classification Using Similarity-Based Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Yannick Marchand , Jean-Luc Guérin Nestor: A Trail Blazer for Hypertexts. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Castell Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Hiromi Miyajima , Lixin Ma , Hiroyuki Suwa Dynamic Properties of Higher Order Random Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Francis Van Aeken Le Salon, Where Agents Meet Actors. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Catfolis , Kürt Meert Implementing Empirical Modeling Techniques with Recurrent Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Schroeder , Iara de Almeida Móra , Luís Moniz Pereira A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Said Belhadji , Amar Isli AI Tools in Scheduling Problem Solving: A Solver Based on a "Well-Behaved" Restriction of TCSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Beatrice Lazzerini , Francesco Marcelloni Reasonable Conclusions in Fuzzy Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Poggi Integrating Agents and Objects to Develop Distributed AI Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Gallone , François Charpillet Composing Approximated Algorithms Based on Hopfield Neural Network for Building a Resource-Bounded Scheduler. [Citation Graph (0, 0)][DBLP ] Conf ] C. Marie-Françoise Canut , Murielle Eloi A Task-Based Production Environment for Intelligent Learning/Teaching Systems: The "NGE" Kernel. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Edwards , Eugene Santos Jr. , Sheila B. Banks , Martin R. Stytz Computer Generated Intelligent Companions for Distributed Virtual Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Prcovic A Distributed Algorithm Solving CSPs with a Low Communication Cost. [Citation Graph (0, 0)][DBLP ] Conf ] Madeleine Girard Assistant Agents for Creation and Management of Distributed Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Thimm , Emile Fiesler A Boolean Appraoch to Construct Neural Networks for Non-Boolean Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Blache Named Disjunctions and Lazy Evaluation for Syntactic Ambiguities. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Castro Binary CSP Solving as an Inference Process. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Ramaux , Dominique Fontaine Recognizing a Scenario by Calculating a Temporal Proximity Index between Constraint Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] João P. Marques Silva , Karem A. Sakallah Conflict Analysis in Search Algorithms for Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Jie Cheng , David A. Bell , Weiru Liu A Practical Approach to Knowledge Representation and Reasoning in Relational Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Louis Sanzogni , Richard F. Bonner , Ringo Chan Perceptrons with Polynomial Post-Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Gary Hall , Fred Popowich , Dan Fass Natural Language Edit Controls: Constrained Natural Language Devices in User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Goce Trajcevski , Jorge Lobo , Naveen Grover Meta Updater: An Interactive Tool for Minimal View Updates in Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Mark A. Edwards , Heather M. Powell , Dominic Palmer-Brown A Comparative Evaluation of a Natural Language Exploration Tool within a Hypermedia Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Younes Chtioui , Dominique Bertrand , Marie-Françoise Devaux , Dominique Barba Application of a Hybrid Neural Network for the Discrimination of Seeds by Artificial Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Tony Lindeberg Automatic Scale Selection as a Pre-Processing Stage to Interpreting Real-World Data. [Citation Graph (0, 0)][DBLP ] Conf ] 