default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th IJCAI 2007: Hyderabad, India
- Manuela M. Veloso:
IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. 2007 - Preface.
- IJCAI-07 Conference Organization.
- IJCAI-07 Awards and Distinguished Papers.
- IJCAI-07 Keynote and Invited Speakers.
- IJCAI Organization.
- Past IJCAI Conferences.
- IJCAI-07 Reviewers.
Research Excellence Award
- Alan Bundy:
Cooperating Reasoning Processes: More than Just the Sum of Their Parts. 2-11
Computers and Thought Award
- Peter Stone:
Learning and Multiagent Reasoning for Autonomous Agents. 12-30
Constraint Satisfaction
- Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà:
The Logic Behind Weighted CSP. 32-37 - Marco Benedetti, Arnaud Lallouet, Jérémie Vautard:
QCSP Made Practical by Virtue of Restricted Quantification. 38-43 - Christian Bessiere, Remi Coletta, Thierry Petit:
Learning Implied Global Constraints. 44-49 - Christian Bessiere, Remi Coletta, Barry O'Sullivan, Mathias Paulin:
Query-Driven Constraint Acquisition. 50-55 - Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck:
A General Framework for Scheduling in a Stochastic Environment. 56-61 - Sylvain Bouveret, Michel Lemaître:
New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks. 62-67 - Martin C. Cooper, Simon de Givry, Thomas Schiex:
Optimal Soft Arc Consistency. 68-73 - Alex Ferguson, Barry O'Sullivan:
Quantified Constraint Satisfaction Problems: From Relaxations to Explanations. 74-79 - Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel:
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. 80-87 - Georg Gottlob, Gianluigi Greco, Toni Mancini:
Conditional Constraint Satisfaction: Logical Foundations and Complexity. 88-93 - Carlos Grandón, Gilles Chabert, Bertrand Neveu:
Generalized Interval Projection: A New Technique for Consistent Domain Extension. 94-99 - Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen:
Techniques for Efficient Interactive Configuration of Distribution Networks. 100-105 - Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh:
Distance Constraints in Constraint Satisfaction. 106-111 - Philippe Jégou, Samba Ndiaye, Cyril Terrioux:
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs. 112-117 - Matthew Kitching, Fahiem Bacchus:
Symmetric Component Caching. 118-124 - Christophe Lecoutre, Fred Hemery:
A Study of Residual Supports in Arc Consistency. 125-130 - Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal:
Nogood Recording from Restarts. 131-136 - Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder:
Arc Consistency during Search. 137-142 - Deepak Mehta, Marc R. C. van Dongen:
Probabilistic Consistency Boosts MAC and SAC. 143-148 - Nina Narodytska, Toby Walsh:
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. 149-154 - Radu Stefan Niculescu, Tom M. Mitchell, R. Bharat Rao:
A Theoretical Framework for Learning Bayesian Networks with Parameter Inequality Constraints. 155-160 - Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta:
Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. 161-166 - Adrian Petcu, Boi Faltings, Roger Mailler:
PC-DPOP: A New Partial Centralization Algorithm for Distributed Optimization. 167-172 - Tian Sang, Paul Beame, Henry A. Kautz:
A Dynamic Approach for MPE and Weighted MAX-SAT. 173-179 - Sathiamoorthy Subbarayan, Henrik Reif Andersen:
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. 180-185 - Xu Yang, John Bigham:
A Call Admission Control Scheme Using NeuroEvolution Algorithm in Cellular Networks. 186-191 - Yuanlin Zhang:
Fast Algorithm for Connected Row Convex Constraints. 192-197 - Roie Zivan, Amnon Meisels:
Conflict Directed Backjumping for Max-CSPs. 198-204
Knowledge Representation and Reasoning
- Marco Aiello, Brammert Ottens:
The Mathematical Morpho-Logical View on Reasoning about Space. 205-211 - Ricardo M. Araujo, Luís C. Lamb:
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism. 212-217 - Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change. 218-223 - Jamal Atif, Céline Hudelot, Geoffroy Fouquier, Isabelle Bloch, Elsa D. Angelini:
From Generic Knowledge to Specific Reasoning for Medical Image Interpretation Using Graph based Representations. 224-229 - Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler:
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. 230-235 - Chitta Baral, Jicheng Zhao:
Non-monotonic Temporal Logics for Goal Specification. 236-242 - Chitta Baral, Matt Hunsaker:
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning. 243-249 - Marc G. Bellemare, Doina Precup:
Context-Driven Predictions. 250-255 - David Billington:
Entailment Semantics for Rules with Priorities. 256-261 - Tibor Bosse, Jan Treur:
Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods. 262-267 - Gerhard Brewka, Floris Roelofsen, Luciano Serafini:
Contextual Default Reasoning. 268-273 - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
EQL-Lite: Effective First-Order Query Processing in Description Logics. 274-279 - Carlos Iván Chesñevar, Guillermo Ricardo Simari:
A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks. 280-285 - Luca Console, Claudia Picardi, Daniele Theseider Dupré:
A Framework for Decentralized Qualitative Model-Based Diagnosis. 286-291 - Marie-Odile Cordier, Alban Grastien:
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis. 292-297 - Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
A Logical Framework for Modularity of Ontologies. 298-303 - Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits:
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. 304-309 - Johan de Kleer:
Modeling When Connections Are the Problem. 310-317 - Clare Dixon, Michael Fisher, Boris Konev:
Tractable Temporal Reasoning. 318-323 - Christophe Dousson, Pierre Le Maigat:
Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization. 324-329 - Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Complexity Results for Checking Equivalence of Stratified Logic Programs. 330-335 - Thomas Eiter, Esra Erdem, Wolfgang Faber:
On Reversing Actions: Algorithms and Complexity. 336-341 - Michael Esser, Peter Struss:
Fault-Model-Based Test Generation for Embedded Software. 342-347 - Jérôme Euzenat:
Semantic Precision and Recall for Ontology Alignment Evaluation. 348-353 - Zhao-Fu Fan, Yunfei Jiang:
Operator Component Matrix Model for IMP Program Diagnosis. 354-359 - Hélène Fargier, Pierre Marquis:
On Valued Negation Normal Form Formulas. 360-365 - Paolo Ferraris:
A Logic Program Characterization of Causal Theories. 366-371 - Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz:
A New Perspective on Stable Models. 372-379 - Ildikó Flesch, Peter J. F. Lucas, Theo P. van der Weide:
Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis. 380- - Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
Conflict-Driven Answer Set Solving. 386- - Romain Gérard, Souhila Kaci, Henri Prade:
Ranking Alternatives on the Basis of Generic Constraints and Examples - A Possibilistic Approach. 393-398 - Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. 399-404 - Ashish Gupta, David C. Noelle:
A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill Learning. 405-410 - Daniel T. Halstead, Kenneth D. Forbus:
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem. 411-416 - Miki Hermann, Reinhard Pichler:
Counting Complexity of Propositional Abduction. 417-422 - Jizhou Huang, Ming Zhou, Dan Yang:
Extracting Chatbot Knowledge from Online Discussion Forums. 423-428 - Pallika H. Kanani, Andrew McCallum, Chris Pal:
Improving Author Coreference by Resource-Bounded Information Gathering from the Web. 429-434 - Sanjiang Li:
Combining Topological and Directional Information for Spatial Reasoning. 435-440 - Fangzhen Lin, Yi Zhou:
From Answer Set Logic Programming to Circumscription via Logic of GK. 441-446 - Andrew M. Lovett, Morteza Dehghani, Kenneth D. Forbus:
Incremental Learning of Perceptual Categories for Open-Domain Sketch Recognition. 447-452 - Carsten Lutz, Dirk Walther, Frank Wolter:
Conservative Extensions in Expressive Description Logics. 453-458 - Søren Tjagvad Madsen, Gerhard Widmer:
Towards a Computational Model of Melody Identification in Polyphonic Music. 459-464 - Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari:
Modelling Well-Structured Argumentation Lines. 465-470 - Wolfgang Mayer
, Markus Stumptner:
Abstract Interpretation of Programs for Model-Based Debugging. 471-476 - Boris Motik, Riccardo Rosati:
A Faithful Integration of Description Logics with Logic Programming. 477-482 - Kasia Muldner, Cristina Conati:
Evaluating a Decision-Theoretic Approach to Tailored Example Selection. 483-488 - Alice M. Mulvehill, Brett Benyo, Michael T. Cox, Renu Kurien Bostwick:
Expectation Failure as a Basis for Agent-Based Model Diagnosis and Mixed Initiative Model Adaptation during Anomalous Plan Execution. 489-494 - Isabel Navarrete, Antonio Morales, Guido Sciavicco:
Consistency Checking of Basic Cardinal Constraints over Connected Regions. 495-500 - Austin Parker, Fusun Yaman, Dana S. Nau, V. S. Subrahmanian:
Probabilistic Go Theories. 501-506 - Michele Piunti, Cristiano Castelfranchi, Rino Falcone:
Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning. 507-512 - Gregory M. Provan, Jun Wang:
Automated Benchmark Model Generators for Model-Based Diagnostic Inference. 513-518 - Maleeha Qazi, Glenn Fung, Sriram Krishnan, Rómer Rosales, Harald Steck, R. Bharat Rao, Don Poldermans, Dhanalakshmi Chandrasekaran:
Automated Heart Wall Motion Abnormality Detection from Ultrasound Images Using Bayesian Networks. 519-525 - Jochen Renz:
Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone. 526-531 - Jussi Rintanen, Alban Grastien:
Diagnosability Testing with Satisfiability Algorithms. 532-537 - Jussi Rintanen:
Diagnosers and Diagnosability of Succinct Transition Systems. 538-544 - Virginia Savova, Leonid Peshkin:
Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence. 545-550 - Vincent Schickel-Zuber, Boi Faltings:
OSS: A Semantic Similarity Function based on Hierarchical Ontologies. 551-556 - Stefan Schlobach, Michel C. A. Klein, Linda Peelen:
Description Logics with Approximate Definitions - Precise Modeling of Vague Concepts. 557-562 - Hedda Rahel Schmidtke, Woontack Woo:
A Size-Based Qualitative Approach to the Representation of Spatial Granularity. 563-568 - Steven Schockaert, Martine De Cock, Etienne E. Kerre:
Qualitative Temporal Reasoning about Vague Events. 569-574 - Anika Schumann, Yannick Pencolé:
Scalable Diagnosability Checking of Event-Driven Systems. 575-580 - Sajjad Ahmed Siddiqi, Jinbo Huang:
Hierarchical Diagnosis of Multiple Faults. 581-586 - Vishwajeet Singh, Krishna P. Miyapuram, Raju S. Bapi:
Detection of Cognitive States from fMRI Data Using Machine Learning Techniques. 587-592 - Peter Struss:
Model-Based Optimization of Testing through Reduction of Stimuli. 593-598 - V. S. Subrahmanian, Leila Amgoud:
A General Framework for Reasoning about Inconsistency. 599-504 - M. G. Suraj, D. S. Guru:
Appearance Based Recognition Methodology for Recognising Fingerspelling Alphabets. 605-610 - Sashank Varma:
Resource Constraints on Computation and Communication in the Brain. 611-616 - Laurent Vercouter, Sara J. Casare, Jaime Simão Sichman, Anarosa Brandão:
An Experience on Reputation Models Interoperability Based on a Functional Ontology. 617-622 - Bart Verheij:
A Labeling Approach to the Computation of Credulous Acceptance in Argumentation. 623-628 - Huan Wang, Shuicheng Yan, Thomas S. Huang, Xiaoou Tang:
A Convengent Solution to Tensor Subspace Learning. 629-634 - Hui Wang:
All Common Subsequences. 635-640 - Mark A. Wood, Joanna Bryson:
Representations for Action Selection Learning from Real-Time Observation of Task Experts. 641-646 - Yan Zhang:
Epistemic Reasoning in Logic Programs. 647-653
Learning
- Isabelle Alvarez, Stephan Bernard, Guillaume Deffuant:
Keep the Decision Tree and Estimate the Class Probabilities Using its Decision Boundary. 654-659 - Edin Andelic, Martin Schafföner, Marcel Katz, Sven E. Krüger, Andreas Wendemuth:
Updates for Nonlinear Discriminants. 660-665 - Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel:
A Fully Connectionist Model Generator for Covered First-Order Logic Programs. 666-671 - Bikramjit Banerjee, Peter Stone:
General Game Learning Using Knowledge Transfer. 672-677 - Sabri Bayoudh, Laurent Miclet, Arnaud Delhay:
Learning by Analogy: A Classification Rule for Binary and Nominal Data. 678-683 - Ron Bekkerman, Hema Raghavan, James Allan, Koji Eguchi:
Interactive Clustering of Text Collections According to a User-Specified Criterion. 684-689 - Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna Helena Reali Costa:
Heuristic Selection of Actions in Multiagent Reinforcement Learning. 690-695 - Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile:
Unsupervised Discretization Using Kernel Density Estimation. 696-701 - Klaus Brinker, Eyke Hüllermeier:
Case-Based Multilabel Ranking. 702-707 - Deng Cai, Xiaofei He, Kun Zhou, Jiawei Han, Hujun Bao:
Locality Sensitive Discriminant Analysis. 708-713 - Lijuan Cai, Thomas Hofmann:
Exploiting Known Taxonomies in Learning Overlapping Concepts. 714-719 - Paul R. Cohen, Yu-Han Chang, Clayton T. Morrison, Carole R. Beal:
Learning and Transferring Action Schemas. 720-725 - Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe:
Online Learning and Exploiting Relational Models in Reinforcement Learning. 726-731 - Marco Cuturi:
Permanents, Transport Polytopes and Positive Definite Kernels on Histograms. 732-737 - William Dabney, Amy McGovern:
Utile Distinctions for Relational Reinforcement Learning. 738-743 - Guang Dai, Dit-Yan Yeung:
Boosting Kernel Discriminant Analysis and Its Application on Tissue Classification of Gene Expression Data. 744-749 - Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary:
Case Base Mining for Adaptation Knowledge Acquisition. 750-755 - Murat Dundar, Balaji Krishnapuram, Jinbo Bi, R. Bharat Rao:
Learning Classifiers When the Training Data Is Not IID. 756-761 - Narayanan Unny Edakunni, Stefan Schaal, Sethu Vijayakumar:
Kernel Carpentry for Online Regression Using Randomly Varying Coefficient Model. 762-767 - Saher Esmeir, Shaul Markovitch:
Occam's Razor Just Got Sharper. 768-773 - Santiago Fernández, Alex Graves, Jürgen Schmidhuber:
Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural Networks. 774-779 - Nancy Fulda, Dan Ventura:
Predicting and Preventing Coordination Problems in Cooperative Q-learning Systems. 780-785 - Glenn Fung, Rómer Rosales, R. Bharat Rao:
Feature Selection and Kernel Design via Linear Programming. 786-791 - Matteo Gagliolo, Jürgen Schmidhuber:
Learning Restart Strategies.