Conferences in DBLP
Galia Angelova , Ognian Kalaydjiev , Walther von Hahn The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks. [Citation Graph (0, 0)][DBLP ] Conf ] Liliana Ardissono , Guido Boella An Agent Model for NL Dialog Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Armando , Erica Melis , Silvio Ranise Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Baioletti , Stefano Marcugini , Alfredo Milani An Extension of SATPLAN for Planning with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani , Jean-François Condotta , Luis Fariñas del Cerro , Aomar Osmani Reasoning about Generalized Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Benerecetti , Paolo Bouquet , Chiara Ghidini Formalizing Belief Reports - The Approach and a Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Farid Benhammadi , Pascal Nicolas , Torsten Schaub Extension Calculus and Query Answering in Prioritized Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Belaid Benhamou , Amar Isli Study of Symmetry in Qualitative Temporal Interval Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Benzmüller , Volker Sorge A Blackboard Architecture for Guiding Interactive Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Brigitte Bessant , Éric Grégoire , Pierre Marquis , Lakhdar Sais Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Veselka Boeva , Elena Tsiporkova , Bernard De Baets Modelling Uncertainty with Kripke's Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Serenella Cerrito , Marta Cialdea Mayer Using Linear Temporal Logic to Model and Solve Planning Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Amedeo Cesta , Marcello Collia , Daniela D'Aloisi Tailorable Interactive Agents for Scheduling Meetings. [Citation Graph (0, 0)][DBLP ] Conf ] Lassaad Cheikhrouhou , Jörg H. Siekmann Planning Diagonalization Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Ilyas Cicekli Theories and Proofs in Fault Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Delrieux Nonmonotonic Reasoning under Uncertain Evidence. [Citation Graph (0, 0)][DBLP ] Conf ] Christo Dichev Multicontext Systems with Importing Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Mauro Di Manzo , Enrico Giunchiglia , Simone Ruffino Planning via Model Checking in Deterministic Domains: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Draeger Acquisition of Useful Lemma-Knowledge in Automated Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fariñas del Cerro , Andreas Herzig , Dominique Longin , Omar Rifi Belief Reconstruction in Cooperative Dialogues. [Citation Graph (0, 0)][DBLP ] Conf ] Chiara Ghidini , Luciano Serafini Model Theoretic Semantics for Information Integration. [Citation Graph (0, 0)][DBLP ] Conf ] H. Altay Güvenir A Classification Learning Algorithm Robust to Irrelevant Features. [Citation Graph (0, 0)][DBLP ] Conf ] Hisashi Hayashi Knowledge Assimilation and Proof Restoration Through the Addition of Goals. [Citation Graph (0, 0)][DBLP ] Conf ] Antonis C. Kakas , Evelina Lamma , Fabrizio Riguzzi Learning Multiple Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Churn-Jung Liau Modal Reasoning and Rough Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] José Gabriel Pereira Lopes , João Balsa Overcoming Incomplete Information in NLP Systems - Verb Subcategorization. [Citation Graph (0, 0)][DBLP ] Conf ] Zdravko Markov , Nikolay Pelov A Framework for Inductive Learning Based on Subsumption Lattices. [Citation Graph (0, 0)][DBLP ] Conf ] Anatoly Nachev , Niall Griffith , Alexander Gerov Dynamic Learning - An Approach to Forgetting in ART2 Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Pacholczyk A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Sebastiani , Adolfo Villafiorita SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Evgueni N. Smirnov , Peter J. Braspenning Version Space Retraction with Instance-Based Boundary Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Stéphan A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Tarkan Tahseen , Duncan Fyfe Gillies A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies. [Citation Graph (0, 0)][DBLP ] Conf ] Adolfo Villafiorita Abstraction as a Form of Elaboration Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis P. Vlahavas , Nick Bassiliades , Ilias Sakellariou , Martín Molina , Sascha Ossowski , Ivan Futó , Zoltán Pásztor , János Szeredi , Igor Velbitskiy , Sergey Yershov , Sergey Golub , Igor Netesin System Architecture of a Distributed Expert System for the Management of a National Data Network. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Wolf Strategy Selection for Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Qiang Yang , Irène Abi-Zeid , Luc Lamontagne An Agent for Intelligent Situation Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Yiming Ye , John K. Tsotsos Knowledge Granularity and Action Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Zhong Zhang , Qiang Yang Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] 