]> 2012-02-10T14:15:02-05:00 Computer science Dave Braines Guofei Jiang Dana S. Nau Laura Papaleo Arie Shoshani Ethan B. Trewhitt Jie Bao Gregory Todd Williams Xixi Luo Wei Zhao Yingwei Luo Xiaolin Wang Wenjun Wang Zhuoqun Xu Phillip DiBona Kenneth Whitebread Martin O. Hofmann Darren Scott Appling Janardhan Rao Doppa Charles Parker Prasad Tadepalli Derek Greeny Jinhong K. Guo Ugur Kuter Geoff Levine Gerald DeJong Thomas G. Dietterich Reid L. MacTavish Ashwin Ram Santiago Ontanon Daniel McFarlane Hala Mostafa Victor Lesser Chongjie Zhang Daniel Corkill Huzaifa Zafar Jainarayan Radhakrishnan Anton Rebgunsy Bhavesh Shrestha Zhexuan Song Subbarao Kambhampati Diana Spearsy Elizabeth T. Whitaker Weng-Keen Wong Nicholas Del Rio Richard Fikes Pranam Kolari Anupam Joshi Vasco Furtado Yun Peng Lina Zhou Cynthia Sims Parr Joel Sachs Allan Hollander Boanerges Aleman-Meza Amit P. Sheth Jose M. Garcia Huajun Chen Zhaohui Wu Jake Y. Chen Steffen Staab Pedro Domingos Peter Mika Jennifer Golbeck Akshay Java R. Scott Cost Sasikanth Avancha Zhongli Ding John Mokili Franz Baader James L. Benedict Alex Borgida Ronald J. Brachman Mark H. Burstein Vinay K. Chaudhri Luca Cinquini Dieter Fensel Carlos G. Fernandes Enrico Franconi Gleb Frank Ian Horrocks Eric Hsu Charles Isbell Ora Lassila Harley Manning David L. Martin Drew V. McDermott Don Middleton Dhyanesh Narayanan Massimo Paolucci Peter F. Patel-Schneider Naveen Srinivasan Katia Sycara Christopher A. Welty Jian Zhong Dean Allemang Tim Berners-Lee George Cybenko Kurt Godden Joan Feigenbaum David de Roure Gilberto Fragoso Wendy Hall Frank van Harmelen Yarden Katz Henry Lieberman Bijan Parsia Nigel Shadbolt Raj Reddy Wolfgang Wahlster Bernardo Cuenca-Grau Kutluhan Erol Christian Halaschek-Wiener Jeff Heflin Aditya Kalyanpur Vladimir Kolovski Sean Luke Jaime Montemayor Eduardo Ostertag Evren Sirin Lee Spector Reiko Tsuneto Julio Rosenblatt Kilian Stoffel Jana Koehler Chaitan Baru Boyan Brodaric Kai Lin A. Krishna Sinha Ismailcem Budak Arpinar Meenakshi Nagarajan K. Krasnow Waterman David A. Ferrucci Lavanya Dhanapalan Tong Yu Atilla Aydin Alain Leger Lushan Han Maher A. Alhossaini Mayukh Bhaowal Abdelmounaam Rezgui Alex Sim Ann L. Chervenak J. Anthony Darnell Line Pouchard Bob Drach David E. Bernholdt Kasidit Chanchio Ian T. Foster Veronika Nefedova David Brown Gary Strand Dean Williams Carl Kesselman Robert G. Raskin Meili Chen Shishir Bharathi Rob S. Markel Katia P. Sycara J. William Murdock Juan M. Fontenla Oran R. White Mark P. Rast Randy Meisner Eric Yasukawa Darryl Koon Crystal Rice Haosheng Lin Vladia Pinheiro Ricardo A. Baeza-Yates Terry R. Payne Stacy Marsella Alberto H. F. Laender Alessandro Sette Alexander P. Morgan Amedeo Cesta Andriy Parafiynyk Andrzej Nowak Rong Pan Andrea M. Simon Sandor Dornbush Shashidhara Ganjugunte Vishal Doshi Robin R. Vallacher Biplav Srivastava Andrew J. Cowell Hannes H. Vilhjalmsson Bir Bhanu Kristinn R. Thorisson Bjoern Peters Marko Grobelnik Natasa Milic-Frayling Patrick J. Hayes Carrie F. Varley Priyendra Deshwal Tejaswini Narayanan Chris Hanson Pavan Reddivari Taowei David Wang Daniel Oblinger Dilek Z. Hakkani-Tur Harold Abelson Ilya Zaihrayeu Gerald J. Sussman Sheila A. McIlraith Ward Fleri Stephen Schwab Jay Jacobs Diego Molla Aliod David A. Thurman David S. Frankel V. Richard Benjamins Yosi Scharf Yolanda Gil Sibel Adali Philip E. Bourne Cartic Ramakrishnan Boris Motik Eduardo Alonso Dunja Mladenic Fausto Giunchiglia Gokhan Tur Holger Wache Huynh-Hoa Bui John A. Cafeo John Sidney Jose Luis Vicedo Joseph E. Beck Juliana Carvalho Mark S. Boddy Marta Sabou Monika Solanki Muthuraman Sathiamurthy Paul E. Rybski Pavel Shvaiko Ronald M. Lesperance Sanda M. Harabagiu Sheila Tejada Srinivas Bangalore Stephen F. Smith Stephen S Wilson Philipp Cimiano Dmitri A. Dolgov Anat Levin Brian Milch Louis-Philippe Morency Jennifer Neville Erik B. Sudderth Luis von Ahn Andrew Schain Annie Hui Bernadette Hyland Claire Hart Paul R. Smart Nigel R. Shadbolt Kieron O'Hara Kanzaki Masahide David Wood Zavisa Bjelogrlic Dan Connolly Dan Wu May Huang Michael Grove Naiwen Lin Yannis Kalfoglou Yogesh L. Simmhan Lei Zhang Jim Blythe The description logic handbook: theory, implementation and applications Automating experiments using semantic data on a bioinformatics grid Towards automatic content quality checks in semantic wikis Towards semantic wikicrimes Effective extraction of thematically grouped key terms from text Ourspaces - a social semantic web environment for escience Design of semantic information systems using a model-based approach Exposing privacy obligation policies in social networking sites Geolocating blogs from their textual content Documenting models and their relations with semantic wikis Geotemporal reasoning in a web 3.0 world Inversion of forum content based on authors' sentiments on product usability Analysis and representation of tagging practices in online communities Ontology-aware classification and association rule mining for interest and link prediction in social networks Providing access control to online photo albums based on tags and linked data Deep web annotation using goal-oriented special purpose ontologies Empowering owl with overriding inheritance, conflict resolution and non-monotonic reasoning Dual representation of the semantic user profile for personalized web search in an evolving domain Privacy management, the law and global business strategies A social item filtering approach for a mobile semantic desktop application Integrating social trust into web service compositions Using the social semantic web to support esocial science Mining wikipedia article clusters for geospatial entities and relationships A model of process documentation to determine provenance in mash-ups Provenance and annotation of data and processes, second international provenance and annotation workshop, ipaw 2008, salt lake city, ut, usa, june 17-18, 2008. revised selected papers Xmlview: discover domain specific service description in a uddi compliant registry The open provenance model: an overview Implementation and evaluation of a protocol for recording process documentation in the presence of failures User evaluation of a market-based recommender system The provenance of electronic data Performance analysis of a semantics-enabled service registry Special issue: the first provenance challenge Extracting causal graphs from an open provenance data model Modelling the provenance of data in autonomous systems Agentprime: adapting mas designs to build confidence Topic 9 parallel and distributed programming Connecting scientific data to scientific experiments with provenance Recycling workflows and services through discovery and reuse Examining the challenges of scientific workflows The requirements of using provenance in e-science experiments Provenance-based validation of e-science experiments Provenance and annotation of data, international provenance and annotation workshop, ipaw 2006, chicago, il, usa, may 3-5, 2006, revised selected papers Adaptive distributed resource allocation and diagnostics using cooperative information-sharing strategies Topic 6: grid and cluster computing: models, middleware and architectures Exposing uddi service descriptions and their metadata annotations as ws-resources Automated syntactic medation forweb service integration Security issues in a soa-based provenance system Enabling provenance on large scale e-science applications Prime: a software engineering methodology for developing provenance-aware applications Report on the international provenance and annotation workshop: (ipaw'06) 3-5 may 2006, chicago First international workshop on semantic infrastructure for grid computing applications (sigaw) Provenance in agent-mediated healthcare systems Sharing information for q-learning-based network bandwidth estimation and network failure detection Using semantic web technology to automate data integration in grid and web service architectures Behavioural specification of grid services with the kaos policy language Xdtm: the xml data type and mapping for specifying datasets Modelling and simulating chained negotiation to enable sharing of notifications A market-based approach to recommender systems Resource aware programming Birrell's distributed reference listing revisited Cluster computing and grid 2005 works in progress Learning users' interests by quality classification in market-based recommender systems Cooperative information sharing to improve distributed learning in multi-agent systems Resource allocation in communication networks using market-based agents A notation and system for expressing and executing cleanly typed workflows on messy scientific data Market-based recommender systems: learning users' interests by quality classification Towards a protocol for the attachment of semantic descriptions to grid services Learning users' interests in a market-based recommender system A protocol for recording provenance in service-oriented grids Towards a protocol for the attachment of metadata to grid service descriptions and its use in semantic discovery Recommender systems: a market-based design Market-based recommendations: design, simulation and evaluation On the use of agents in bioinformatics grid Recording and reasoning over data provenance in web and grid services Automated negotiation for grid notification services Personalised grid service discovery Automated negotiation between publishers and consumers of grid notifications A market-based recommender system Engineering an agent-based peer-to-peer resource discovery system Agents for the grid: a comparison with web services (part i: transport layer) Transparent fault tolerance for web services based architectures Coordination of mobile intermediaries acting on behalf of mobile users (research note) Mobile intermediaries supporting information sharing between mobile users Certificates for mobile code security A fault-tolerant directory service for mobile agents based on forwarding pointers Mobile objects in java Architectural design of a multi-agent system for handling metadata streams Open hypermedia as a navigational interface to ontological information spaces Trust relationships in a mobile agent system Formalizing the safety of java, the java virtual machine, and java card A construction of distributed reference counting Mobile code for key propagation Tree rerooting in distributed garbage collection: implementation and performance evaluation Distributed directory service and message routing for mobile agents A link-oriented comparison of hyperdocuments and programs Fohm: a fundamental open hypertext model for investigating interoperability between hypertext domains Standardizing hypertext: where next for ohp? From metadata to links Distributed computations driven by resource consumption A distributed garbage collector with diffusion tree reorganisation and mobile objects Hierarchical distributed reference counting On the expressiveness of links in hypertext systems A syntactic theory of dynamic binding Design and semantics of quantum: a language to control resource consumption in distributed computing Nexeme: a distributed scheme based on nexus Correctness of a distributed-memory model for scheme The semantics of scheme with future The semantics of pcall and fork in the presence of first-class continuations and side-effects Non-speculative and upward invocation of continuations in a parallel language A parallel functional language with first-class continuations. programming style and semantics The pcks-machine: an abstract machine for sound evaluation of parallel functional programs with first-class continuations Partial continuations as the difference of continuations - a duumvirate of control operators Sound rules for parallel evaluation of a functional language with callcc An operational semantics for a parallel functional language with continuations Towards leveraging inference web to support intuitive explanations in recommender systems for automated career counseling Toward establishing trust in adaptive agents Inference web in action: lightweight use of the proof markup language Knowledge provenance in virtual observatories: application to image data pipelines Semantic data integration and registration: application to heterogeneous atmosphere and volcanic data sources The tw wine agent: a social semantic web demo Towards social webtops using semantic wiki Presenting tstp proofs with inference web tools Towards the generation of explanations for semantic web services in owl-s An initial investigation on evaluating semantic web instance data Proceedings of the sixteenth acm conference on information and knowledge management, cikm 2007, lisbon, portugal, november 6-10, 2007 A volcano erupts: semantically mediated integration of heterogeneous volcanic and atmospheric data A categorization of explanation questions for task processing systems Pml 2: a modular explanation interlingua Explaining task processing in cognitive assistants that learn Stbenchmark: towards a benchmark for mapping systems Timber: a native system for querying xml Abstracting web agent proofs into human-level justifications Current and future uses of owl for scientific data frameworks: successes and limitations Bringing semantics to web services with owl-s Investigations into trust for collaborative information repositories: a wikipedia case study Computing trust from revision history Webexplain: a upml extension to support the development of explanations on the web for knowledge-based systems A proof markup language for semantic web services Web explanations for semantic heterogeneity discovery Explaining results from information retrieval and integration Encoding extraction as inferences Semantic web rule languages and explanation Iwtrust: improving user trust in answers from the web The workshops at the twentieth national conference on artificial intelligence The general motors variation-reduction adviser: deployment issues for an ai application Towards explaining semantic matching Trusting answers from web applications Bringing semantics to web services: the owl-s approach Question answering on the semantic web From description logic provers to knowledge representation systems Configuration Digital libraries and web-based information systems Wine agent: semantic web testbed application Registry-based support for information integration Inference web: portable and sharable explanations for question answering Knowledge representation for question answering Ontologies come of age Daml-ont: an ontology language for the semantic web Knowledge provenance infrastructure The emerging semantic web, selected papers from the first semantic web working symposium, stanford university, california, usa, july 30 - august 1, 2001 Ieee intelligent systems: daml+oil: an ontology language for the semantic web Daml+oil: an ontology language for the semantic web Working notes of the 2001 international description logics workshop (dl-2001), stanford, ca, usa, august 1-3, 2001 Proceedings of swws'01, the first semantic web working symposium, stanford university, california, usa, july 30 - august 1, 2001 Description logics emerge from ivory towers Industrial strength ontology management Ontologies and electronic commerce Oil: an ontology infrastructure for the semantic web The chimaera ontology environment Conceptual modeling for distributed ontology environments An environment for merging and testing large ontologies Darpa's high performance knowledge base (hpkb) program Explaining alc subsumption "reducing" classic to practice: knowledge representation theory meets reality Matching in description logics Usability issues in knowledge representation systems Matching in description logics: preliminary results Special issue: configuration design Conceptual modelling for configuration: a description logic-based approach An industrial-strength description-logics-based configurator platform An entity name system (ens) for the semantic web A description logic-based configurator on the web Usability issues in dl systems Proceedings of the 1996 international workshop on description logics, november 2-4, 1996, cambridge, ma, usa Asking queries about frames Reasoning with black boxes: handling test concepts in classic Description logic in practice: a classic application Explaining subsumption in description logics Integrated support for data archeology Issues in description logics: users meet developers, boston, ma, usa, october 1992 Making description logic based knowledge representation systems more usable The classic knowledge representation system or, kl-one: the next generation The classic knowledge representation system: implementation, applications, and beyond The classic knowledge representation system: guiding principles and implementation rationale Term subsumption languages in knowledge representation Classic: a structural data model for objects Knowledge representation, connectionism, and conceptual retrieval Remarks on the 11th international conference on research and development in information retrieval Scientific and statistical database management, 20th international conference, ssdbm 2008, hong kong, china, july 9-11, 2008, proceedings Kepler/ppod: scientific workflow and provenance support for assembling the tree of life Merging taxonomies under rcc-5 algebraic articulations From computation models to models of provenance: the rws approach Provenance in collection-oriented scientific workflows Report on the principles of provenance workshop Project histories: managing data provenance across collection-oriented scientific workflow runs Provenance in scientific workflow systems A knowledge environment for the biodiversity and ecological sciences Rewriting queries using views with access patterns under integrity constraints Collection-oriented scientific workflows for integrating and analyzing biological data A calculus for propagating semantic annotations through scientific workflow queries Enabling scientificworkflow reuse through structured composition of dataflow and control-flow The center for plasma edge simulation workflow requirements A model for user-oriented data provenance in pipelined scientific workflows S04 - introduction to scientific workflow management and the kepler system An extensible infrastructure for processing distributed geospatial data streams The geon portal: accelerating knowledge discovery in the geosciences Scientific workflows: more e-science mileage from cyberinfrastructure Scientific workflow management and the kepler system Report on the 2nd international workshop on data integration in the life sciences: (dils'05) Data integration in the life sciences, second internationalworkshop, dils 2005, san diego, ca, usa, july 20-22, 2005, proceedings Data integration and workflow solutions for ecology Actor-oriented design of scientific workflows Creating and providing data management services for the biological and ecological sciences: science environment for ecological knowledge Incorporating semantics in scientific workflow authoring A scientific workflow approach to distributed geospatial data processing using web services Scientific workflow and semantic grid - presentation Towards automatic generation of semantic types in scientific workflows Guest editors' introduction to the special section on scientific workflows An ontology-driven framework for data transformation in scientific workflows Processing unions of conjunctive queries with negation under limited access patterns Web service composition through declarative queries: the case of conjunctive queries with union and negation A web service composition and deployment framework for scientific workflows Processing first-order queries under limited access patterns A framework for the design and reuse of grid workflows On integrating scientific resources through semantic registration Kepler: an extensible system for design and execution of scientific workflows Data procurement for enabling scientific workflows: on exploring inter-ant parasitism Reminiscences on influential papers - kenneth a. ross A semantic mediation approach for problems in computational molecular biology Birn-m: a semantic mediator for solving real-world neuroscience problems A modeling and execution environment for distributed scientific workflows Compiling abstract scientific workflows into web service workflows Towards a formalization of disease-specific ontologies for neuroinformatics The many faces of process interaction graphs: a data management perspective A system for managing alternate models in model-based mediation Navigating virtual information sources with know-me Time to leave the trees: from syntactic to conceptual querying of xml Multi-level information modeling and preservation of egov data Registering scientific information sources for semantic mediation Ontology services for curriculum development in nsdl A transducer-based xml query processor Understanding the global semantics of referential actions using logic rules Report on the edbt'02 panel on scientific data integration Query evaluation and presentation planning within a spatial mediator: extending xml-based mediation to heterogeneous sources of gis and imagery data (invited address) Model-based mediation with domain maps An extensible model-based mediatior system with domain maps Towards self-validating knowledge-based archives Towards a federated neuroscientific knowledge management system using brain atlases Preservation of digital data with self-validating, self-instantiating knowledge-based archives Navigation-driven evaluation of virtual mediated views Knowledge-based integration of neuroscience data sources Model-based information integration in a neuroscience mediator system Games and total datalog$\neg$ queries Xml-based information mediation for digital libraries Modeling interactive web sources for information mediation A unified framework for wrapping, mediating and restructuring information from the web Xml-based information mediation with mix A framework for navigation-driven lazy mediators Integration of active and deductive database rules Search, analysis, and integration of web documents: a case study with florid Referential actions: from logical semantics to implementation Querying the web with florid On logical foundations of active databases Features and requirements for an xml view definition language: lessons from xml information mediation On active deductive databases: the statelog approach Integration of active and deductive database rules (abstract) Managing semistructured data with florid: a deductive object-oriented perspective Handling termination in a logical language for active rules Well-founded semantics for deductive object-oriented database languages On a declarative semantics for web queries Total and partial well-founded datalog coincide Referential actions as logic rules Towards a logical semantics for referential actions in sql Nested transactions in a logical language for active rules A logical framework for active rules Zustandsorientierte beschreibung von updates in deduktiven datenbanken Updates by reasoning about states Towards first-order deduction based on shannon graphs Curated databases Xarch: archiving scientific and reference data Tegola tiered mesh network testbed in rural scotland On the expressiveness of implicit provenance in query and update languages Provenance in databases Letter from the special issue editor Report on the first international workshop on database preservation (presdb'07) A provenance model for manually curated data Provenance management in curated databases How to cite curated databases and how to make them citable Using partial evaluation in distributed query evaluation Vectorizing and querying large xml repositories What is interesting about scientific databases? What the web has done for scientific data - and what it hasn't Digital library information-technology infrastructures Incremental evaluation of schema-directed xml publishing The two cultures of digital curation Archiving scientific data What is interesting about scientific databases? (abstract) Path queries on compressed xml Interaction between path and type constraints Reasoning about keys for xml Guest editor's foreword On propagation of deletions and annotations through views Keys for xml Data integration in vector (vertically partitioned) databases Why and where: a characterization of data provenance Constraints for semi-structured data and xml Characterizing data provenance (abstract) Data provenance: some basic issues Towards a query language for annotation graphs Path constraints in semistructured databases Unql: a query language and algebra for semistructured data based on structural recursion Data on the web: from relations to semistructured data and xml Database theory - icdt '99, 7th international conference, jerusalem, israel, january 10-12, 1999, proceedings Union types for semistructured data Query optimization for semistructured data using path constraints in a deterministic data model Path constraints in semistructured and structured databases Beyond xml query languages Adding structure to unstructured data Semistructured data Mediator languages - a proposal for a standard A query language and optimization techniques for unstructured data Polymorphism and type inference in database programming Programming constructs for unstructured data The data that you won't find in databases: tutorial panel on data exchange formats Semantics of database transformations A data transformation system for biological data sources Challenges in integrating biological data sources Principles of programming with complex objects and collection types Concluding remarks Comprehension syntax Proceedings of the 1993 acm sigmod international conference on management of data, washington, d.c., may 26-28, 1993 Theoretical aspects of schema merging Naturally embedded query languages A type system that reconsiles classes and extents Structural recursion as a query language Data structures and data types for object-oriented databases A semantics for complex objects and approximate answers Using powerdomains to generalize relational databases Advances in database programming languages, papers from dbpl-1, september 1987, roscoff, france Querying independent databases New hope on data models and types: report of an nsf-inria workshop Can object-oriented databases be statically typed? Static type inference for parametric classes Database programming in machiavelli - a polymorphic language with static type inference Static type-checking in object-oriented databases Data types and persistence, book resulting from the appin workshop august 1985 Data types and persistence. edited papers from the proceedings of the first workshop on persistent objects, appin, scotland, august 1985 Type inference in a database programming language A semantics for complex objects and approximate queries Binding and type checking in database programming languages Langages de programmation et bases de donn \'e es Third-generation database system manifesto - the committee for advanced dbms function Types and persistence in database programming languages A domain theoretic approach to higher-order relations Inheritance and persistence in database programming languages Data types and persistence, informal proceedings of the first workshop on persistent objects, appin, scotland, august 1985 Data types for database programming Data types for data base programming Preface User oriented link function classification Integrating codasyl with high-level programming language The functional data model and its uses for interaction with databases An implementation technique for database query languages Constructing superviews The use of data type information in an interactive database environment Behaviour (discussion) The towers of hanoi problem Fql - a functional query language The problem of multiple paths in a database schema Efficient monitoring relational databases A space efficient dynamic allocation algorithm for queuing messages Display facilities for dss support: the daisy approach Muse: mapping understanding and design by example Muse: a system for understanding and designing mappings Quasi-inverses of schema mappings Data exchange with data-metadata translations Comparing and evaluating mapping systems with stbenchmark Provenance in databases: past, current, and future The complexity of data exchange Spider: a schema mapping debugger Debugging schema mappings with routes Peer data exchange Dbnotes: a post-it system for relational databases based on provenance Composing schema mappings: second-order dependencies to the rescue An annotation management system for relational databases Research problems in data provenance Containment of relational queries with annotation propagation Silkroute: a framework for publishing relational data in xml On computing functions with uncertainty Publishing relational data in xml: the silkroute approach Silkroute: trading between relations and xml A graphical interface to genome multidatabases Quick: graphical user interface to multiple databases A measurement ontology generalizable for emerging domain applications on the semantic web An ontology of trust: formal semantics and transitivity Trust judgment in knowledge provenance Knowledge provenance Uncertainty in knowledge provenance Determining requirements and specifications of enterprise information systems for profitability Building agents to serve customers Building agents for the customer service front Towards a data model for quality management web services: an ontology of measurement for enterprise modeling Using enterprise reference models for automated iso 9000 compliance evaluation Interact: a staged approach to customer service automation Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics Constraint-directed techniques for scheduling alternative activities Scheduling alternative activities The challenge of making enterprises virtual: an ai perspective Enterprise modeling A generic framework for constraint-directed search and scheduling Beyond contention: extending texture-based scheduling heuristics Integrating communicative action, conversations and decision theory to coordinate agents Texture-based heuristics for scheduling revisited Five pitfalls of empirical scheduling research Agent based design and simulation of supply chain systems The design of a coordination language for multi-agent systems Coordinating multiple agents in the supply chain A constraint-based model of coordination in concurrent design projects Een: a pen-based electronic notebook for unintrusive acquisition of engineering design knowledge Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem Capturing and modeling coordination knowledge for multi-agent systems The architecture of an agent building shell Cool: a language for describing coordination in multi agent systems The logic of enterprise models An ontology of quality for enterprise modelling An organisation ontology for enterprise modelling: preliminary concepts for linking structure and behaviour Ontologies for enterprise integration The tove project towards a common-sense model of the enterprise Concurrent design Resource configuration and allocation-a case study of constrained heuristic search Resource allocation in distributed factory scheduling Looking for the ai in software engineering: an applications perspective Why is scheduling difficult? a csp perspective Ai and expert system myths, legends, and facts The architecture of aladin: a knowledge-based approach to alloy design (how) is ai impacting manufacturing? Constrained heuristic search An investigation of opportunistic constraint satisfaction in space planning Integration of multiple knowledge sources in aladin: an alloy design system Beyond the knowledge level Constructing and maintaining detailed production plans: investigations into the development of knowledge-based factory scheduling systems The role of databases in knowledge-based systems Experiences with srl: an analysis of a frame-based knowledge representation Autonomous manufacturing: automating the job-shop Techniques for sensor-based diagnosis Job-shop scheduling: an investigation in constraint-directed reasoning Factory modelling, simulation, and scheduling in the intelligent management system Reasoning with incomplete knowledge in a resource-limited environment: integrating reasoning and knowledge acquisition Browsing through databases Introducing carnegie-mellon university's robotics institute Maximal consistent interpretations of errorful data in hierarchically modeled domains Knowledge guided learning of structural descriptions Siphon++: a hidden-webcrawler for keyword-based interfaces Automatically extracting form labels Towards provenance-enabling paraview A first study on clustering collections of workflow graphs Using provenance to support real-time collaborative design of workflows Querying and re-using workflows with vstrails Provenance and scientific workflows: challenges and opportunities Examining statistics of workflow evolution provenance: a first study Querying structured information sources on the web Tackling the provenance challenge one layer at a time Viscomplete: automating suggestions for visualization pipelines Learning to extract form labels Automatically constructing a directory of molecular biology databases Organizing hidden-web databases by clustering visible web documents Provenance management: challenges and opportunities Combining classifiers to identify online databases An adaptive crawler for locating hiddenwebentry points Querying and creating visualizations by analogy A fast and robust method for web page template detection and removal Automatically constructing collections of online database directories Managing the evolution of dataflows with vistrails Managing rapidly-evolving scientific workflows Vistrails: visualization meets data management Integrated scientific workflow management for the emulab network testbed Imax: the big picture of dynamic xml statistics Vistrails: enabling interactive multiple-view visualizations Designing information-preserving mapping schemes for xml Looking at both the present and the past to efficiently update replicas of web content Searching for hidden-web databases Supporting exploratory queries in databases A flexible infrastructure for gathering xml statistics and estimating query cardinality Siphoning hidden-web data through keyword-based interfaces Shrex: managing xml documents in relational databases A comprehensive solution to the xml-to-relational mapping problem Information preservation in xml-to-relational mappings International workshop on web and databases, san diego, california, june 12-13, 2003 Bridging the xml relational divide with legodb Capturing both types and constraints in data integration Searching for efficient xml-to-relational mappings Supporting exploratory queries in database centric web applications Adaptive xml shredding: architecture, implementation, and challenges From xml schema to relations: a cost-based approach to xml storage Statix: making xml count Legodb: customizing relational storage for xml documents Integrating network devices in a meta-directory: the metacomm experience Webviews: accessing personalized web content and services Efficient acquisition of web data through restricted query interfaces Metacomm: a meta-directory for telecommunications Web services and information delivery for diverse environments Automating web navigation with the webvcr Personalizing the web using site descriptions Making ldap active with the ltap gateway; case study in providing telecom integration and enchanced services A layered architecture for querying dynamic web content Practical problems in coupling deductive engines with relational databases (abstract) Scheduling in slg revisited Beyond depth-first strategies: improving tabled logic programs through alternative scheduling Taking i/o seriously: resolution reconsidered for disk Controlling the search in tabled evaluations Xsb: a system for effciently computing wfs Logic programming and databases integrated at last? (poster abstract) Beyond depth-first: improving tabled logic programs through alternative scheduling strategies Parallelizing tabled evaluations (extended abstract) Exploiting parallelism in tabled evaluations Proceedings of the 2008 international workshop on context enabled source and service selection, integration and adaptation: organized with the 17th international world wide web conference (www 2008), csssia 2008, beijing, china, april 22, 2008 The semantic web - iswc 2008, 7th international semantic web conference, iswc 2008, karlsruhe, germany, october 26-30, 2008. proceedings International workshop on context enabled source and service selection, integration and adaptation: workshop summary Unsupervised discovery of compound entities for relationship extraction Relationship web: spinning the web from trailblazing to semantic analytics Graph summaries for subgraph frequency estimation Mediatability: estimating the degree of human involvement in xml schema mediation Tcruzikb: enabling complex queries for genomic data exploration A faceted classification based approach to search and rank web apis Enhancing process-adaptation capabilities with web-based corporate radar technologies Combek 2008 pc co-chairs' message Ws3: international workshop on context-enabled source and service selection, integration and adaptation (csssia 2008) Business process management Semantics enhanced services: meteor-s, sawsdl and sa-rest Semantic provenance for escience: managing the deluge of scientific data Semantic sensor web Services mashups: the new generation of web applications An ontology-driven semantic mashup of gene and biological pathway information: application to the domain of nicotine dependence Scalable semantic analytics on social networks for addressing the problem of conflict of interest detection Autonomous and adaptive web services, 04.02. - 09.02.2007 07061 abstracts collection -- autonomous and adaptive web services Role of semantics in autonomic and adaptive web services \& processes Introduction to the 2nd edition of the workshop "advances in semantics for web services 2007" (semantics4ws 2007) Rdf data exploration and visualization Supporting complex thematic, spatial and temporal queries over semantic web data Bootstrapping ontology alignment methods with apfel Automatic composition of semantic web services using process mediation The 4 x 4 semantic model: exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers Inter-enterprise system and application integration: a reality check Sa-rest and (s)mashups : adding semantics to restful services A semantic framework for identifying events in a service oriented architecture Variation oriented service composition and adaptation (vosca): a work in progress Visualization of events in a spatially and multimedia enriched virtual environment Relationship web: realizing the memex vision with the help of semantic web Altering document term vectors for classification: ontologies as expectations of co-occurrence Estimating the cardinality of rdf graph patterns Sparq2l: towards support for subgraph extraction queries in rdf databases Semantic convergence of wikipedia articles Active semantic electronic medical records Welcome to prof. amit sheth Semantic web services, part 2 Semantically annotating a web service Relationship web: blazing semantic trails between web resources Guest editors' introduction: semantic-web-based knowledge management Sa-rest: semantically interoperable and easier-to-use services and mashups Ontology driven data mediation in web services Semantic web services, processes and applications Swetodblp ontology of computer science publications Business process management, 4th international conference, bpm 2006, vienna, austria, september 5-7, 2006, proceedings Modular ontology design using canonical building blocks in the biochemistry domain Analyzing theme, space, and time: an ontology-based approach Optimal adaptation in web processes with coordination constraints Semantic interoperability of web services - challenges and experiences Semantic analytics visualization Semanticspy: suspect tracking using semantic data in a multimedia environment A framework for schema-driven relationship discovery from unstructured text Active semantic electronic medical record Knowledge modeling and its application in life sciences: a tale of two ontologies Semantic analytics on social networks: experiences in addressing the problem of conflict of interest detection Semantic ws-agreement partner selection Designing semantic web processes: the wsdl-s approach The semantic web and its applications Bioinformatics applications of web services, web processes and role of semantics Keywords, port types and semantics: a journey in the land of web service discovery Semantics to energize the full services spectrum Semantic interoperability and integration Autonomic web processes Openws-transaction: enabling reliable web service transactions Demonstrating dynamic configuration and execution of web processes A semantic template based designer for web processes An ontological approach to the document access problem of insider threat Template based semantic similarity for security applications Peer-to-peer discovery of semantic associations From semantic search \& integration to analytics Semrank: ranking complex relationship search results on the semantic web Ranking complex relationships on the semantic web A semantic web services architecture Taxaminer: an experimentation framework for automated taxonomy bootstrapping Semantics for the semantic web: the implicit, the formal and the powerful Discovery of web services in a multi-ontology and federated registry environment Introduction Semantic association identification and knowledge discovery for national security applications Discovering informative connection subgraphs in multi-relational graphs Adding data mining support to sparql via statistical relational learning methods Semantic web services and web process composition, first international workshop, swswpc 2004, san diego, ca, usa, july 6, 2004, revised selected papers Investigating ontologies for simulation modeling Discovery of web services in a federated registry environment Services oriented architecture and semantic web processes On using ws-policy, ontology, and rule reasoning to discover web services Introduction to semantic web services and web process composition Proposal: performing invention with analogies to "far-flung" concepts Meteor-s web service annotation framework with machine learning classification Enhancing web services description and discovery to facilitate composition Discovering and ranking semantic associations over a large rdf metabase Meteor-s web service annotation framework Quality of service for workflows and web service processes Adding semantics to web services standards Context-aware semantic association ranking From semantic search to analytics and discovery on heterogeneous content: changing focus from documents and entities to relationships Complex relationships for the semantic web Semantic web processes: semantics enabled annotation, discovery, composition and orchestration of web scale processes ?-queries: enabling querying for semantic associations on the semantic web Intelligen: a distributed workflow system for discovering protein-protein interactions Exception handling for conflict resolution in cross-organizational workflows Performance analysis and simulation of composite web services Semantic (web) technology in action: ontology driven information systems for search, integration and analysis Web services: been there, done that? Semantic e-workflow composition Healthcare enterprise process development and integration Complex relationships and knowledge discovery support in the infoquilt system Semantic technology applications for homeland security Ontologies as a new cost factor in enterprise integration Workflow quality of service Xml-based modeling and simulation: web service technologies and their synergy with simulation Managing semantic content for the web Authorization and access control of application data in workflow systems Guest editor's introduction The p operator: discovering and ranking associations on the semantic web Amicalola report: database and information system research challenges and opportunities in semantic web and enterprises Planning and optimizing semantic information requests using domain modeling and resource characteristics Digital library services supporting information integration over the web Building successful human-centered systems Research in multi-organizational processes and semantic information brokering at the lsdis lab Exception handling in workflow systems Observer: an approach for query processing in global information systems based on interoperation across pre-existing ontologies Imprecise answers in distributed environments: estimation of information loss for multi-ontology based query processing A multilevel secure workflow management system Semantic information brokering: how can a multi-agent approach help? Searching distributed and heterogeneous digital media Processes driving the networked economy Infoharness: managing distributed, heterogeneous information Videoanywhere: a system for searching and managing distributed video assets Semantic interoperability in global information systems: a brief introduction to the research area and the special section Multimedia data management: using metadata to integrate and apply digital media Logical information modeling of web-accessible heterogeneous digital assets Zebra image access system Overview on using metadata to manage multimedia data Webwork: meteor$ \mbox 2 $'s web-based workflow management system Perspectives in modeling: simulation, database, and workflow From contemporary workflow process automation to adaptive and dynamic work activity coordination and collaboration Managing with less than absolute integrity The carnot heterogeneous database project: implemented applications Transactions in transactional workflows What's in a www link? - panel Managing multiple information sources through ontologies: relationship between vocabulary heterogeneity and loss of information Supporting state-wide immunisation tracking using multi-paradigm workflow technology Bellcore's adapt/x harness system for managing information on internet and intranets Metadata for building the multimedia patch quilt Scheduling workflows by enforcing intertask dependencies Bounding the effects of compensation under relaxed multi-level serializability Report from the nsf workshop on workflow and process automation in information systems Semantic and schematic similarities between database objects: a context-based approach Infoharness: use of automatically generated metadata for search and retrieval of heterogeneous information From data dirt roads to infocosmm Panel: data semantics: what, where and how? Modeling heterogeneous software components Workflow automation: applications, technology, and research (tutorial) Infoharness: a system for search and retrieval of heterogeneous information Simulation modeling within workflow technology Specification and execution of transactional workflows An overview of workflow management: from process modeling to workflow automation infrastructure Managing hetergeneous multi-system tasks to support enterprise-wide operations Transactional workflow management in distributed systems (invited paper) Semantics-based information brokering Ontolingua: a mechanism to support portable ontologies Using tickets to enforce the serializability of multidatabase transactions Transactional workflows: research, enabling technologies, and applications (abstract) Metadata for digital media: introduction to the special issue Ride-ims '93, thirst international workshop on research issues in data engineering: interoperability in multidatabase systems, vienna, austria, april 19-20, 1993 Correctness and enforcement of multidatabase interdependencies Concurrency control and recovery of multidatabase work flows in telecommunication applications Multidatabase interdependencies in industry Task scheduling using intertask dependencies in carot Specifying and enforcing intertask dependencies Q-data: using deductive database technology to improve data quality A framework for controlling cooperative agents Workflow support in carnot On transactional workflows On automatic reasoning for schema integration Structural integration: concepts and case study Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows So far (schematically) yet so near (semantically) Multidatabase applications: semantic and system issues Using flexible transactions to support multi-system telecommunication applications Using polytransactions to manage interdependent data Structural schema integration with full and partial correspondence using the dual model On serializability of multidatabase transactions through forced local conflicts The architecture of braid: a system for bridging ai/db systems On applying classification to schema integration Cooperative database design (panel) Federated database systems for managing distributed, heterogeneous, and autonomous databases Specifying interdatabase dependencies in a multidatabase environment An interactive transaction model for distributed cooperative tasks Polytransactions for managing independent data Updating relational views using knowledge at view definition and view update time Semantic issues in multidatabase systems - preface by the special issue editor Management of interdependent data: specifying dependency and consistency requirements Database research at bellcore Does loose ai-dbms coupling stand a chance? The interpreted-compiled range of ai/db systems Tailor, a tool for updating views A tool for integrating conceptual schemas and user views Managing and integrating unstructured and structured data: problems of representation, features, and abstraction (position paper) Performance analysis of resiliency mechanisms in distributed datbase systems Integrating locking and optimistic concurrency control in distributed database systems Deadlock detection algorithms in distributed database systems An analysis of the effect of network parameters on the performance of distributed database systems An adaptive concurrency control strategy for distributed database systems Pylonix: a database module for collaborative document management An access control mechanism for p2p collaborations A call for personal semantic data integration Data provenance: a categorization of existing approaches Architectural concerns for flexible data management The process of metadata modeling in industrial data warehouse environments Towards service-based database management systems Database technology: from systems to services? Design and implementation of a document database extension Ieip: an inter-enterprise integration platform for e-commerce based on web service mediation Tendax, a collaborative database-based real-time editor system The sirup ontology query api in action Detecting similarities in ontologies with the soqa-simpack toolkit Sesam: ensuring privacy for a interdisciplinary longitudinal study Generic similarity detection in ontologies with the soqa-simpack toolkit Unified querying of ontology languages with the sirup ontology query api Using text editing creation time meta data for document management Concept and prototype of a collaborative business process environment for document processing Universit \"a t z \"u rich ehrt den pionier der datenbank-anfragesprachen Mitteilungen der schweizer informatik gesellschaft - 1/2005 Supporting collaborative layouting in word processing User-specific semantic integration of heterogeneous data: the sirup approach Three decades of data integration - all problems solved? Dynamic collaborative business processes within documents Mitteilungen der schweizer informatik gesellschaft und si-veranstaltungskalender Informatik 2003 - innovative informatikanwendungen, band 1, beitr \"a ge der 33. jahrestagung der gesellschaft f \"u r informatik e.v. (gi), 29. september - 2. oktober 2003 in frankfurt am main Informatik 2003 - innovative informatikanwendungen, band 2, beitr \"a ge der 33. jahrestagung der gesellschaft f \"u r informatik e.v. (gi), 29. september - 2. oktober 2003 in frankfurt am main Operators and classification for data mapping in semantic integration Vorwort der herausgeber Samos in hindsight: experiences in building an active object-oriented dbms Mitteilungen der schweizer informatik gesellschaft - 6/2003 Event matching in symmetric subscription systems Query explorativeness for integrated search in heterogeneous data sources Schwerpunktthema: content management und digitale bibliotheken Special issue on advanced information systems engineering Editorial: informatik spektrum goes switzerland Data and application security, development and directions, ifip tc11/ wg11.3 fourteenth annual working conference on database security, schoorl, the netherlands, august 21-23, 2000 Objects and databases, international symposium, sophia antipolis, france, june 13, 2000, proceedings Advanced information systems engineering, 13th international conference, caise 2001, interlaken, switzerland, june 4-8, 2001, proceedings Query preprocessing for integrated search in heterogeneous data sources Version propagation in federated database systems Singapore: a system for querying heterogeneous data sources Metadata management for data warehousing: between vision and reality Component database systems: introduction, foundations, and overview Conclusions and perspectives Guest editorial: special issue on the 1st web information systems engineering conference (wise'00) Component database systems A query based approach for integrating heterogeneous data sources A meta model and an infrastructure for the non-transparent replication of object databases Algebraic database migration to object technology Databases in software engineering: a roadmap All together now: towards integrating the world's information systems Datenbanken und das www - lose gedanken zu mythen, wirklichkeit und tr \"a umen The sirius approach for refreshing data warehouses incrementally Modeling and executing the data warehouse refreshment process Workflow specification in trams Performance assessment Samos An overview and classification of mediated query systems Framboise - an approach to framework-based active database management system construction Defining the semantics of reactive components in event-driven workflow execution with event histories Bundling: towards a new construction paradigm for persistent systems Vldb'97, proceedings of 23rd international conference on very large data bases, august 25-29, 1997, athens, greece Datenbanksysteme in b \"u ro, technik und wissenschaft (btw), gi-fachtagung, ulm, 5.-7. m \"a rz 1997, proceedings Semantics of reactive components in event-driven workflow execution Data integration in engineering environments New and forgotten dreams in database research (panel) Graphical tools for rule development in the active dbms samos Investigating termination in active database systems with expressive rule languages Object-oriented dbms and beyond A storage server for the efficient support of complex objects Specification and implementation of consistency constraints in object-oriented database systems: applying programming-by-contract Einsatz und nutzen einer metaebene f \"u r f \"o derierte datenbanksysteme am beispiel der molekularbiologie Strategies and techniques: reusable artifacts for the construction of database management systems Argos - a configurable access control system for interoperable environments Design and implementation of process-oriented environments with brokers and services The active database management system manifesto: a rulebase of adbms features A designer's benchmark for active database management systems: oo7 meets the beast The samos active dbms prototype Where object-oriented dbmss should do better: a critique based on early experiences Objektorientierte datenbanksysteme - stand der technik Current trends in database technology and their impact on security concepts Perspectives on database security - panel summary Detecting composite events in active database systems using petri nets A federated dbms-based integrated environment for molecular biology Introduction to object-oriented database management systems An approach for building secure database federations Constructing the next 100 database management systems Objektidentifikation in heterogenen datenbanksystemen Eine ereignissprache f \"u r das aktive, objektorientierte datenbanksystem samos Complex subjects, or: the striving for complexity is ruling our world Object-oriented data model concepts Rule-based implementation of transaction model specifications Events in an active object-oriented database system Spezifikation und realisierung von transaktionssubsystemen in konfigurierbaren datenbankverwaltungssystemen Migration von konventionellen zu objektorientierten datenbanken: soll man, mu \ss man - oder nicht? An object-oriented integration framework for building heterogeneous database systems The object-oriented database system manifesto Samos: an active object-oriented database system On object-oriented database systems Objektstrukturen in datenbanksystemen \it der : auf der suche nach voller objektorientierung Integrating active concepts into an object-oriented database system Der kids-ansatz zur implementierung von datenbankverwaltungssystemen Object-oriented database systems: the notion and the issues Active database systems (abstract) Real-time databases (panel) The database community: submitting and publishing itself to death!? Damokles - architektur, implementierung, erfahrungen How to share work on shared objects in design databases Complex entities for engineering applications Object-oriented database systems: the next miles of the marathon Objektorientierte datenmodelle als basis komplexer anwendungssysteme - stand der entwicklung und einsatzperspektiven Design and implementation of kardamom - a set-oriented data flow database machine Verteilungsaspecte in strukturell objekt-orientierten datenbanksystemen f \"u r den einsatz in entwurfsanwendungen Objektorientierte datenbanksysteme - das aktuelle schlagwort Advances in object-oriented database systems, 2nd international workshop on object-oriented database systems, bad m \"u nster am stein-ebernburg, frg, september 27-30, 1988, proceedings Discretionary access control in structurally object-oriented database systems Supporting semantic rules by a generalized event/trigger mechanism Data bases and knowledge bases: which approach is good for what? - panel Two-level transaction management in a multiprocessor database machine Support for design processes in a structurally object-oriented database system Version support for engineering database systems Kardamom - a dataflow database machine for real-time applications Datenbankunterst \"u tzung f \"u r software-produktionsumgebungen