Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- informatica --- informatiesystemen --- database management --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- logica --- robots --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume containsa collectionofthe papers presentedduringthe 1stInter- tional ACM-L Workshop, which was held on November 8, 2006 during the 25th InternationalConferenceonConceptualModeling,ER2006,heldNovember6-9, 2006,in Tucson, Arizona,plus severalinvited papers. From 26 papers submitted to the workshop, a total of 11 papers were selected for inclusion in this volume. Thesepapersplustheinvitedpapersrepresentthecurrentthinkinginconceptual modeling research. To achieve the ACM-L goals, we need the participation of many research groups with di?erent skill sets. The active model can only be realized through technology integration (e. g. , AI, software engineering, information technology, cognitive science, art and sciences, philosophy, etc. ) and by combining related modeling techniques. The current state of the art in conceptual modeling can be used as the starting point. Modeling techniques will need to be combined to model di?erent characteristics of the world (e. g. , temporal, multimedia, spatial, cognitive, philosophical, historical, etc. ) in a holistic and visualized manner. One of the suggested action items of the workshop participants was to have more workshops and working sessions on this topic. The ?rst International ACM-L Workshop was organized to follow on from a smaller workshop on the samesubjectheldseveralmonthsearlier. Thisvolumeincludes the paperpres- tations,paneldiscussions,research?ndings,andfuturedirections. Theorgani- tion of the workshop involved many colleagues and valuable contributions from a number of persons. We would like to thank the ER 2006 Conference Co-chair, Sudha Ram (University of Arizona, USA) and Mohan R.

software engineering --- Computer. Automation --- robots --- informatica --- database management --- Information systems --- informatiesystemen --- logica --- Artificial intelligence. Robotics. Simulation. Graphics --- wiskunde --- Computer science --- Mathematical logic --- ICT (informatie- en communicatietechnieken) --- Artificial intelligence. --- Data mining. --- Computer science. --- Software engineering. --- Artificial Intelligence. --- Data Mining and Knowledge Discovery. --- Information Systems Applications (incl. Internet). --- Mathematical Logic and Formal Languages. --- Models and Principles. --- Software Engineering. --- Informatics --- Science --- Computer software engineering --- Engineering --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Application software. --- Mathematical logic. --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software