Conferences in DBLP
Marc Fuchs Flexible Proof-Replay with Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Fuchs Flexible Re-enactment of Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Fuchs Inference Rights for Controlling Search in Generating Theorem Provers. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Gomes , Carlos Bento A Retrieval Method for Exploration of a Case Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Udo Hahn , Manfred Klenner Incremental Concept Evolution Based on Adaptive Feature Weighting. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Ettaouil A 0-1 Quadratic Knapsack Problem for Modelizing and Solving the Constaint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Paula Tomás , Miguel Filgueiras An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals. [Citation Graph (0, 0)][DBLP ] Conf ] Yury V. Smirnov , Manuela M. Veloso GenSAT: A Navigational Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Soares , Nuno J. Mamede Timetabling Using Demand Profiles. [Citation Graph (0, 0)][DBLP ] Conf ] Lu Ruqian , Han Ke , Ma Yinghao , Zhang Weyan , Wang Wenbiao Intelligent VR Training. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Choquet , Pierre Tchounikine , Francky Trichet Training Strategies and Knowledge Acquisition: Using the same Reflective Tools for Different Purposes. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Pcholczyk About the Intended Meaning of a Linguistic Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Helena Sofia Andrade N. P. Pinto Integration of Inheritance in SNePS. [Citation Graph (0, 0)][DBLP ] Conf ] Jirina Vejnarová Measures of Uncertainty and Independence Concept in Different Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Guilherme Bittencourt , Isabel Tonin A Multi-Agent Approach to First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Michael da Costa Móra , José Gabriel Pereira Lopes , Helder Coelho , Rosa Maria Vicari Modelling Dynamic Aspects of Intentions. [Citation Graph (0, 0)][DBLP ] Conf ] José Manuel Fonseca , Eugenio Oliveira , Adolfo Steiger-Garção Multi-Agent Negotiation Algorithms for Resources Cost Estimation: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Augusto Cesar Pinto Loureiro da Costa , Guilherme Bittencourt Parla: A Cooperation Language for Cognitive Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Schroeder , Iara de Almeida Móra , José Júlio Alferes Vivid Agents Arguing about Distributed Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Prendinger Approximate Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Henri Farreny New Results About Sub-Admissibility for General Families on Heuristic Search Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Takác Fixed Point Classification Method for Qualitative Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro A. de Matos , João P. Martins Contextual Logic of Change and the Ramification Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Schacht , Udo Hahn Temporal Reasoning about Actor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nuno Filipe da Fonseca Bastos Gomes A CLP Model to the Job Sequencing Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Arnulfo Castellanos , Juan Castellanos , Daniel Manrique , A. Martínez A New Approach for Extracting Rules from a Trained Neural Network. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Larrañaga , Miren J. Gallego , Basilio Sierra , L. Urkola , Maria J. Michelena Bayesian Networks, Rule Induction and Logistic Regression in the Prediction of the Survival of Women Suffering from Breast Cancer. [Citation Graph (0, 0)][DBLP ] Conf ] Michael T. Cox , Manuela M. Veloso Controlling for Unexpected Goals when Planning in a Mixed-Initiative Setting. [Citation Graph (0, 0)][DBLP ] Conf ] P. V. S. R. Bhanu Prasad , Deepak Khemani Cooperative Memory Structures and Commonsense Knowledge for Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Jerônimo Pellegrini , Jacques Wainer Diagonalization and Type Rewriting in Clam. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay Poria , Roberto Garigliano Granularity for Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] Ljubomir Jerinic , Vladan Devedzic , Marijana Lomic , Danijela Radovic Object Model of Intelligent Tutoring Shell. [Citation Graph (0, 0)][DBLP ] Conf ] Alcino Cunha , Orlando Belo Resource Allocation on Agent Meta-Societies. [Citation Graph (0, 0)][DBLP ] Conf ] Oskar Dressler Diagnostic Information at Your Fingertips! [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , Renwei Li Reasoning about Actions with Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco J. Varela Dimensions of Embodiments: Possible Futures for Cognitive Science. [Citation Graph (0, 0)][DBLP ] Conf ] Tom M. Mitchell Machine Learning Meets Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] 