ECAI 2004 - PDF Preprint Papers

ECAI 2004 Truth Maintenance Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ECAI-2004 Paper

click to vote

ECAI
2004
Springer

245views Artificial Intelligence» more ECAI 2004»

Boosting Systematic Search by Weighting Constraints

14 years 5 months ago

Download www.cril.univ-artois.fr

In this paper, we present a dynamic and adaptive variable ordering heuristic which guides systematic search toward inconsistent or hard parts of a Constraint Satisfaction Problem (...

Frédéric Boussemart, Fred Hemery, Ch...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	245	Boosting Systematic Search by Weighting Constraints	claim
2	227	On-Line Search for Solving Markov Decision Processes via Heuristic Sampling	claim
3	223	Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking	claim
4	190	An Intrinsic Information Content Metric for Semantic Similarity in WordNet	claim
5	186	Context-Aware Personalised Service Delivery	claim
6	184	An architecture based on semantic weblogs for exploring the Web of People	claim
7	175	An Argumentative Approach to Assessing Natural Language Usage based on the Web Corpus	claim
8	173	An Ontology Based Visual Tool for Query Formulation Support	claim
9	172	Combining Multiple Answers for Learning Mathematical Structures from Visual Observation	claim
10	171	Querying the Semantic Web with Corese Search Engine	claim
11	170	New Insights on the Intuitionistic Interpretation of Default Logic	claim
12	169	Learning Complex and Sparse Events in Long Sequences	claim
13	169	Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution	claim
14	163	Compilation of LTL Goal Formulas into PDDL	claim
15	158	Introducing Alias Information into Model-Based Debugging	claim
16	156	An Active, Ontology-driven Network Service for Internet Collaboration	claim
17	156	Configuration of Web Services as Parametric Design	claim
18	153	Guiding a Theorem Prover with Soft Constraints	claim
19	153	Automatic Recognition of Famous Artists by Machine	claim
20	152	Agreements Without Disagreements	claim
21	152	Local Search Heuristics: Fitness Cloud versus Fitness Landscape	claim
22	152	An Algorithm for Knowledge Base Extraction	claim
23	150	An Architecture for Collaborative Ontology Library Development	claim
24	150	SPortS: Semantic + Portal + Service	claim
25	150	Towards Efficient Learning of Neural Network Ensembles from Arbitrarily Large Datasets	claim
26	149	IPSS: A Hybrid Reasoner for Planning and Scheduling	claim
27	149	OntoRefiner, a user query refinement interface usable for Semantic Web Portals	claim
28	146	Improving Asynchronous Backtracking for Dealing with Complex Local Problems	claim
29	146	Emergence of Complex Networks through Local Optimization	claim
30	145	Similarity-Based Ontology Alignment in OWL-Lite	claim
31	143	Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm	claim
32	142	Artificial Agents - Personhood in Law and Philosophy	claim
33	142	Knowledge-Based Cinematography and Its Applications	claim
34	140	FIRE: An Integrated Trust and Reputation Model for Open Multi-Agent Systems	claim
35	140	Plausibility Structures for Default Reasoning	claim
36	140	Focusing Reasoning Through Emotional Mechanisms	claim
37	140	A Generalized Quadratic Loss for Support Vector Machines	claim
38	140	Models of Behavior Deviations in Model-Based Systems	claim
39	138	Applying Affective Tactics for a Better Learning	claim
40	137	Game-Theoretic Agent Programming in Golog	claim
41	136	The Use of Temporal Reasoning and Management of Complex Events in Smart Homes	claim
42	136	The KGP Model of Agency	claim
43	136	Tractable Symmetry Breaking Using Restricted Search Trees	claim
44	135	Lessons from Deploying NLG Technology for Marine Weather Forecast Text Generation	claim
45	134	Consistency and Constrained Optimisation for Conditional Preferences	claim
46	133	A Formal Tutoring Process Model for Intelligent Tutoring Systems	claim
47	132	Representing Beliefs in the Fluent Calculus	claim
48	132	Agent Planning, Negotiation and Control of Operation	claim
49	129	Vision-Language Integration in AI: A Reality Check	claim
50	129	SERSE: Searching for Semantic Web Content	claim
51	128	Attention-Driven Parts-Based Object Detection	claim
52	128	A Semantics for Abstraction	claim
53	128	High-Level Observations in Java Debugging	claim
54	127	Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects	claim
55	127	A System for Pacemaker Treatment Advice	claim
56	127	Lakatos-Style Automated Theorem Modification	claim
57	124	Extending a Lexicon Ontology for Intelligent Information Integration	claim
58	124	Type Checking in Open-Domain Question Answering	claim
59	123	Learning Techniques for Automatic Algorithm Portfolio Selection	claim
60	123	Temporal Plan Interdependencies	claim
61	123	Reasoning about Emotional Agents	claim
62	123	Diagnosability Analysis of Distributed Discrete Event Systems	claim
63	123	Goal Specification in Presence of Non-Deterministic Actions	claim
64	123	Avoiding Data Overfitting in Scientific Discovery: Experiments in Functional Genomics	claim
65	123	Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems	claim
66	122	Robust Solutions for Constraint Satisfaction and Optimization	claim
67	122	Extending Defeasible Logic and Defeasible Prolog	claim
68	120	Failing First: An Update	claim
69	120	Analysis of Design Process Dynamics	claim
70	120	Adversarial Constraint Satisfaction by Game-Tree Search	claim
71	118	The Mereology of Stages and Persistent Entities	claim
72	118	Description Logics with Concrete Domains and Functional Dependencies	claim
73	116	Topological Visual Localization Using Decentralized Galois Lattices	claim
74	115	Assessing the Bias of Classical Planning Strategies on Makespan-Optimizing Scheduling	claim
75	114	A Context-Based Model of Attention	claim
76	113	Utilizing Volatile External Information During Planning	claim
77	113	Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty	claim
78	113	Identifying Relational Concept Lexicalisations by Using General Linguistic Knowledge	claim
79	113	Avatars That Learn How to Behave	claim
80	112	Debugging Program Loops Using Approximate Modeling	claim
81	112	Defining Classes of Influences for the Acquisition of Probability Constraints for Bayesian Networks	claim
82	111	Towards a Logical Analysis of Biochemical Reactions	claim
83	111	Automatic Induction of Domain-Related Information: Learning Descriptors Type Domains	claim
84	111	Adaptive Robot Coordination Using Interference Metrics	claim
85	110	Interactive Task Planning through Multiple Abstraction: Application to Assistant Robotics	claim
86	110	A Spanish-Catalan Translator Using Statistical Methods	claim
87	109	Postponing Branching Decisions	claim
88	109	Instance-Based Prediction with Guaranteed Confidence	claim
89	108	Online Social and Business Networking Communities	claim
90	108	Diagnosis as Semiring-Based Constraint Optimization	claim
91	108	Kernel Machine Based Feature Extraction Algorithms for Regression Problems	claim
92	108	Expectation Reasoning Using Regret and Disappointment	claim
93	108	Soft Constraints with Partially Ordered Preferences	claim
94	107	Preferences for Queries in a Mediator Approach	claim
95	106	Encoding Quantified CSPs as Quantified Boolean Formulae	claim
96	105	APPROACH: Decentralised Rotation Planning for Container Barges	claim
97	105	Lazy Adaptive Multicriteria Planning	claim
98	104	Piece-Wise Model Fitting Using Local Data Patterns	claim
99	102	Planning with Numerical Expressions in LPG	claim
100	102	Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern	claim
101	102	Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning	claim
102	102	Bias Windowing for Relational Learning	claim
103	101	A Syntactical Approach to Revision	claim
104	101	A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning	claim
105	101	Axiomatizing Noisy-OR	claim
106	101	The Semantic Grid: Myth Busting and Bridge Building	claim
107	100	Distributed Reasoning in a Peer-to-Peer Setting	claim
108	100	Inference Attacks in Peer-to-Peer Homogeneous Distributed Data Mining	claim
109	99	A Troubleshooting Approach with Dependent Actions	claim
110	99	Finding Social Network for Trust Calculation	claim
111	99	A Risk-Based Bidding Strategy for Continuous Double Auctions	claim
112	98	Explaining the Result of a Decision Tree to the End-User	claim
113	98	Generalized Widening	claim
114	98	Equilibrium Strategies for Task Allocation in Dynamic Multi-Agent Systems	claim
115	97	Adapting LPGP to Plan with Deadlines	claim
116	97	Using the Implication/Realization Model for Measuring Melodic Similarity	claim
117	97	Contextualized Abstraction for Assertion-Level Theorem Proving	claim
118	97	A Backtracking Strategy for Order-Independent Incremental Learning	claim
119	96	Modelling the Interpretation of Novel Compounds	claim
120	95	Context Dependence in Multiagent Resource Allocation	claim
121	95	When Are Behaviour Networks Well-Behaved?	claim
122	95	Uncertain Linear Constraints	claim
123	95	Learning Qualitative Metabolic Models	claim
124	94	Geographic Information Revision Based on Constraints	claim
125	94	An Interactive System for Hiring and Managing Graduate Teaching Assistants	claim
126	93	From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning	claim
127	93	Active Learning for Robot Manipulation	claim
128	93	Local Search for Heuristic Guidance in Tree Search	claim
129	92	Indirect and Conditional Sensing in the Event Calculus	claim
130	91	Job Shop Scheduling with Probabilistic Durations	claim
131	91	Simplicity in Solving the Frame Problem	claim
132	91	Representing Knowledge about Norms	claim
133	89	A General Recursive Schema for Argumentation Semantics	claim
134	89	Likely-Admissible and Sub-Symbolic Heuristics	claim
135	89	Evaluation Strategies for Planning as Satisfiability	claim
136	88	Domain Descriptions Should Be Modular	claim
137	86	Tractability Results for Automatic Contracting	claim
138	85	Using Constraints with Memory to Implement Variable Elimination	claim
139	83	An Investigation into the Expressive Power of PDDL2.1	claim
140	82	Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae	claim
141	82	Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing	claim
142	80	Generating Random Bayesian Networks with Constraints on Induced Width	claim
143	78	Multiple Relaxations in Temporal Planning	claim
144	78	Stacked Generalization for Information Extraction	claim
145	77	A Tabulation Proof Procedure for Residuated Logic Programming	claim
146	74	International Affairs Portal: A Semantic Web Application	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers