Remo Pareschi / Publications and Patents / April 22, 2014

Transcription

1 Remo Pareschi / Publications and Patents / April 22, 2014 Edited volumes Collective Intelligence (Intelligent Systems (Sistemi Intelligenti), Vol. 3, Year XXVI) Remo Pareschi, Vito Trianni (Editors), December 2014 Il Mulino; forthcoming The Extended Mind (Intelligent Systems (Sistemi Intelligenti), Vol. 1, Year XXIV) Massimo Marraffa, Remo Pareschi (Editors), April 2012 Il Mulino; ISBN: Dynamic Worlds: From the Frame Problem to Knowledge Management (Applied Logic Series, V. 12) Remo Pareschi, B. Fronhofer (Editors), February 1999 Kluwer Academic Publishers; ISBN: Information Technology for Knowledge Management Uwe Borghoff, Remo Pareschi (Editors) July 1998 Springer Verlag; ISBN: Object-Oriented Programming : 8th European Conference, Ecoop '94 Bologna, Italy, July 4-8, 1994 : Proceedings (Lecture Notes in Computer Science) Mario Tokoro, Remo Pareschi (Editors), August 1994, Springer Verlag; ISBN: Papers M. Rossetti, R. Pareschi, F. Stella, F. Arcelli Fontana Integrating Knowledge and Concepts in Large Content Networks. New Generation Computing, 33(1), (Special issue on Propagation Phenomena in Complex Networks, D. Krol editor) F. Arcelli Fontana, F. Formato, R. Pareschi, F. Stella On the Cognitive Evolution of Collective Intelligences: augmenting social interaction with cognitive agents. Intelligent Systems (Sistemi Intelligenti), Vol. 2, Year XXIV,

2 2010 F.Arcelli, F.Formato and R.Pareschi Information-driven Collective Intelligences. Proceedings of the International Conference on Computational Collective Intelligences, (ICCCI 10), Taiwan, Nov F.Arcelli, F.Formato, R.Pareschi Ontology Engineering: Co-evolution of Complex Networks with Ontologies. Proceedings of the Workshop on Ontologies for e-technology (OET 2009), Milan, Italy, May F.Arcelli, F.Formato, R.Pareschi Boosting Concept Discovery in Collective Intelligences. Proceedings of the International Conference on Brain Informatics (BI'09), Beijing, China, October 22-24, Lecture Notes on Artificial Intelligence, Springer, F.Arcelli, F.Formato, R.Pareschi Equalizing the Structures of Web Communities in Ontology Development Tools. Proceedings of the International Conference on Intelligent Systems Design and Applications, (ISDA 09), Pisa, November R. Pareschi Co-evolution of Communities and Ontologies. Intelligent Systems (Sistemi Intelligenti), Vol. 3, Year XX, F. Arcelli, F. Formato, R. Pareschi Reflecting Ontologies into Web Communities. Proceedings of the International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2008), Vienna, IEEE Computer Society, R. Pareschi Modeling Rationality and Emergence in Dynamic Networks. In Proc. of the ISCE Conference on Complex Systems, Stellenbosch, South Africa, From Enterprises-as-Networks to Networks of Enterprises: a modeling approach to enterprise evolution based on logi. In Proc. of the Workshop on Emergence, Evolution and Generation, 2

3 European Conference on Complexity, Oxford, UK, R. Pareschi Knowledge Management and Semantic Web. Intelligent Systems (Sistemi Intelligenti), Vol. 2, Year XI, F. Arcelli, F. Formato, and R. Pareschi Computational Models of Information Re-use. The Computer Journal, 42(7), U. M. Borghoff, R. Pareschi, F. Arcelli, and F. Formato Constraint-based protocols for distributed problem solving. Science of Computer Programming, 30(1-2), J.-M. Andreoli, F. Pacull, D. Pagani, R. Pareschi Multiparty negotiation of dynamic distributed object services. Science of Computer Programming, 31(2-3),1998. F. Arcelli, F. Formato, and R. Pareschi A Measure of Information Re-use for Distributed Protocols Computer Communications, Vol. 21, J.-M. Andreoli, S. Bistarelli, U. M. Borghoff, U. Montanari, R. Pareschi, F. Rossi Constraints and agents for a decentralized network infrastructure. In Proc. of Workshop on Constraints and Agents, AAAI, J.-M. Andreoli, F. Pacull, R. Pareschi XPect: a Framework for Electronic Commerce. IEEE Internet Computing, 1(4), J-M. Andreoli, R. Pareschi and T. Castagnetti Static analysis of linear logic programming. New Generation Computing, 15(4), J.-M. Andreoli, U. M. Borghoff, and R. Pareschi Signed Feature Constraint Solving. Proc. of the 3rd International Conference on the Practical Application of Constraint Technology, London,

4 U. M. Borghoff, P. Bottoni, P. Mussio, R. Pareschi Reflective agents for adaptive workflows. Proc. of the 2nd International Conference on the Practical Application of Intelligent Agents and Multiagent Technology, London, U. M. Borghoff, E. R. Hilf, R. Pareschi, T. Severiens, H. Stamerjohans, J. Willamowski Agent-based document retrieval for the european physicists: a project overview. Proc. of the 2nd International Conference on the Practical Application of Intelligent Agents and Multiagent Technology, London, U. M. Borghoff, R. Pareschi Information Technology for Knowledge Management. Journal of Universal Computer Science, 3(8), A. Grasso, J.-L. Meunier, D. Pagani, R. Pareschi Distributed coordination and workflow on the World Wide Web. International Journal of Computer Supported Cooperative Work, 6, J.-M. Andreoli, U. M. Borghoff, R. Pareschi The constraint-based knowledge broker model: semantics, implementation and analysis. Journal of Symbolic Computation. Vol. 22, J.-M. Andreoli, S. Freeman, R. Pareschi The coordinaton language facility: coordination of distributed objects. Theory and Practice of Object Systems, special issue on Distributed Object Management, 2(3),1996. Integrating computational paradigms for flexible client-server communication. Position paper published on ACM Computing Surveys, special issue on programming paradigms, June Flexible cordination of distributed active objects. Position paper presented at the ACM workshop on strategic computing directions, Cambridge, MS, 1996 U. M. Borghoff, P. Bottoni, P. Mussio, R. Pareschi A systemic metaphor of multi-agent coordination in living systems. In Proc. 19th European Simulation Multiconf. (ESM 96), Budapest, Hungary, U. M. Borghoff, R. Pareschi, H. Karch, M. Nohemeier, J. Schlichter Constraint-based information gathering for a network publication system. Proc. of the 1st International Conference on the Practical Application of Intelligent Agents and Multiagent Technology, London,

5 N. Glance, D. Pagani, R.Pareschi Generalized Process Structure Grammars for flexible representations of work. Proceedings of Computer Supported Collaborative Work 96, Cambridge, J.-M. Andreoli, U. M. Borghoff, R. Pareschi, J. Schlichter Constraint agents for the information age. Journal of Universal Computer Science, 1(12), J.-M. Andreoli, U. M. Borghoff, R. Pareschi Constraint-based knowledge brokers. In Proc. of PASCO 94, Linz, Austria, World Scientific, J.-M. Andreoli, H. Gallaire, R. Pareschi Rule-based Object Coordination. In Proc. of the ECOOP'94 workshop on Models and Languages for Coordination of Parallelism and Distribution, Lecture Notes in Computer Science (924), Springer, Bologna, Italy, J.-M. Andreoli, P. Ciancarini, R. Pareschi Interaction Abstract Machines. In G. Agha, A. Yonezawa, P. Wegner, editors, Research Directions in Concurrent Object Oriented Programming, MIT Press, J.-M. Andreoli, L. Leth, R. Pareschi, and B. Thomsen True concurrency semantics for a logic programming language based on broadcast communication. In Proc. of TAPSOFT'93, Lecture Notes in Computer Science (668), Springer, Orsay, France, 1993., T. Castagnetti Abstract interpretation of LO programs. Proceedings of ILPS 93, MIT Press, M. Bourgois, Extending objects with rules, composition and concurrency: 5

6 the LO experience, OOPSLA'92 workshop on Object-Oriented Programming Languages, Linear Objects: logical processes with built-in inheritance. New Generation Computing, 9(3-4), Communication as Fair Distribution of Knowledge. In Proc. of OOPSLA'91, ACM Press, Phoenix, Az, U.S.A., 1991., M. Bourgois Dynamic Programming as Multi-agent Programming. In Proc. of the OOPSLA'90/ECOOP'91 workshop on Object-based concurrent computing, Lecture Notes in Computer Science (612), Springer, Geneve, Switzerland, Formulae as Active Representation of Data. In Actes du 9eme Seminaire sur la Programmation en Logique, Tregastel, France, Linear Objects: logical processes with built-in inheritance. In Proc. of the 7th International Conference on Logic Programming, MIT Press, Jerusalem, Israel, J.-M. Andreoli, R. Pareschi LO and behold! concurrent structured processes. In Proc. of OOPSLA/ECOOP'90, ACM Press, Ottawa, Canada, Logic programming with sequent systems: a linear logic approach. In Proc. of the Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 475, Springer, Tuebingen, Germany, R. Pareschi, D. Miller Extending definite clause grammars with scoping constructs. In Proc. of the 7th International Conference on Logic Programming, MIT Press, Jerusalem, Israel,

7 1988 R. Pareschi A Definite Clause version of Categorial Grammar. In Proc. of the 26th Annual Meeting of the Association for Computational Linguistics, Buffalo, U.S.A., R. Pareschi, M. Steedman A Lazy Way to Chart-parse with Categorial Grammars. In Proc. of the 25th Annual Meeting of the Association for Computational Linguistics, Stanford, U.S.A., 1987 PhD Thesis Type-driven Natural Language Analysis, Department of Artificial Intelligence, University of Edinburgh Also available as technical report from University of Pennsylvania, Department of Computer and Information Sciences Patents Systems and methods providing flexible representations of work Patent number: Abstract: Workflow techniques for coordinating organizational processes by providing flexible representations of work using generalized process structure grammars (GPSG). The techniques take into account that, in reality, work evolves both horizontally, in the co-operation of causally unrelated, but information-sharing tasks, and vertically, in the co-ordination of causally-dependent activities. Process modeling involves (1) viewing documents and tasks as duals of each other, capturing horizontal co-operation; and (2) exploiting constraints to express the soft dependencies among related activities and documents within the framework of generative rule-based grammars for processes, thus handling vertical co-ordination. This alleviates or avoids rigidity arising in conventional workflow solutions in part from viewing work processes as unfolding along a single line of temporally chained activities. Type: Grant Filed: November 14, 1997 Issued: April 20, 2004 Assignee: Xerox Corporation Inventors: Remo Pareschi, Natalie S. Glance, Daniele Pagani, Jean-Marc Andreoli, Stefania Castellani, Gunnar Teege System and method for transferring attribute values between search queries in an information retrieval system Patent number: Abstract: An information retrieval system for retrieving information from multiple information sources. The information retrieval system provides for the building of dynamic queries through the use of query 7

8 channels. A query channel permits the passing of attributes of the search results between different queries. The query channel can cause the automatic passing of the attributes, or it can be user controlled (breakpoints). Further, the query results may be transformed so that they are in the context of the target query (computational transformations). For example, the results may be translated or reformatted into a form utilized by the target query. Query channels are created based on graphical representations of queries and their attributes. A simple drag and drop operation, wherein an attribute is selected and dragged to the target query, is used to create the channel. A channel may be created while a query is running. Type: Grant Filed: December 22, 1998 Issued: August 13, 2002 Assignee: Xerox Corporation Inventors: Jutta Williamowski, Remo Pareschi, Uwe M. Borghoff SEARCH CHANNELS BETWEEN QUERIES FOR USE IN AN INFORMATION RETRIEVAL SYSTEM Application number: Abstract: An information retrieval system for retrieving information from multiple information sources. The information retrieval system provides for the building of dynamic queries through the use of query channels. A query channel permits the passing of attributes of the search results between different queries. The query channel can cause the automatic passing of the attributes, or it can be user controlled (breakpoints). Further, the query results may be transformed so that they are in the context of the target query (computational transformations). For example, the results may be translated or reformatted into a form utilized by the target query. Query channels are created based on graphical representations of queries and their attributes. A simple drag and drop operation, wherein an attribute is selected and dragged to the target query, is used to create the channel. A channel may be created while a query is running. Type: Application Filed: December 22, 1998 Issued: March 14, 2002 Inventors: JUTTA WILLIAMOWSKI, REMO PARESCHI, UWE M. BORGHOFF 8