Conferences in DBLP
Agnar Aamodt Knowledge-Intensive Case-Based Reasoning and Sustained Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Aben , Maarten van Someren Heuristic Refinement of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Allgayer SB-ONE+: Dealing with Sets Efficiently. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Alonso , José Cuena , Martín Molina SIRAH: An Architecture for a Professional Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Elisabeth André , Thomas Rist Towards a Plan-Based Synthesis of Illustrated Documents. [Citation Graph (0, 0)][DBLP ] Conf ] J.-M. Andre , A. Mouginot , M. Venet A Framework for Dynamic Reorganization. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Araya , Frank M. Brown SCHEMATA: A Language for Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Attardi , Mauro Gaspari , F. Saracco Interoperability of AI Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Béchir el Ayeb , Pierre Marquis , Michaël Rusinowitch Deductive/Abductvie Diagnosis: The DA-Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader A Formal Definition for the Expressive Power of Knowledge Representation Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Fahiem Bacchus Probabilistic Belief Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Afzal Ballim , Yorick Wilks Relevant Beliefs. [Citation Graph (0, 0)][DBLP ] Conf ] V. R. Bandekar Causal Structures: Computation and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Beauvieux , Philippe Dague A General Consistency (Checking and Restoring) Engine for Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Bell , Louis-François Pau Context Knowledge and Search Control Issues in Object-Oriented Prolog-Based Image Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Bergadano , Attilio Giordana , Lorenza Saitta Biasing Induction by Using a Domain Theory: An Experimental Evaluation. [Citation Graph (1, 0)][DBLP ] Conf ] Hugues Bersini One Step in the Counter-Representationalist Direction. [Citation Graph (0, 0)][DBLP ] Conf ] Ann Blandford A Tutorial Dialogue Model to Encourage Externalisation and Reflection. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Borillo , Bruno Gaume An Extension to Kowalski & Sergot's Event Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Evelina Lamma , Paola Mello Inheritance and Hypothetical Reasoning in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini Universal Quantification by Case Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] L. Broumley , John L. Arnott , A. Y. Cairns , Alan F. Newell TalksBack: An Applicaation of AI Techniques to a Communication Prosthesis for the Non-Speaking. [Citation Graph (0, 0)][DBLP ] Conf ] Lynne J. Cahill , Roger Evans An Application of DATR: The TIC Lexicon. [Citation Graph (0, 0)][DBLP ] Conf ] Lynne J. Cahill , Gerald Gazdar The Semantics of MOLUSC. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Camurri , Marcello Frixione , Gianni Vercelli , Renato Zaccaria Some Concepts on Analogic Planning in Assembly Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Carpineto Combining EBL from Success and EBL from Failure with Parameter Version Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Enric Celaya , Carme Torras Finding Object Configurations that Satisfy Spatial Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Bojan Cestnik Estimating Probabilities: A Crucial Task in Machine Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Chaty , N. Darcel , Daniel Kayser , Bernard Levrat An Account of Paraphrase Using Elementary Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Pierre Cocquerez , Michel Jordan , M. Zahid Geometric Modelling of Stereovision: Application to Aerial Pictures. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Console , Pietro Torasso Integrating Models of the Correct Behavior into Abductive Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Susan Craw , Derek H. Sleeman Automating the Refinement of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Dague , Philippe Deves , Pierre Luciani , Patrick Taillibert Analog Systems Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] H. Dai , T. J. Anderson , F. C. Monds A Framework for Real-Time Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc David , Jean-Paul Krivine Explaining Reasoning from Knowledge Level Models. [Citation Graph (1, 0)][DBLP ] Conf ] Yuval Davidor Lamarckian Sub-Goal Reward in Genetic Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] N. J. Davies Towards a First Order Theory of Reasoning Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Niels da Vitoria Lobo , John K. Tsotsos Shape from Binocular Disparity and Incomplete Knowledge of Baseline Parameters. [Citation Graph (0, 0)][DBLP ] Conf ] Hugo de Garis Genetic Programming: Evolution of a Time Dependent Neural Network Module which Teaches a Pair of Stick Legs to Walk. [Citation Graph (0, 0)][DBLP ] Conf ] Luc De Raedt , Maurice Bruynooghe On Negation and Three-Valued Logic in Interactive Concept-Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Ramiro A. de T. Guerreiro , Marco A. Casanova , Andrea S. Hemerly Contributions to a Proof Theory for Generic Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] José del R. Millán , Carme Torras Reinforcement Learning: Discovering Stable Solutions in the Robot Path Finding Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Diederich An Explanation Component for a Connectionist Inference System. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Di Pace , F. Fabrocini Learning from Observation in Noisy Environments via Integration of EBL and SBL Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] B. S. Doherty , B. Pauly , J. Barthelemy Elicitation and Verification of a Functional Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Kohji Dohsaka Identifying the Referents of Zero-Pronouns in Japanese Based on Pragmatic Constraint Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi An Efficient Method for Hybrid Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Oskar Dressler Problem Solving with the NM-ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Henri Prade Reasoning with Inconsistent Information in a Possibilistic Setting. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fariñas del Cerro , Andreas Herzig Deterministic Modal Logics for Automated Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Fehrer A Resolution Calculus for a Logic Based on Vaguely Defined Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. Fisher Reducing Viewsphere Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Friedrich , Franz Lackinger , Wolfgang Nejdl Redefining the Candidate Space in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Froidevaux , C. Grossetete Graded Default Theories for Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] P. Gaborit , A. Potet , Claudette Sayettat Semantics and Validation Procedures of a Multi-Modal Logic for Formalization of Multi-Agent Universes. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Gerdemann , Erhard W. Hinrichs A Unification-Based Approach to Quantifier Scoping. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Geurts Computing Salience. [Citation Graph (0, 0)][DBLP ] Conf ] N. Gilbert , S. Buckland , David Frohlich , Marina Jirotka , Paul Luff Providing Advice Through Dialogue. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Giordano , Alberto Martelli An Abductive Characterization of the TMS. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Gramlich Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Ennio Grasso , Leonardo Lesmo , Vincenzo Lombardo , Pia M. Maccario , Roberto Salato , Paolo Terenziani Semantic Interpretation of Tense, Actionality and Aspect. [Citation Graph (0, 0)][DBLP ] Conf ] Éric Grégoire Skeptical Inheritance Can Be More Expressive. [Citation Graph (0, 0)][DBLP ] Conf ] S. Guez A Model for the Automatic Processing of Argumentative Dialogues. [Citation Graph (0, 0)][DBLP ] Conf ] T. Hasegawa A Rule Application Control Method in a Lexicon-Driven Transfer Model of a Dialogue Translation System. [Citation Graph (0, 0)][DBLP ] Conf ] Kôiti Hasida Sentence Processing as Constraint Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Achim G. Hoffmann General Limitations on Machine Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Hollunder , Werner Nutt , Manfred Schmidt-Schauß Subsumption Algorithms for Concept Description Languages. [Citation Graph (5, 0)][DBLP ] Conf ] Thomas Hoppe Hypotheses Generation for Knowledge Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Horacek , Michael Gerlach The Role of Goals in Dialog Control. [Citation Graph (0, 0)][DBLP ] Conf ] Junko Hosaka , Kentaro Ogura , Kiyoshi Kogure Word Sequence Constraints for Japanese Speech Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy Ide , Jean Véronis Very Large Neural Networks for Word Sense Disambiguation. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Jégou Cyclic-Clustering: A Compromise between Tree-Clustering and Cycle-Cutset Method for Improving Search Efficiency. [Citation Graph (0, 0)][DBLP ] Conf ] Y. J. Jiang Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] C. Joubel , Olivier Raiman How Time Changes Assumptions. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz Kacprzyk , M. Fredizzi On Measuring the Specificity of If - Then Rules (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Antonis C. Kakas , Paolo Mancarella Generalized Stable Models: A Semantics for Abduction. [Citation Graph (1, 0)][DBLP ] Conf ] Daniel Kayser Thruth and the Interpretation of Natural Language: A Non-Monotonic Variable-Depth Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Kodratoff Combining Similarity and Causality in Creative Analogy. [Citation Graph (0, 0)][DBLP ] Conf ] Henryk Jan Komorowski Towards a Programming Methodology Founded on Partial Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Anne M. Landraud Scale-and-Orientation Independent Computer Pattern Perception. [Citation Graph (0, 0)][DBLP ] Conf ] P. Liu A Theoretical Analysis of Recurrence Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Bernardo Magnini , Carlo Strapparava Computational Representation of Mental Spaces: A Functional Approach. [Citation Graph (0, 0)][DBLP ] Conf ] O. Marino , François Rechenmann , P. Uvietta Multiple Perspectives and Classification Mechanism in Object-Oriented Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Zdravko Markov , Lydia Sinapova , Christo Dichev Default Reasoning in a Network Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Meseguer A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach. [Citation Graph (1, 0)][DBLP ] Conf ] Phan Minh Dung Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Moinard Circumscription and Horn Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Peter B. Musgrove , R. I. Phelps An Automatic System for Acquisition of Natural Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] M. Nagata , Kiyoshi Kogure HPSG-Based Lattice Parser for Spoken Japanese in a Spoken Language Translation System. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Nakhimovsky Topological and Metrical Invariants of Grammatical Meanings. [Citation Graph (0, 0)][DBLP ] Conf ] Anil Nigam , R. Bhaskar Qualitative Astrophysics. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Numao Analytical Learning of Inductive Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach Abstraction Tree Indexing for Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Eugenio G. Omodeo , Franco Parlamento , Alberto Policriti Truth Tables for a Combinatorial Kernel of Set Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Owsnicki-Klewe A Cardinality-Based Approach to Incomplete Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] T. Persson , L. Staflin A Causation Theory for a Logic of Continuous Change. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos A. Pinto-Ferreira , João P. Martins A Formal System for Reasoning about Change. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Popchev , Neli Zlatareva , Marion Mircheva A Truth Maintenance Theory: An Alternative Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Tony P. Pridmore , S. H. Joseph Using Schemata to Interpret Images of Mechanical Engineering Drawings. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory M. Provan The Computational Complexity of Multiple-Context Truth Maintenance Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hub Prüst , Remko Scha A Discourse Approach to Verb Phrase Anaphora. [Citation Graph (0, 0)][DBLP ] Conf ] Alan L. Rector , Carole A. Goble , Bernard Horan , T. J. Howkins , S. Kay , W. A. Nowlan , A. Wilson Shedding Light on Patients' Problems: Integrating Knowledge Based Systems into Medical Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy E. Reed , Paul E. Johnson Generative Knowledge for Computer Troubleshooting. [Citation Graph (0, 0)][DBLP ] Conf ] Han Reichgelt , Nigel Shadbolt A Specification Tool for Planning Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Reimer Automatic Acquisition of Terminological Knowledge from Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Rossi , Charles J. Petrie , Vasant Dhar On the Equivalence of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Céline Rouveirol Saturation: Postponing Choices when Inverting Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Sabah CARAMEL: A Computational Model of Natural Language Understanding Using a Parallel Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] S. A. Safier , Susan Finger Parsing Features in Solid Geometric Models. [Citation Graph (0, 0)][DBLP ] Conf ] Vieri Samek-Lodovici , Carlo Strapparava Identifying Noun Phrase References: The Topic Module of the AlFresco System. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Reasoning about the World as Perceived by an Agent. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Satoh Formalizing Soft Constraints by Interpretation Ordering. [Citation Graph (0, 0)][DBLP ] Conf ] J. Schaffer Sider Free Presumption Checking in King Kong. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Schlechta Semantics for Defeasible Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Murray Shanahan Representing Continuous Change in the Event Calculus. [Citation Graph (1, 0)][DBLP ] Conf ] Munindar P. Singh Towards a Theory of Situated Know-How. [Citation Graph (0, 0)][DBLP ] Conf ] Padhraic Smyth , Rodney M. Goodman , Charles M. Higgins A Hybrid Rule-Based/Bayesian Classifier. [Citation Graph (1, 0)][DBLP ] Conf ] Edgar Sommer , Frank von Martial , Frank Victor PRAGMA: A System for Actively Capturing Procedural Knowledge via a Graphical Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Piet Spiessens PCS: A Classifier System that Builds a Predictive Internal World Model. [Citation Graph (0, 0)][DBLP ] Conf ] Dan C. Stefanescu Expectation Propositional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Carolyn L. Talcott , Richard W. Weyhrauch Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. [Citation Graph (0, 0)][DBLP ] Conf ] X. Tong Acquisition of Inference Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Jan L. Top , Hans Akkermans Processes as Components: On the Primitives of a Qualitative Scientific Physics. [Citation Graph (0, 0)][DBLP ] Conf ] Edward P. K. Tsang , Terry Warwick Applying Genetic Algorithms to Constraint Satisfaction Optimization Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Kris Van Marcke A Generic Tutoring Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Vanwelkenhuysen , Philip Rademakers Mapping a Knowledge Level Analysis onto a Computational Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Laurence Vignollet , Marc Ayel A Conceptual Model for Building Sets of Test Samples for Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Marc B. Vilain Function Anaphora with Replacement. [Citation Graph (0, 0)][DBLP ] Conf ] Angi Voß , Werner Karbach , Uwe Drouven , D. Lorek Competence Assessment in Configuration Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Wallace Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? [Citation Graph (1, 0)][DBLP ] Conf ] Christoph Weidenbach , Hans Jürgen Ohlbach A Resolution Calculus with Dynamic Sort Structures and Partial Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Werner What Can Agents Do Together? A Semantics for Reasoning about Cooperative Ability. [Citation Graph (0, 0)][DBLP ] Conf ] Mary-Anne Williams , Norman Y. Foo Nonmonotonic Dynamics of Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Wobcke A Theory of Knowledge in Situation Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Jacek Wrzos-Kaminski , Agata Wrzos-Kaminska Explicit Ordering of Defaults in ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] X. Huang Reference Choices in Mathematical Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] T. Yamaoka , H. Iida A Method to Predict the Next Utterance Using a Four-Layered Plan Recognition Model. [Citation Graph (0, 0)][DBLP ] Conf ] Q. Yang Preprocessing Hierarchical Planning Knowledge for Efficient Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Q. Yang Solving the Generalized Hitting Set Problems. [Citation Graph (0, 0)][DBLP ] Conf ] R. A. Young , A. Reel A Hybrid Genetic Algorithm for a Logic Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Zhengyou Zhang , Olivier D. Faugeras Tracking and Motion Estimation in a Sequence of Stereo Frames. [Citation Graph (0, 0)][DBLP ] Conf ] Mark S. Fox , Norman M. Sadeh Why is Scheduling Difficult? A CSP Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Gärdenfors Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? [Citation Graph (0, 0)][DBLP ] Conf ] Barbara J. Grosz Collaborative Planning for Discourse (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] George Metakides , Brice Lepape ESPRIT Session: Artificial Intelligence in ESPRIT. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall , Giovanni Adorni , Hans-Hellmut Nagel , Monique Thonnat PROMETHEUS Session. [Citation Graph (0, 0)][DBLP ] Conf ] 