ECAI 2000 - PDF Preprint Papers

ECAI 2000 Truth Maintenance Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ECAI-2000 Paper

click to vote

ECAI
2000
Springer

291views Artificial Intelligence» more ECAI 2000»

Autosteve: Automated Electrical Design Analysis

14 years 3 months ago

Download www.dbai.tuwien.ac.at

AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...

Chris Price

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	291	Autosteve: Automated Electrical Design Analysis	claim
2	200	An Instance-based Approach for Identifying Candidate Ontology Relations within a Multi-Agent System	claim
3	188	Activity Recognition from Video Sequences using Declarative Models	claim
4	174	Action Categorization from Video Sequences	claim
5	166	Background Knowledge, Indexing and Matching Interdependencies of Document Management and Ontology-Maintenance	claim
6	157	Gaining Insights into Web Customers using Web Intelligence	claim
7	150	Flexible Text Classification for Financial Applications: The Facile System	claim
8	149	Intention Reconsideration in Theory and Practice	claim
9	147	Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging	claim
10	147	Flexible Graphplan	claim
11	146	Incorporation of Temporal Logic Control into Plan Operators	claim
12	146	Using Description Logics for Ontology Extraction	claim
13	143	An Embedding of ConGolog in 3APL	claim
14	140	Learning Classification taxonomies from a classification knowledge based system	claim
15	138	Beat Tracking with Musical Knowledge	claim
16	132	Enriching very large ontologies using the WWW	claim
17	131	Autonomous Environment and Task Adaptation for Robotic Agents	claim
18	130	Diagnosis and Diagnosability Analysis Using PEPA	claim
19	130	Logic Programs with Compiled Preferences	claim
20	130	Incremental Forward Checking for the Disjunctive Temporal Problem	claim
21	130	Scheduling Meetings Using Distributed Valued Constraint Satisfaction Algorithm	claim
22	127	Continual Planning with Time-Oriented, Skeletal Plans	claim
23	126	Naive Bayes and Exemplar-based Approaches to Word Sense Disambiguation Revisited	claim
24	126	Search Pruning Conditions for Boolean Optimization	claim
25	122	Qualitative Spatial Reasoning about Line Segments	claim
26	121	A Property of Path Inverse Consistency Leading to an Optimal PIC Algorithm	claim
27	120	Achieving Coordination through Combining Joint Planning and Joint Learning	claim
28	119	Selection of Perturbation Experiments for Model Discrimination	claim
29	118	An Argumentation-Theoretic Characterization of Defeasible Logic	claim
30	117	Similarity-based Approach to Relevance Learning	claim
31	116	Solving Permutation Constraint Satisfaction Problems with Artificial Ants	claim
32	115	An Ontology Enrichment Method for a Pragmatic Information Extraction System gathering Data on Genetic Interactions	claim
33	115	Learning Efficiently with Neural Networks: A Theoretical Comparison between Structured and Flat Representations	claim
34	114	Iterated Revision by Epistemic States: Axioms, Semantics and Syntax	claim
35	113	Towards Real-Time Search with Inadmissible Heuristics	claim
36	113	Languages for Negotiation	claim
37	112	A Family of Defeasible Reasoning Logics and its Implementation	claim
38	110	Run-Time Selection of Coordination Mechanisms in Multi-Agent Systems	claim
39	109	Repairing Queries in a Mediator Approach	claim
40	109	Designing Clustering Methods for Ontology Building - The Mo'K Workbench	claim
41	109	Extensions of Constraint Solving for Proof Planning	claim
42	108	Turning High-Level Plans into Robot Programs in Uncertain Domains	claim
43	108	The Emergence of Grammar in Communicating Autonomous Robotic Agents	claim
44	106	Arguments, Dialogue, and Negotiation	claim
45	106	A Knowledge-based Approach for Lifelike Gesture Animation	claim
46	106	The WITAS Unmanned Aerial Vehicle Project	claim
47	103	Consistency-Based Diagnosis of Configuration Knowledge Bases	claim
48	102	Learning to Use Operational Advice	claim
49	102	Enriching a lexical semantic net with selectional preferences by means of statistical corpus analysis	claim
50	101	Describing Problem Solving Methods using Anytime Performance Profiles	claim
51	100	A Framework for Dynamic Constraint Reasoning using Procedural Constraints	claim
52	99	Plan Recognition through Goal Graph Analysis	claim
53	98	Picture Perfect: Visualisation Techniques for Case-based Reasoning	claim
54	97	Explaining ALC Subsumption	claim
55	96	Data Set Editing by Ordered Projection	claim
56	95	On Efficiency of Learning: A Framework and Justification	claim
57	95	Architecture for Agent Programming Languages	claim
58	95	Verification Programs for Abduction	claim
59	92	Lazy Propositionalisation for Relational Learning	claim
60	92	Dispatchability Conditions for Schedules with Consumable Resources	claim
61	92	VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base	claim
62	91	Symmetry Breaking in Constraint Programming	claim
63	91	Tiger: Continuous Diagnosis of Gas Turbines	claim
64	91	Graph Based Representation of Dynamic Planning	claim
65	90	Focusing Search by Using Problem Solving Experience	claim
66	90	Efficient Asymptotic Approximation in Temporal Difference Learning	claim
67	89	Hybrid Soft Computing: Where are we Going?	claim
68	86	Using an Ontology Conceptualisation Method to Capture an Advice Giving System Knowledge	claim
69	86	Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis	claim
70	85	Qualitative Simulation of Large and Complex Genetic Regulation Systems	claim
71	79	Local Search on Random 2+p-SAT	claim
72	69	Tree-based Heuristics in Modal Theorem Proving	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers