E CAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET)

[1]  Tomi Männistö,et al.  A metamodelling approach to configuration knowledge representation , 2010 .

[2]  Franz Wotawa,et al.  Challenges of Distributed Model-Based Diagnosis , 2010, IEA/AIE.

[3]  Lothar Hotz,et al.  Construction of Configuration Models , 2010, MKWI.

[4]  Chin-Wan Chung,et al.  An intelligent query processing for distributed ontologies , 2010, J. Syst. Softw..

[5]  Rim Djedidi,et al.  Define Hybrid Class Resolving Disjointness due to Subsumption , 2009, WOP.

[6]  Esra Erdem,et al.  Bridging the Gap between High-Level Reasoning and Low-Level Control , 2009, LPNMR.

[7]  A. Felfernig,et al.  Plausible Repairs for Inconsistent Requirements , 2009, IJCAI.

[8]  Tim Berners-Lee,et al.  Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..

[9]  Olivier Roussel,et al.  New Encodings of Pseudo-Boolean Constraints into CNF , 2009, SAT.

[10]  Franz Wotawa,et al.  A Practical Approach for the Online Diagnosis of Industrial Transportation Systems , 2009 .

[11]  Paul G. Talaga,et al.  Combining AIMA and LEGO mindstorms in an artificial intelligence coursetobuild realworldrobots , 2009 .

[12]  Michel Eboueya,et al.  For the Ultimate Accessibility and Reusability , 2009 .

[13]  Jürgen Dix,et al.  Multi-Agent Programming , 2009, Springer US.

[14]  Jérôme Euzenat,et al.  Sharing Resources through Ontology Alignments in a Semantic Peer-to-Peer System , 2009, Cases on Semantic Interoperability for Information Systems Integration.

[15]  Hector J. Levesque,et al.  IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents , 2009, Multi-Agent Programming, Languages, Tools and Applications.

[16]  Alexander Ferrein,et al.  Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..

[17]  Dong Yang,et al.  Development of a product configuration system with an ontology-based approach , 2008, Comput. Aided Des..

[18]  Martin Boeker,et al.  The ontology of biological taxa , 2008, ISMB.

[19]  Marie-Odile Cordier,et al.  Chronicles for On-line Diagnosis of Distributed Systems , 2008, ECAI.

[20]  Gerhard Friedrich,et al.  Intelligent debugging and repair of utility constraint sets in knowledge-based recommender applications , 2008, IUI '08.

[21]  Gerald Steinbauer,et al.  RoboCup Standard Platform League - Team Zadeat - An Intercontinental Research Effort , 2008 .

[22]  Tania Tudorache,et al.  Collaborative Ontology Development on the (Semantic) Web , 2008, AAAI Spring Symposium: Symbiotic Relationships between Semantic Web and Knowledge Engineering.

[23]  Gerhard Friedrich,et al.  Automated debugging of recommender user interface descriptions , 2009, Applied Intelligence.

[24]  Bijan Parsia,et al.  Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.

[25]  Frank van Harmelen,et al.  Debugging Incoherent Terminologies , 2007, Journal of Automated Reasoning.

[26]  A. Hiischi.  Traveling Light, the Lua Way , 2007, IEEE Software.

[27]  Barry O'Sullivan,et al.  Representative Explanations for Over-Constrained Problems , 2007, AAAI.

[28]  Roberto Ierusalimschy,et al.  The evolution of Lua , 2007, HOPL.

[29]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[30]  Pompeu Casanovas,et al.  OPJK and DILIGENT: ontology modeling in a distributed environment , 2007, Artificial Intelligence and Law.

[31]  Meir Kalech,et al.  On the design of coordination diagnosis algorithms for teams of situated agents , 2007, Artif. Intell..

[32]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[33]  Alexander Felfernig,et al.  Standardized Configuration Knowledge Representations as Technological Foundation for Mass Customization , 2007, IEEE Transactions on Engineering Management.

[34]  Gregory M. Provan,et al.  Automated Benchmark Model Generators for Model-Based Diagnostic Inference , 2007, IJCAI.

[35]  Alban Grastien,et al.  Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis , 2006, IJCAI.

[36]  Juha Tiihonen,et al.  Applying the Configuration Paradigm to Mass-customize Contract Based Services , 2007 .

[37]  Guy A. Narboni,et al.  A Tentative Approach for Integrating Sales with Technical Configuration , 2007 .

[38]  Gilbert Paquette,et al.  An Ontology and a Software Framework for Competency Modeling and Management , 2007, J. Educ. Technol. Soc..

[39]  Marco Sinnema,et al.  Configuration in industrial product families - the ConIPF methodology , 2006 .

[40]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[41]  Bijan Parsia,et al.  Repairing Unsatisfiable Concepts in OWL Ontologies , 2006, ESWC.

[42]  Michael Gelfond,et al.  Answer set based design of knowledge systems , 2006, Annals of Mathematics and Artificial Intelligence.

[43]  Gautam Biswas,et al.  Distributed diagnosis of coupled mobile robots , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[44]  Wendy Hall,et al.  The Semantic Web Revisited , 2006, IEEE Intelligent Systems.

[45]  Katharina Wolter,et al.  Model-Based Configuration Support For Software Product Families , 2006 .

[46]  Gerhard Friedrich,et al.  Mass Customization - Challenges and Solutions , 2006 .

[47]  Huy N Pham,et al.  Applying DTGolog to Large-scale Domains , 2006 .

[48]  Simon Parsons,et al.  Knowledge in action: Logical foundations for specifying and implementing dynamical systems by Raymond Reiter, MIT Press, 0-262-18218-1, 448 pp., $60.00/£38.95 , 2005, The Knowledge Engineering Review.

[49]  Gerhard Friedrich,et al.  A General Diagnosis Method for Ontologies , 2005, SEMWEB.

[50]  L. Schaupp,et al.  A CONJOINT ANALYSIS OF ONLINE CONSUMER SATISFACTION 1 , 2005 .

[51]  L. Catillo,et al.  Planning, Scheduling And Constraint Satisfaction: From Theory To Practice , 2005 .

[52]  Donald Perlis,et al.  Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness , 2005, J. Log. Comput..

[53]  Carsten Schröder,et al.  A Partial Logical Reconstruction of PLAKON/KONWERK , 2005 .

[54]  Bernd Neumann,et al.  Scene Interpretation as a Configuration Task , 2005, Künstliche Intell..

[55]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

[56]  Gilad Bracha,et al.  Mirrors: design principles for meta-level facilities of object-oriented programming languages , 2004, OOPSLA.

[57]  Ulrich Junker,et al.  QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.

[58]  Michael Beetz.  Structured Reactive Controllers , 2004, Autonomous Agents and Multi-Agent Systems.

[59]  Markus Stumptner,et al.  Consistency-based diagnosis of configuration knowledge bases , 1999, Artif. Intell..

[60]  J. Ross Quinlan,et al.  Induction of Decision Trees , 1986, Machine Learning.

[61]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[62]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[63]  M. Potkonjak,et al.  On-line fault detection of sensor measurements , 2003, Proceedings of IEEE Sensors 2003 (IEEE Cat. No.03CH37498).

[64]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[65]  Liliana Ardissono,et al.  A Framework for the Development of Personalized, Distributed Web-Based Configuration Systems , 2003, AI Mag..

[66]  Mitchell M. Tseng,et al.  The Customer Centric Enterprise: Advances in Mass Customization and Personalization , 2003 .

[67]  Tomi Männistö,et al.  Towards Intelligent Support for Managing Evolution of Configurable Software Product Families , 2003, SCM.

[68]  S. H. Chung,et al.  Distributed real-time model-based diagnosis , 2003 .

[69]  Gerhard Lakemeyer,et al.  ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.

[70]  Ronald Fagin,et al.  Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..

[71]  Lars Hvam,et al.  CRC cards for product modelling , 2003, Comput. Ind..

[72]  Reijo Sulonen,et al.  A Practical Tool for Mass-Customising Configurable Products , 2003 .

[73]  W. M. Wonham,et al.  Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[74]  Gerhard Friedrich,et al.  Configuration Knowledge Representation Using UML/OCL , 2002, UML.

[75]  Christoph Schlieder,et al.  A structure based configuration tool: drive solution designer - DSD , 2002, AAAI/IAAI.

[76]  Markus Stumptner,et al.  Towards an Integrated Debugging Environment , 2002, ECAI.

[77]  Markus Stumptner,et al.  Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models , 2002, ECAI.

[78]  Reijo Sulonen,et al.  Empirical Testing of a Weight Constraint Rule Based Configurator , 2002 .

[79]  Feng Zhao,et al.  Distributed Diagnosis of Networked Hybrid Systems , 2002 .

[80]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[81]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[82]  Reijo Sulonen,et al.  Representing Configuration Knowledge With Weight Constraint Rules , 2001, Answer Set Programming.

[83]  Gianfranco Lamperti,et al.  Diagnosis of a class of distributed discrete-event systems , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[84]  P. Pandurang Nayak,et al.  Remote Agent: An Autonomous Control System for the New Millennium , 2000, ECAI.

[85]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[86]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[87]  Gerhard Friedrich,et al.  Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems , 1999, Int. J. Softw. Eng. Knowl. Eng..

[88]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[89]  Lars Hvam,et al.  A Procedure for Building Product Models , 1999 .

[90]  Ilkka Niemelä,et al.  Developing a Declarative Rule Language for Applications in Product Configuration , 1999, PADL.

[91]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[92]  Reijo Sulonen,et al.  Towards a general ontology of configuration , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[93]  Daniel Sabin,et al.  Product Configuration Frameworks - A Survey , 1998, IEEE Intell. Syst..

[94]  Markus Stumptner,et al.  Configuring Large Systems Using Generative Constraint Satisfaction , 1998, IEEE Intell. Syst..

[95]  Raymond Reiter,et al.  Structural Abstraction in Model-Based Diagnosis , 1998, European Conference on Artificial Intelligence.

[96]  Gianfranco Lamperti,et al.  Diagnosis of Active Systems , 1998, ECAI.

[97]  Jos Warmer,et al.  The object constraint language , 1998 .

[98]  Peter Struss,et al.  CASE STUDIES IN MODEL-BASED DIAGNOSIS AND FAULT ANALYSIS OF CAR-SUBSYSTEMS , 1998 .

[99]  S. Iyengar,et al.  Multi-Sensor Fusion: Fundamentals and Applications With Software , 1997 .

[100]  Marie-Laure Mugnier,et al.  Positive Nested Conceptual Graphs , 1997, ICCS.

[101]  Alessandro Saffiotti,et al.  The Saphira architecture: a design for autonomy , 1997, J. Exp. Theor. Artif. Intell..

[102]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[103]  Bob J. Wielinga,et al.  Configuration-Design Problem Solving , 1997, IEEE Expert.

[104]  David Bellin,et al.  The CRC card book , 1997 .

[105]  Karem A. Sakallah,et al.  GRASP—a new search algorithm for satisfiability , 1996, ICCAD 1996.

[106]  Jérôme Euzenat,et al.  Corporate memory through cooperative creation of knowledge bases and hyper-documents , 1996 .

[107]  Susanne Stöhr.  Using a distributed knowledge base to coordinate autonomous mobile systems , 1996, Proceedings of 7th International Conference and Workshop on Database and Expert Systems Applications: DEXA 96.

[108]  Roberto Ierusalimschy,et al.  Lua—An Extensible Extension Language , 1996 .

[109]  P. Pandurang Nayak,et al.  Immobile Robots AI in the New Millennium , 1996, AI Mag..

[110]  William P. Birmingham,et al.  Editorial: the Sisyphus-VT initiative , 1996, Int. J. Hum. Comput. Stud..

[111]  Stephan Rudolf Schwarze.  Configuration of Multiple-Variant Products: Application orientation and Vagueness in Customer Requirements: application orientation and vagueness in customer requirements , 1996 .

[112]  Eugene C. Freuder,et al.  Configuration as Composite Constraint Satisfaction , 1996 .

[113]  Martin C. Cooper,et al.  Tractable Constraints on Ordered Domains , 1995, Artif. Intell..

[114]  T. Soininen,et al.  State-of-the-practice in product configuration — a survey of 10 cases in the Finnish industry , 1995 .

[115]  Vijay A. Saraswat,et al.  Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation , 1995, CP.

[116]  W. Nutt,et al.  Constructive problem solving : a model construction approach towards configuration , 1995 .

[117]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[118]  Ching Y. Suen,et al.  Measuring the complexity of rule-based expert systems , 1994 .

[119]  Johann Schweiger,et al.  Concepts of a distributed real-time knowledge base for teams of autonomous systems , 1994, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'94).

[120]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[121]  Eero Hyvönen,et al.  Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach , 1992, Artif. Intell..

[122]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[123]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

[124]  Igor Mozetic,et al.  Hierarchical Model-Based Diagnosis , 1991, Int. J. Man Mach. Stud..

[125]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[126]  Jorge Lobo,et al.  Theory of Disjunctive Logic Programs , 1991, Computational Logic - Essays in Honor of Alan Robinson.

[127]  Johan de Kleer,et al.  Using Crude Probability Estimates to Guide Diagnosis , 1990, Artif. Intell..

[128]  Georg Gottlob,et al.  Physical Impossibility Instead of Fault Models , 1990, AAAI.

[129]  Peter Jackson,et al.  Introduction to Expert Systems, 2nd Edition , 1990 .

[130]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[131]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[132]  Virginia E. Barker,et al.  Expert systems for configuration at Digital: XCON and beyond , 1989, Commun. ACM.

[133]  Sonya E. Keene,et al.  Object-oriented programming in COMMON LISP - a programmer's guide to CLOS , 1989 .

[134]  Russell Greiner,et al.  A Correction to the Algorithm in Reiter's Theory of Diagnosis , 1989, Artif. Intell..

[135]  Vladimir Hubka,et al.  Theory of Technical Systems , 1988 .

[136]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[137]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[138]  W. Edwards,et al.  Decision Analysis and Behavioral Research , 1986 .

[139]  Jeffrey L. Whitten,et al.  Systems Analysis and Design Methods , 1986 .

[140]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[141]  R. Chandrasekaran,et al.  Integer Programming Problems for Which a Simple Rounding Type Algorithm Works , 1984 .

[142]  Rodney A. Brooks,et al.  Lisp-in-Lisp: High Performance and Portability , 1983, IJCAI.

[143]  Brian W. Kernighan,et al.  An efficient heuristic procedure for partitioning graphs , 1970, Bell Syst. Tech. J..

[144]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[145]  Lotfi A. Zadeh,et al.  General System Theory , 1962 .