Conferences in DBLP
Isabelle Crampe , Jérôme Euzenat Object Knowledge Base Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Aditya Ghose , Randy Goebel Belief States as Default Theories: Studies in Non-Prioritized Belief Change. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Herzig , Omar Rifi Update Operations: A Review. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Liberatore , Marco Schaerf The Complexity of Model Checking for Propositional Default Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Mengin On the Logic of Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] Riccardo Rosati Embedding Minimal Knowledge into Negation as Failure. [Citation Graph (0, 0)][DBLP ] Conf ] H. Shu Using Constraint Satisfaction for View Update Translation. [Citation Graph (0, 0)][DBLP ] Conf ] Leendert W. N. van der Torre , Yao-Hua Tan An Update Semantics for Prima Facie Obligations. [Citation Graph (0, 0)][DBLP ] Conf ] Leila Amgoud Using Preferences to Select Acceptable Arguments. [Citation Graph (0, 0)][DBLP ] Conf ] C. Pain-Barre Using Relevance for Selecting Integrity Constraints which Do Not Interfer in Knowledge Base Update. [Citation Graph (0, 0)][DBLP ] Conf ] Riccardo Rosati Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. [Citation Graph (0, 0)][DBLP ] Conf ] Sofie Verbaeten The Closing Operator: From Partial to Complete Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Bergmann , Wolfgang Wilke Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Bonzano , Padraig Cunningham Hierarchical CBR for Multiple Aircraft Conflict Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Fensel , V. Richard Benjamins An Architecture for Reusing Problem-Solving Components. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Lieber , Amedeo Napoli Correct and Complete Retrieval for Case-Based Problem-Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Portinale , Pietro Torasso , Paolo Tavano Dynamic Case Memory Management. [Citation Graph (0, 0)][DBLP ] Conf ] Annette ten Teije , Frank van Harmelen Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Torres , Claudia S. Frydman Verifying and Validating Specification of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Erika Valencia , Jean-Louis Giavitto , Jean-Paul Sansonnet Algebraic Topology for Knowledge Representation in Analogy Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Tony Veale 'Just-in-Time' Analogical Reasoning: A Progressive-Deepening Model of Structure-Mapping. [Citation Graph (0, 0)][DBLP ] Conf ] Mercedes Gómez-Albarrán , Pedro A. González-Calero , Belén Díaz-Agudo Software Design As Framework Reuse: A Knowledge-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Macedo A Model for Creative Problem Solving Based on Divergent Production of Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] K. Nadia Papamichail Explaining and Justifying Decision Support Advice in Intuitive Terms. [Citation Graph (0, 0)][DBLP ] Conf ] M. Ursu Towards the Standardization of Intelligent Design Assistants. [Citation Graph (0, 0)][DBLP ] Conf ] T. Laine , Heikki Hyötyniemi , P. Saariluoma Foundations of Simulative Theorizing. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Pacholczyk A New Approach to the Intended Meaning of Negative Information. [Citation Graph (0, 0)][DBLP ] Conf ] Josette Pastor , Alain Agniel , Pierre Celsis Artificial Reasoners for the Cognitive Assessment of Patients with Parkinson's Disease. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Raufaste , Rui Da Silva Neves Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] A. Alauzet ADELE: A Blackboard-based Architecture for Ergonomic Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] F. Pereira Modelling Divergent Production: A multi-domain approach. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Basili , Maria Teresa Pazienza , Fabio Massimo Zanzotto Efficient Parsing for Information Extraction. [Citation Graph (0, 0)][DBLP ] Conf ] Frans Coenen , Bridget Beattie , Trevor J. M. Bench-Capon , B. M. Diaz , Michael J. R. Shave Spatio-temporal Reasoning Using a Multi-dimensional Tesseral Representation. [Citation Graph (0, 0)][DBLP ] Conf ] P. Cohen Dynamic Maps as Representations of Verbs. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony G. Cohn , Achille C. Varzi Connection Relations in Mereotopology. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Ferret , Brigitte Grau A Thematic Segmentation Procedure for Extracting Semantic Domains from Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Udo Hahn Knowledge Generation from Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Udo Hahn , Ulrich Reimer Text Summarization Based on Terminological Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Fidelia Ibekwe-Sanjuan A Linguistic and Mathematical Method for Mapping Thematic Trends from Texts. [Citation Graph (0, 0)][DBLP ] Conf ] M. Kipp The Neural Path to Dialogue Acts. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandra Musto , Klaus Stein , Andreas Eisenkolb , Kerstin Schill , Wilfried Brauer Generalization, Segmentation and Classification of Qualitative Motion Data. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Stevenson , Hamish Cunningham , Yorick Wilks Sense Tagging and Language Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Karsten L. Worm , C. J. Rupp Towards Robust Understanding of Speech by Combination of Partial Analyses. [Citation Graph (0, 0)][DBLP ] Conf ] João Balsa A Hierarchical Multi-Agent System for Natural Language Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Anja Belz A Few English Words Can Help Improve Your Russian. [Citation Graph (0, 0)][DBLP ] Conf ] P. Lopez A LTAG Grammar for Parsing Oral and Incomplete Utterances. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Monz Dynamic Semantics and Underspecification. [Citation Graph (0, 0)][DBLP ] Conf ] T. L. Soto , Jose F. Quesada Spoken Language Parsing Strategies in a Conversational System. [Citation Graph (0, 0)][DBLP ] Conf ] A. Willis Using Functional Structure forProbabilistic Semantic Disambiguation. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed-Salah Affane , Hachemi Bennaceur A Weighted Arc Consistency Technique for MAX-CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Castell , Hélène Fargier Propositional Satisfaction Problems and Clausal CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Youssef Hamadi , Christian Bessière , Joël Quinqueton Distributed Intelligent Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Narendra Jussien , Olivier Lhomme Dynamic Domain Splitting for Numeric CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Larrosa , Pedro Meseguer Partial Lazy Forward Checking for MAX-CSP. [Citation Graph (0, 0)][DBLP ] Conf ] D. Liang , W. Li Multi-strategy Local Search for SAT Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Meseguer , Toby Walsh Interleaved and Discrepancy Based Search. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Slaney , Sylvie Thiébaux On the Hardness of Decision and Optimisation Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara M. Smith , Stuart A. Grant Trying Harder to Fail First. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Weigel , Christian Bliek On Reformulation of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Heipcke Integrating Constraint Programming Techniques into Mathematical Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hana Rudová Constraints with Variables' Annotations. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Wetzel , F. Zabatta A Constraint Programming Approach to Portfolio Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Yuanlin Zhang , Hui Wu Bound Consistency on Linear Constraints in Finite Domain Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Kari Autio , Raymond Reiter Structural Abstraction in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Pietro Baroni , Gianfranco Lamperti , Paolo Pogliano , Marina Zanella Diagnosis of Active Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kees de Koning , Bert Bredeweg Using GDE in Educational Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Menzel , Ingo Schröder Model-based Diagnosis Under Structural Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Ranon The Closure Properties of Functional Flow-Based Approaches and Their Relevance to Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer Systems of Communicating Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Luc Koning , G. Francois , Yves Demazeau Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Munindar P. Singh The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Wooldridge A Knowledge-theoretic Approach to Distributed Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Valérie Camps Application of a Self-Organizing Method Based on Cooperation to Information Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Humbert Fiorino Principles for Cooperative Conjecture Elaboration in a Multiagent Context. [Citation Graph (0, 0)][DBLP ] Conf ] Babak Sadighi Firozabadi , Leendert W. N. van der Torre Formal Models of Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alex L. Hayzelden Telecommunications Multi-Agent Control System (Tele-MACS). [Citation Graph (0, 0)][DBLP ] Conf ] R. J. Imbert Camits: a Cooperative Agents Model for Intelligent Tutoring Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Lattaud A Macro - Mutation Operator in Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] F. B. Pereira An Artificial Life Model for Information Retrieval in a Distributed Environment. [Citation Graph (0, 0)][DBLP ] Conf ] S. Picault A Multi-Agent Simulation of Primate Social Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Paliath Narendran Unification of Concept Terms in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Ulrike Sattler Description Logics with Concrete Domains and Aggregation. [Citation Graph (1, 0)][DBLP ] Conf ] Rose Dieng , Stefan Hug Comparison of Personal Ontologies Represented through Conceptual Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Fuchs Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuelle Martienne , Mohamed Quafafou Vagueness and Data Reduction in Concept Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Salvat Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Tresp , Ralf Molitor A Description Logic for Vague Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Perrussel Contextual Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Leendert W. N. van der Torre Labeled Logics of Conditional Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Nirina Andrianarivelo , Wadoud Bousdira , Jacques Chabin , Zahir Maazouzi Designing FPLA Combinational Circuits by Conditional Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Berilhes Borges Garcia , José Gabriel Pereira Lopes Introducing Plausibility Measures in the Process of belief Revision through Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher G. Jung Situated Abstraction Planning by Abductive Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Lukasiewicz Probabilistic Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Raul Monroy , Alan Bundy , Ian Green Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Satoh Using Two Level Abduction to Decide Similarity of Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Zhang , Norman Y. Foo Updating Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Massacci Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae. [Citation Graph (0, 0)][DBLP ] Conf ] Viorica Sofronie-Stokkermans On Translation of Finitely-Valued Logics to Classical First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Botta , Attilio Giordana , Roberto Piola An Integrated Framework of Learning Numerical Terms in FOL. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Brézellec , Henry Soldano Tabata: A Learning Algorithm Performing a Bidirectional Search in a Reduced Search Space Using a Tabu Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Keeley A. Crockett , Zuhair Bandar , Akeel Al-Attar A Fuzzy Inference Framework For Induced Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Engels , C. Theusinger Using a Data Metric for Preprocessing Advice for Data Mining Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Donato Malerba , Floriana Esposito , Francesca A. Lisi Learning Recursive Theories with ATRE. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Salah Hamdi , Karl Kaiser Learning to Coordinate Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] Matjaz Kukar , Igor Kononenko Cost-Sensitive Learning with Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Terry R. Payne , Peter Edwards Implicit Feature Selection with the Value Difference Metric. [Citation Graph (0, 0)][DBLP ] Conf ] Marko Robnik-Sikonja , Igor Kononenko Pruning Regression Trees with MDL. [Citation Graph (0, 0)][DBLP ] Conf ] Evgueni N. Smirnov , Peter J. Braspenning Version Space Learning with Instance-Based Boundary Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Calderoni Collective Learning in MultiAgent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] R. Ichise Inductive Logic Programming and Genetic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Lane Simple Synchrony Networks: Learning Generalisations across Syntactic Constituents. [Citation Graph (0, 0)][DBLP ] Conf ] E. Mayer Inductive Learning of Chronicles. [Citation Graph (0, 0)][DBLP ] Conf ] Dunja Mladenic Turning Yahoo to Automatic Web-Page Classifier. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Riguzzi Integrating Abduction and Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Liviu Badea Planning in Description Logics: Deduction versus Satisfiability Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Mathias Bauer Towards the Automatic Acquisition of Plan Libraries. [Citation Graph (0, 0)][DBLP ] Conf ] Jana Koehler Planning under Resource Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Erica Melis AI-Techniques in Proof Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Abdel-Illah Mouaddib , Shlomo Zilberstein Optimal Scheduling of Dynamic Progressive Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Hani El Sakkout , T. Richards , Mark Wallace Minimal Perturbance in Dynamic Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Josefina Sierra-Santibáñez A Declarative Formalization of STRIPS. [Citation Graph (0, 0)][DBLP ] Conf ] Rosy Barruffi , Michela Milano Interactive Constraint Satisfaction techniques for Information Gathering in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Silva da Costa Botelho A Sistributed Scheme for Task Planning and Negotiation in Multi-Robot Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Liberatore On Non-Conservative Plan Modification. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Oddi Solving Multiple Capacitated Scheduling Problems with Tabu Search. [Citation Graph (0, 0)][DBLP ] Conf ] S. Scott Separating Constraint Dimensions in a Scheduling Problem to Reduce Search Space. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Giangrandi Managing Temporal Beliefs. [Citation Graph (0, 0)][DBLP ] Conf ] Hector Geffner , Jacques Wainer Modeling Action, Knowledge and Control. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Giordano , Alberto Martelli , Camilla Schwind Dealing with Concurrent Actions in Modal Action Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Karlsson , Joakim Gustafsson , Patrick Doherty Delayed Effects of Actions. [Citation Graph (0, 0)][DBLP ] Conf ] F. Levy , Joachim Quantz Representing Beliefs in a Situated Event Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Churn-Jung Liau A Logic for Reasoning about Action, Preference, and Commitment. [Citation Graph (0, 0)][DBLP ] Conf ] Alessio Lomuscio , Mark Ryan Ideal Agents Sharing (some!) Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Renz , Bernhard Nebel Efficient Algorithms for Qualitative Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Staab On Non-Binary Temporal Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Pere Garcia , Eduardo Giménez , Lluis Godo , Juan A. Rodríguez-Aguilar Possibilistic-Based Bidding Strategies in Electronic Auctions. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriele Kern-Isberner Nonmonotonic Reasoning in Probabilistics. [Citation Graph (0, 0)][DBLP ] Conf ] Wai Lam , Kon Fan Low Constructing Text Filters Based on Bayesian Network Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Maite López-Sánchez , Ramon López de Mántaras , Carles Sierra Possibility Theory-Based Environment Modelling by Means of Behaviour-Based Autonomous Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Nico Roos An Objective Definition of Subjective Probability. [Citation Graph (0, 0)][DBLP ] Conf ] Régis Sabbadin Decision As Abduction? [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Ughetto Inferential Independence of Fuzzy Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Golfarelli A Game Theory Approach to Coordination in MAS. [Citation Graph (0, 0)][DBLP ] Conf ] Anders L. Madsen Lazy Propagation and Independence of Causal Influence. [Citation Graph (0, 0)][DBLP ] Conf ] Rachid Alami , François Felix Ingrand , S. Qutub A Scheme for Coordinating Multi-robots Planning Activities and Plans Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Ruth Aylett , James K. Soutter , Gary J. Petley , Paul W. H. Chung AI Planning in a Chemical Plant Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Barrouil , Charles Castel , Patrick Fabiani , R. Mampey , P. Secchi , Catherine Tessier Perception Strategy for a Surveillance System. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Beetz , Tom Arbuckle , Armin B. Cremers , M. Mann Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Eric O. Postma , H. Jaap van den Herik , Patrick T. W. Hudson Spatio-chromatic Features for Image Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Tristan Cazenave Metaprogramming Forced Moves. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Collard , Alessio Gaspar , Manuel Clergue , Cathy Escazut Fitness Distance Correlation, as statistical measure of Genetic Algorithm difficulty, revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Edelkamp Updating Shortest Paths. [Citation Graph (0, 0)][DBLP ] Conf ] J. Holubec Admissible Bidirectional Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann Kaindl , Anton Scheucher Back-up of Heuristic Values: Minimaxing vs. Product Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Martin J. Oates , David Corne QoS based GA Parameter Selection for Autonomously Managed Distributed Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Power , Donia Scott , Roger Evans What You See Is What You Meant: direct knowledge editing with natural language feedback. [Citation Graph (0, 0)][DBLP ] Conf ] Berardina De Carolis Introducing Reactivity in Adaptive Hypertext Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Krüger Graphical Abstraction - How to adapt the detail of graphics to limited resources. [Citation Graph (0, 0)][DBLP ] Conf ] Jan-Olof Eklundh Vision in Robotics: How a Robot can Segment Figure from Ground. [Citation Graph (0, 0)][DBLP ] Conf ] Ramon López de Mántaras It Don't Mean A Thing (If It Ain't Got That Swing). [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Muggleton Inductive Logic Programming: Issues, Results and the LLL Challenge (abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Francois Puget Constraint Programming: A Great AI Success. [Citation Graph (0, 0)][DBLP ] Conf ] Itzhak Gilboa , David Schmeidler Case-Based Decisions. [Citation Graph (0, 0)][DBLP ] Conf ] Glenn Shafer Causal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] 