@phdthesis{dufour14phd, title = {Spatial-temporal qualitative reasoning from textual cases}, author = {Valmi Dufour-Lussier}, year = {2014}, school = {Université de Lorraine}, } @article{Minor2014103, title = "Process-oriented case-based reasoning", journal = "Information Systems", volume = "40", number = "0", pages = "103--105", year = "2014", issn = "0306-4379", author = "Mirjam Minor and Stefania Montani and Juan A. Recio-García" } @article{weber2005textual, title={Textual case-based reasoning}, author={Weber, Rosina O and Ashley, Kevin D and Br{\"u}ninghaus, Stefanie}, journal={Knowledge Engineering Review}, volume={20}, number={3}, pages={255--260}, year={2005}, publisher={Cambridge Univ Press} } % This file was created with JabRef 2.10. % Encoding: UTF-8 @Article{aalst03workflow, Title = {Workflow Patterns}, Author = {van der Aalst, Wil M. P. and ter Hofstede, Arthur H. M. and Kiepuszewski, Bartosz and Barros, Ana P.}, Journal = {Distributed and Parallel Databases}, Year = {2003}, Number = {1}, Pages = {5--51}, Volume = {14}, Doi = {10.1023/A:1022883727209}, ISSN = {0926-8782}, Keywords = {workflow; pattern; control flow; suitability; expressive power}, Language = {English}, Owner = {valmi}, Publisher = {Kluwer Academic Publishers}, Timestamp = {2013.07.13}, Url = {http://dx.doi.org/10.1023/A%3A1022883727209} } @Article{aamodt94case, Title = {Case-based reasoning: Foundational issues, methodological variations, and system approaches}, Author = {Aamodt, Agnar and Plaza, Enric}, Journal = {Artificial Intelligence Communications}, Year = {1994}, Number = {1}, Pages = {39--59}, Volume = {7}, Owner = {valmi}, Publisher = {IOS Press}, Timestamp = {2013.07.09} } @InCollection{adeyanju09case, Title = {Case Retrieval Reuse Net ({CR2N}): An Architecture for Reuse of Textual Solutions}, Author = {Adeyanju, Ibrahim and Wiratunga, Nirmalie and Lothian, Robert and Sripada, Somayajulu and Lamontagne, Luc}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer}, Year = {2009}, Editor = {McGinty, Lorraine and Wilson, David C.}, Pages = {14--28}, Series = {Lecture Notes in Computer Science}, Volume = {5650}, Doi = {10.1007/978-3-642-02998-1_3}, ISBN = {978-3-642-02997-4}, Language = {English}, Owner = {valmi}, Timestamp = {2014.10.21}, Url = {http://dx.doi.org/10.1007/978-3-642-02998-1_3} } @Article{alchourron85logic, Title = {On the Logic of Theory Change: Partial Meet Contraction and Revision Functions}, Author = {Alchourr\'on, Carlos E. and G\"ardenfors, Peter and Makinson, David}, Journal = {The Journal of Symbolic Logic}, Year = {1985}, Number = {2}, Pages = {510--530}, Volume = {50}, Abstract = {This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established.}, Copyright = {Copyright © 1985 Association for Symbolic Logic}, ISSN = {00224812}, Jstor_articletype = {research-article}, Jstor_formatteddate = {Jun., 1985}, Language = {English}, Owner = {valmi}, Publisher = {Association for Symbolic Logic}, Timestamp = {2013.07.22}, Url = {http://www.jstor.org/stable/2274239} } @Article{allen84towards, Title = {Towards a general theory of action and time }, Author = {James F. Allen}, Journal = {Artificial Intelligence }, Year = {1984}, Number = {2}, Pages = {123--154}, Volume = {23}, Abstract = {A formalism for reasoning about actions is proposed that is based on a temporal logic. It allows a much wider range of actions to be described than with previous approaches such as the situation calculus. This formalism is then used to characterize the different types of events, processes, actions, and properties that can be described in simple English sentences. In addressing this problem, we consider actions that involve non-activity as well as actions that can only be defined in terms of the beliefs and intentions of the actors. Finally, a framework for planning in a dynamic world with external events and multiple agents is suggested. }, Doi = {http://dx.doi.org/10.1016/0004-3702(84)90008-0}, ISSN = {0004-3702}, Owner = {valmi}, Timestamp = {2014.06.21}, Url = {http://www.sciencedirect.com/science/article/pii/0004370284900080} } @Article{allen83maintaining, Title = {Maintaining knowledge about temporal intervals}, Author = {Allen, James F.}, Journal = {Communications of the ACM}, Year = {1983}, Number = {11}, Pages = {832--843}, Volume = {26}, Owner = {valmi}, Publisher = {ACM}, Timestamp = {2013.07.05} } @InProceedings{allen81interval, Title = {An Interval-Based Representation of Temporal Knowledge.}, Author = {Allen, James F.}, Booktitle = {International Joint Conference on Artificial Intelligence}, Year = {1981}, Pages = {221--226}, Owner = {valmi}, Timestamp = {2013.07.09} } @InProceedings{appelt87bidirectional, Title = {Bidirectional grammars and the design of natural language generation systems}, Author = {Appelt, Douglas E.}, Booktitle = {Proceedings of the 1987 workshop on Theoretical issues in natural language processing}, Year = {1987}, Organization = {Association for Computational Linguistics}, Pages = {206--212}, Owner = {valmi}, Timestamp = {2014.06.22} } @InProceedings{badra09knowledge, Title = {Knowledge acquisition and discovery for the textual case-based cooking system {W}iki{T}aaable}, Author = {Badra, Fadi and Cojan, Julien and Cordier, Am{\'e}lie and Lieber, Jean and Meilender, Thomas and Mille, Alain and Molli, Pascal and Nauer, Emmanuel and Napoli, Amedeo and Skaf-Molli, Hala and Toussaint, Yannick}, Booktitle = {ICCBR 2009 Workshop Proceedings}, Year = {2009}, Editor = {Delany, Sarah Jane}, Month = Jul, Pages = {249--258}, Abstract = {{The textual case-based cooking systemWIKITAAABLE participates to the second Computer cooking contest (CCC). It is an extension of the TAAABLE system that has participated to the first CCC. WIKITAAABLE's architecture is composed of a semantic wiki used for the collaborative acquisition of knowledge (recipe, ontology, adaptation knowledge) and of a case-based inference engine using this knowledge for retrieving and adapting recipes. This architecture allows various modes of knowledge acquisition for case-based reasoning that are studied within the TAAABLE project. In particular, opportunistic adaptation knowledge discovery is an approach for interactive and semi-automatic learning of adaptation knowledge triggered by a feedback from the user.}}, Affiliation = {ORPAILLEUR - INRIA Lorraine - LORIA , Laboratoire d'InfoRmatique en Image et Syst{\`e}mes d'information - LIRIS , ECOO - INRIA Lorraine - LORIA}, Audience = {internationale }, File = {papier-soumission-taaable2.pdf:http\://hal.inria.fr/inria-00411508/PDF/papier-soumission-taaable2.pdf:PDF}, Hal_id = {inria-00411508}, Keywords = {textual case-based reasoning ; case-based cooking ; semantic wiki ; opportunistic knowledge acquisition}, Language = {Anglais}, Owner = {valmi}, Timestamp = {2013.08.30}, Url = {http://hal.inria.fr/inria-00411508} } @InProceedings{balbiani98model, Title = {A model for reasoning about bidimensional temporal relations}, Author = {Balbiani, Philippe and Condotta, Jean-François and Fariñas del Cerro, Luis}, Booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference}, Year = {1998}, Editor = {Cohn, Anthony G. and Schubert, Lenhart and Shapiro, Stuart C.}, Pages = {124--130}, Owner = {valmi}, Timestamp = {2013.08.29} } @InProceedings{balbiani00model, Title = {A model for reasoning about topologic relations between cyclic intervals}, Author = {Balbiani, Philippe and Osmani, Aomar}, Booktitle = {Knowledge Representation}, Year = {2000}, Pages = {378--385}, Owner = {valmi}, Timestamp = {2013.07.09} } @Article{bateman97sentence, Title = {Sentence generation and systemic grammar: an introduction}, Author = {Bateman, John A.}, Journal = {Iwanami Lecture Series: Language Sciences, Iwanami Shoten Publishers, Tokyo}, Year = {1997}, Owner = {valmi}, Timestamp = {2014.06.22} } @Article{beek92reasoning, Title = {Reasoning about qualitative temporal information}, Author = {van Beek, Peter}, Journal = {Artificial Intelligence}, Year = {1992}, Pages = {297--326}, Volume = {58}, Owner = {valmi}, Timestamp = {2014.06.26} } @Conference{beek90reasoning, Title = {Reasoning about qualitative temporal information}, Author = {van Beek, Peter}, Booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence}, Year = {1990}, Address = {Boston, Massachusetts}, Month = jul, Pages = {728--734}, Owner = {valmi}, Timestamp = {2014.06.26} } @InProceedings{bennett94spatial, Title = {Spatial Reasoning with Propositional Logics.}, Author = {Bennett, Brandon}, Booktitle = {Knowledge Representation}, Year = {1994}, Pages = {51--62}, Journal = {Knowledge Representation}, Owner = {valmi}, Timestamp = {2013.08.29} } @InCollection{bergmann11retrieval, Title = {Retrieval of Semantic Workflows with Knowledge Intensive Similarity Measures}, Author = {Bergmann, Ralph and Gil, Yolanda}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer Berlin Heidelberg}, Year = {2011}, Editor = {Ram, Ashwin and Wiratunga, Nirmalie}, Pages = {17--31}, Series = {Lecture Notes in Computer Science}, Volume = {6880}, Doi = {10.1007/978-3-642-23291-6_4}, ISBN = {978-3-642-23290-9}, Owner = {valmi}, Timestamp = {2013.07.16}, Url = {http://dx.doi.org/10.1007/978-3-642-23291-6_4} } @InProceedings{bergmann13macfac, Title = {{MAC/FAC} Retrieval of Semantic Workflows}, Author = {Bergmann, Ralph and Stromer, Alexander}, Booktitle = {The Twenty-Sixth International {FLAIRS} Conference}, Year = {2013}, Owner = {valmi}, Timestamp = {2013.07.27} } @Misc{berzak09natural, Title = {Natural Language Processing of Recipes}, Author = {Jenia Berzak and Dieu-Thu Le and Ripan Hermawan}, HowPublished = {Tutored project report}, Month = jun, Year = {2009}, Owner = {valmi}, Timestamp = {2014.10.16} } @InProceedings{bessiere96simple, Title = {A simple way to improve path consistency processing in interval algebra networks}, Author = {Bessière, Christian}, Booktitle = {Proceedings of the 13th national conference for artificial intelligence ({AAAI} 1996)}, Year = {1996}, Pages = {375--380}, Owner = {valmi}, Timestamp = {2014.06.26} } @InProceedings{bird06nltk, Title = {{NLTK}: the natural language toolkit}, Author = {Bird, Steven}, Booktitle = {Proceedings of the {COLING}/{ACL} conference on Interactive presentation sessions}, Year = {2006}, Organization = {Association for Computational Linguistics}, Pages = {69--72}, Owner = {valmi}, Timestamp = {2014.10.06} } @Article{bracchi84design, Title = {The design requirements of office systems}, Author = {Bracchi, Giampio and Pernici, Barbara}, Journal = {{ACM} Transactions on Information Systems}, Year = {1984}, Month = may, Number = {2}, Pages = {151--170}, Volume = {2}, Acmid = {357416}, Address = {New York, NY, USA}, Doi = {10.1145/521.357416}, ISSN = {1046-8188}, Issue_date = {April 1984}, Numpages = {20}, Owner = {valmi}, Publisher = {ACM}, Timestamp = {2013.07.13}, Url = {http://doi.acm.org/10.1145/521.357416} } @InProceedings{brill92simple, Title = {A simple rule-based part of speech tagger}, Author = {Brill, Eric}, Booktitle = {Workshop on Speech and Natural Language}, Year = {1992}, Organization = {Association for Computational Linguistics}, Pages = {112--116}, Owner = {valmi}, Timestamp = {2013.07.20} } @Article{campeanu03formal, Title = {A formal study of practical regular expressions}, Author = {C{\^a}mpeanu, Cezar and Salomaa, Kai and Yu, Sheng}, Journal = {International Journal of Foundations of Computer Science}, Year = {2003}, Number = {6}, Pages = {1007--1018}, Volume = {14}, Owner = {valmi}, Publisher = {World Scientific}, Timestamp = {2013.08.31} } @InCollection{carbonell83learning, Title = {Learning by Analogy: Formulating and Generalizing Plans from Past Experience}, Author = {Carbonell, Jaime G.}, Booktitle = {Machine Learning}, Publisher = {Springer Berlin Heidelberg}, Year = {1983}, Editor = {Michalski, Ryszard S and Carbonell, Jaime G and Mitchell, Tom M}, Pages = {137--161}, Series = {Symbolic Computation}, Volume = {1}, Doi = {10.1007/978-3-662-12405-5_5}, ISBN = {978-3-662-12407-9}, Language = {English}, Owner = {valmi}, Timestamp = {2013.07.10}, Url = {http://dx.doi.org/10.1007/978-3-662-12405-5_5} } @TechReport{carbonell85derivational, Title = {Derivational analogy : a theory of reconstructive problem solving and expertise acquisition}, Author = {Carbonell, Jaime G.}, Institution = {Carnegie Mellon University}, Year = {1985}, Number = {1534}, Owner = {valmi}, Timestamp = {2013.07.10} } @Article{chou94model, Title = {A model-based belief revision system}, Author = {Chou, Timothy S. C. and Winslett, Marianne}, Journal = {Journal of Automated Reasoning}, Year = {1994}, Number = {2}, Pages = {157--208}, Volume = {12}, Doi = {10.1007/BF00881886}, ISSN = {0168-7433}, Keywords = {Belief revision; update; algorithms}, Language = {English}, Owner = {valmi}, Publisher = {Kluwer Academic Publishers}, Timestamp = {2013.07.22}, Url = {http://dx.doi.org/10.1007/BF00881886} } @Article{clarke81calculus, Title = {A calculus of individuals based on connection}, Author = {Clarke, Bowman L.}, Journal = {Notre Dame Journal of Formal Logic Notre-Dame}, Year = {1981}, Number = {3}, Pages = {204--219}, Volume = {22}, Owner = {valmi}, Timestamp = {2013.08.29} } @Article{clifton-brown04miscanthus, Title = {Miscanthus biomass production for energy in Europe and its potential contribution to decreasing fossil fuel carbon emissions}, Author = {Clifton-Brown, John C. and Stampfl, Paul F. and Jones, Michael B.}, Journal = {Global Change Biology}, Year = {2004}, Number = {4}, Pages = {509--518}, Volume = {10}, Owner = {valmi}, Publisher = {Wiley Online Library}, Timestamp = {2013.08.23} } @Article{cohn97qualitative, Title = {Qualitative spatial representation and reasoning with the region connection calculus}, Author = {Cohn, Anthony G and Bennett, Brandon and Gooday, John and Gotts, Nicholas Mark}, Journal = {Geoinformatica}, Year = {1997}, Number = {3}, Pages = {275--316}, Volume = {1}, Owner = {valmi}, Publisher = {Springer}, Timestamp = {2013.08.29} } @InProceedings{cojan13revisor, Title = {Révisor : un ensemble de moteurs d'adaptation de cas par révision des croyances}, Author = {Julien Cojan and Valmi Dufour-Lussier and Alice Hermann and Florence {Le Ber} and Jean Lieber and Emmanuel Nauer and Gabin Personeni}, Booktitle = {Septièmes Journées d'Intelligence Artificielle Fondamentale}, Year = {2013}, Editor = {S{\'e}bastien Konieczny and Nicolas Maudet}, Pages = {77--86}, Owner = {valmi}, Timestamp = {2013.08.30} } @InCollection{cojan08conservative, Title = {Conservative Adaptation in Metric Spaces}, Author = {Cojan, Julien and Lieber, Jean}, Booktitle = {Advances in Case-Based Reasoning}, Publisher = {Springer Berlin Heidelberg}, Year = {2008}, Editor = {Althoff, Klaus-Dieter and Bergmann, Ralph and Minor, Mirjam and Hanft, Alexandre}, Pages = {135--149}, Series = {Lecture Notes in Computer Science}, Volume = {5239}, Doi = {10.1007/978-3-540-85502-6_9}, ISBN = {978-3-540-85501-9}, Keywords = {adaptation; belief revision; conservative adaptation; case representation; metric spaces}, Owner = {valmi}, Timestamp = {2013.07.05}, Url = {http://dx.doi.org/10.1007/978-3-540-85502-6_9} } @InCollection{cojan14applying, Title = {Applying belief revision to case-based reasoning}, Author = {Cojan, Julien and Lieber, Jean}, Booktitle = {Computational Approaches to Analogical Reasoning: Current Trends}, Publisher = {Springer}, Year = {2014}, Pages = {133--161}, Owner = {valmi}, Timestamp = {2015.04.24} } @InCollection{condotta09merging, Title = {Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms}, Author = {Condotta, Jean-François and Kaci, Souhila and Marquis, Pierre and Schwind, Nicolas}, Booktitle = {Spatial Information Theory}, Publisher = {Springer Berlin Heidelberg}, Year = {2009}, Editor = {Hornsby, KathleenStewart and Claramunt, Christophe and Denis, Michel and Ligozat, Gérard}, Pages = {106--123}, Series = {Lecture Notes in Computer Science}, Volume = {5756}, Doi = {10.1007/978-3-642-03832-7_7}, ISBN = {978-3-642-03831-0}, Owner = {valmi}, Timestamp = {2013.07.05}, Url = {http://dx.doi.org/10.1007/978-3-642-03832-7_7} } @InProceedings{condotta08framework, Title = {A Framework for Merging Qualitative Constraints Networks.}, Author = {Condotta, Jean-Fran{\c{c}}ois and Kaci, Souhila and Schwind, Nicolas}, Booktitle = {{FLAIRS} Conference}, Year = {2008}, Pages = {586--591}, Owner = {valmi}, Timestamp = {2013.07.05} } @InProceedings{condotta06empirical, Title = {Empirical study of algorithms for qualitative temporal or spatial constraint networks}, Author = {Condotta, Jean-Fran{\c{c}}ois and Ligozat, G{\'e}rard and Saade, Mahmoud}, Booktitle = {Workshop on Spatial and Temporal Reasoning}, Year = {2006}, Owner = {valmi}, Review = {présente et analyse plusieurs algos}, Timestamp = {2014.05.04} } @InBook{cordier13successful, Title = {Successful Case-based Reasoning Applications}, Author = {Amélie Cordier and Valmi Dufour-Lussier and Jean Lieber and Emmanuel Nauer and Fadi Badra and Julien Cojan and Emmanuelle Gaillard and Laura Infante-Blanco and Pascal Molli and Amedeo Napoli and Hala Skaf-Molli}, Chapter = {{\sc Taaable}: a Case-Based System for personalized Cooking}, Editor = {Montani, Stefania}, Publisher = {Springer Berlin Heidelberg}, Year = {2013}, Note = {In press}, Series = {Studies in Computational Intelligence}, Owner = {valmi}, Timestamp = {2013.07.08} } @InProceedings{dalmeida12neighborhood, Title = {On the Neighborhood and Distance Between Qualitative Spatio-temporal Configurations}, Author = {Dominique D'Almeida and Mouny Samy Modeliar and Nicolas Schwind}, Booktitle = {International Workshop on Spatio-Temporal Dynamics}, Year = {2012}, Pages = {53--60}, Keywords = {spatial and temporal reasoning, reasoning about action and change, space actions and change, dynamic spatial systems, spatio-temporal dynamics, GIS, smart environments, cognitive robotics, spatial design, commonsense reasoning}, Owner = {valmi}, Place = {Montpellier, France}, Timestamp = {2013.07.23}, Url = {http://cindy.informatik.uni-bremen.de/cosy/stedy/workshops/ecai12/announcement.html} } @InProceedings{dalal88investigations, Title = {Investigations into a theory of knowledge base revision: preliminary report}, Author = {Dalal, Mukesh}, Booktitle = {Proceedings of the Seventh National Conference on Artificial Intelligence}, Year = {1988}, Pages = {475--479}, Owner = {valmi}, Timestamp = {2013.07.22} } @Article{dechter91temporal, Title = {Temporal constraint networks }, Author = {Rina Dechter and Itay Meiri and Judea Pearl}, Journal = {Artificial Intelligence }, Year = {1991}, Number = {1–3}, Pages = {61--95}, Volume = {49}, Doi = {http://dx.doi.org/10.1016/0004-3702(91)90006-6}, ISSN = {0004-3702}, Owner = {valmi}, Timestamp = {2013.07.12}, Url = {http://www.sciencedirect.com/science/article/pii/0004370291900066} } @Article{dojat98scenario, Title = {Scenario recognition for temporal reasoning in medical domains }, Author = {Michel Dojat and Nicolas Ramaux and Dominique Fontaine}, Journal = {Artificial Intelligence in Medicine }, Year = {1998}, Note = {Selected Papers from {AIME} '97}, Number = {1–2}, Pages = {139--155}, Volume = {14}, Doi = {http://dx.doi.org/10.1016/S0933-3657(98)00020-7}, ISSN = {0933-3657}, Keywords = {Temporal reasoning}, Owner = {valmi}, Timestamp = {2013.07.12}, Url = {http://www.sciencedirect.com/science/article/pii/S0933365798000207} } @InCollection{dufour-lussier14parsing, Title = {Parsing Coordination Extragrammatically}, Author = {Dufour-Lussier, Valmi and Guillaume, Bruno and Perrier, Guy}, Booktitle = {Human Language Technology Challenges for Computer Science and Linguistics}, Publisher = {Springer}, Year = {2014}, Editor = {Vetulani, Zygmunt and Mariani, Joseph}, Pages = {55--66}, Series = {{LNCS}}, Volume = {8387}, Doi = {10.1007/978-3-319-08958-4_5}, ISBN = {978-3-319-08957-7}, Language = {English}, Owner = {valmi}, Timestamp = {2014.10.01}, Url = {http://dx.doi.org/10.1007/978-3-319-08958-4_5} } @InProceedings{dufour-lussier14belief, Title = {Belief revision in the propositional closure of a qualitative algebra}, Author = {Valmi Dufour-Lussier and Alice Hermann and Florence {Le Ber} and Jean Lieber}, Booktitle = {14th International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2014)}, Year = {2014}, Address = {Vienna, Austria}, Publisher = {{AAAI} Press}, Owner = {valmi}, Timestamp = {2014.06.15} } @InProceedings{dufour-lussier14revision, Title = {Révision des croyances dans la clôture propositionnelle d'une algèbre qualitative}, Author = {Valmi Dufour-Lussier and Alice Hermann and Florence {Le Ber} and Jean Lieber}, Booktitle = {Journées d'intelligence artificielle fondamentale ({IAF} 2014)}, Year = {2014}, Address = {Angers, France}, Pages = {117--128}, Owner = {valmi}, Timestamp = {2014.06.15} } @InProceedings{dufour-lussier12extension, Title = {Extension du formalisme des flux op{\'e}rationnels par une alg{\`e}bre temporelle}, Author = {Dufour-Lussier, Valmi and Le Ber, Florence and Lieber, Jean}, Booktitle = {Sixi{\`e}mes Journ{\'e}es de l'Intelligence Artificielle Fondamentale (IAF 2012)}, Year = {2012}, Address = {Toulouse, France}, Editor = {S{\'e}bastien Konieczny}, Month = may, Pages = {133--142}, Abstract = {{Workflows constitute an important language to represent knowledge about processes, but also increasingly to reason on such knowledge. On the other hand, there is a limit to which time constraints between activities can be expressed. Qualitative interval algebras can model processes using finer temporal relations, but they cannot reproduce all workflow patterns. This paper defines a common ground model-theoretical semantics for both workflows and interval algebras, making it possible for reasoning systems working with either to interoperate. Thanks to this, interesting properties and inferences can be defined, both on workflows and on an extended formalism combining workflows with interval algebras. Finally, similar formalisms proposing a sound formal basis for workflows and extending them are discussed.}}, Affiliation = {ORPAILLEUR - INRIA Nancy - Grand Est / LORIA , Laboratoire d'Hydrologie et de G{\'e}ochimie de Strasbourg - LHyGeS}, Audience = {nationale }, File = {main.pdf:http\://hal.inria.fr/hal-00712978/PDF/main.pdf:PDF}, Hal_id = {hal-00712978}, Language = {Fran{\c c}ais}, Owner = {valmi}, Timestamp = {2013.07.16}, Url = {http://hal.inria.fr/hal-00712978} } @InCollection{dufour-lussier12adapting, Title = {Adapting Spatial and Temporal Cases}, Author = {Dufour-Lussier, Valmi and Le Ber, Florence and Lieber, Jean and Martin, Laura}, Booktitle = {Case-Based Reasoning Research and Development (ICCBR 2012)}, Publisher = {Springer}, Year = {2012}, Editor = {Agudo, BelénDíaz and Watson, Ian}, Pages = {77--91}, Series = {Lecture Notes in Computer Science}, Volume = {7466}, Doi = {10.1007/978-3-642-32986-9_8}, ISBN = {978-3-642-32985-2}, Keywords = {adaptation; case-based reasoning; qualitative algebra; spatial reasoning; temporal reasoning}, Owner = {valmi}, Timestamp = {2013.07.16}, Url = {http://dx.doi.org/10.1007/978-3-642-32986-9_8} } @InProceedings{dufour-lussier13case, Title = {Case Adaptation with Qualitative Algebras}, Author = {Dufour-Lussier, Valmi and Le Ber, Florence and Lieber, Jean and Martin, Laura}, Booktitle = {International Joint Conference on Artificial Intelligence (IJCAI 2013)}, Year = {2013}, Address = {Beijing, China}, Editor = {Rossi, Francesca}, Month = aug, Pages = {3002--3006}, Publisher = {{AAAI}}, Owner = {valmi}, Timestamp = {2013.08.30} } @Article{dufour-lussier13automatic, Title = {Automatic case acquisition from texts for process-oriented case-based reasoning }, Author = {Valmi Dufour-Lussier and Florence {Le Ber} and Jean Lieber and Emmanuel Nauer}, Journal = {Information Systems}, Year = {2014}, Month = {mar}, Pages = {153--167}, Abstract = {This paper introduces a method for the automatic acquisition of a rich case representation from free text for process-oriented case-based reasoning. Case engineering is among the most complicated and costly tasks in implementing a case-based reasoning system. This is especially so for process-oriented case-based reasoning, where more expressive case representations are generally used and, in our opinion, actually required for satisfactory case adaptation. In this context, the ability to acquire cases automatically from procedural texts is a major step forward in order to reason on processes. We therefore detail a methodology that makes case acquisition from processes described as free text possible, with special attention given to assembly instruction texts. This methodology extends the techniques we used to extract actions from cooking recipes. We argue that techniques taken from natural language processing are required for this task, and that they give satisfactory results. An evaluation based on our implemented prototype extracting workflows from recipe texts is provided. }, Doi = {http://dx.doi.org/10.1016/j.is.2012.11.014}, ISSN = {0306-4379}, Keywords = {Automatic case acquisition}, Owner = {valmi}, Timestamp = {2013.07.20}, Url = {http://www.sciencedirect.com/science/article/pii/S0306437912001573} } @InCollection{dufour-lussier10text, Title = {Text Adaptation Using Formal Concept Analysis}, Author = {Dufour-Lussier, Valmi and Lieber, Jean and Nauer, Emmanuel and Toussaint, Yannick}, Booktitle = {Case-Based Reasoning. Research and Development (ICCBR 2010)}, Publisher = {Springer}, Year = {2010}, Editor = {Bichindaritz, Isabelle and Montani, Stefania}, Pages = {96--110}, Series = {Lecture Notes in Computer Science}, Volume = {6176}, Doi = {10.1007/978-3-642-14274-1_9}, ISBN = {978-3-642-14273-4}, Keywords = {formal concept analysis; natural language processing; text mining; textual case-based reasoning}, Owner = {valmi}, Timestamp = {2013.08.30}, Url = {http://dx.doi.org/10.1007/978-3-642-14274-1_9} } @Article{ellis80office, Title = {Office Information Systems and Computer Science}, Author = {Ellis, Clarence A. and Nutt, Gary J.}, Journal = {{ACM} Computing Surveys}, Year = {1980}, Month = mar, Number = {1}, Pages = {27--60}, Volume = {12}, Acmid = {356805}, Address = {New York, NY, USA}, Doi = {10.1145/356802.356805}, ISSN = {0360-0300}, Issue_date = {March 1980}, Numpages = {34}, Owner = {valmi}, Publisher = {ACM}, Timestamp = {2013.07.13}, Url = {http://doi.acm.org/10.1145/356802.356805} } @Book{francis82frequency, Title = {Frequency Analysis of English Usage}, Author = {Francis, Winthrop Nelson and Ku\v{c}era, Henry}, Publisher = {Houghton Mifflin Company}, Year = {1982}, Citeulike-article-id = {930447}, Keywords = {bibtex-import}, Owner = {valmi}, Posted-at = {2006-11-06 08:06:37}, Priority = {2}, Timestamp = {2014.06.26} } @InProceedings{fressmann05cbr, Title = {{CBR}-based Execution and Planning Support for Collaborative Workflows}, Author = {Fre{ß}mann, Andrea and Maximini, Kerstin and Maximini, Rainer and Sauer, Thomas}, Booktitle = {6th International Conference on Case-Based Reasoning Workshop Proceedings}, Year = {2005}, Editor = {Brüninghaus, Stefanie}, Pages = {271--280}, Publisher = {Springer}, Owner = {valmi}, Timestamp = {2013.07.16}, Url = {http://www.wi2.uni-trier.de/publications/2005_ICCBR05_fressmann.pdf} } @Article{freksa92temporal, Title = {Temporal reasoning based on semi-intervals }, Author = {Christian Freksa}, Journal = {Artificial Intelligence }, Year = {1992}, Number = {1–2}, Pages = {199--227}, Volume = {54}, Abstract = {A generalization of Allen's interval-based approach to temporal reasoning is presented. The notion of ‘conceptual neighborhood’ of qualitative relations between events is central to the presented approach. Relations between semi-intervals rather than intervals are used as the basic units of knowledge. Semi-intervals correspond to temporal beginnings or endings of events. We demonstrate the advantages of reasoning on the basis of semi-intervals: (1) semi-intervals are rather natural entities both from a cognitive and from a computational point of view; (2) coarse knowledge can be processed directly; computational effort is saved; (3) incomplete knowledge about events can be fully exploited; (4) incomplete inferences made on the basis of complete knowledge can be used directly for further inference steps; (5) there is no trade-off in computational strength for the added flexibility and efficiency; (6) for a natural subset of Allen's algebra, global consistency can be guaranteed in polynomial time; (7) knowledge about relations between events can be represented much more compactly. }, Doi = {http://dx.doi.org/10.1016/0004-3702(92)90090-K}, ISSN = {0004-3702}, Owner = {valmi}, Timestamp = {2013.07.13}, Url = {http://www.sciencedirect.com/science/article/pii/000437029290090K} } @Book{friedl06mastering, Title = {Mastering regular expressions}, Author = {Friedl, Jeffrey}, Publisher = {O'Reilly}, Year = {2006}, Owner = {valmi}, Timestamp = {2013.08.31} } @InProceedings{fuchs09cooking, Title = {Cooking Cake}, Author = {Fuchs, Christian and Gimmler, Christoph and G{\"u}nther, Simon and Holthof, Lukas and Bergmann, Ralph}, Booktitle = {{ICCBR} 2009 Workshop Proceedings}, Year = {2009}, Pages = {259--268}, Volume = {9}, Owner = {valmi}, Timestamp = {2013.07.05} } @InBook{gardenfors92belief, Title = {Belief Revision: An introduction}, Author = {Peter G{\"a}rdenfors}, Chapter = {1}, Publisher = {Cambridge University Press}, Year = {1992}, Booktitle = {{Belief Revision}}, Owner = {valmi}, Timestamp = {2014.06.17} } @Book{gardenfors88knowledge, Title = {Knowledge in flux: Modeling the dynamics of epistemic states.}, Author = {Peter G{\"a}rdenfors}, Publisher = {{MIT} Press}, Year = {1988}, Owner = {valmi}, Timestamp = {2014.06.17} } @incollection{gaillard14tuuurbine, title={Tuuurbine: A generic {CBR} engine over {RDFS}}, author={Gaillard, Emmanuelle and Infante-Blanco, Laura and Lieber, Jean and Nauer, Emmanuel}, booktitle={Case-Based Reasoning Research and Development}, pages={140--154}, year={2014}, publisher={Springer} } @InProceedings{gantner08gqr, Title = {{GQR}: A fast reasoner for binary qualitative constraint calculi}, Author = {Gantner, Zeno and Westphal, Matthias and W{\"o}lfl, Stefan}, Booktitle = {{AAAI}'08 Workshop on Spatial and Temporal Reasoning}, Year = {2008}, Volume = {8}, Owner = {valmi}, Timestamp = {2013.08.30} } @InProceedings{gardent07symbolic, Title = {A Symbolic Approach to Near-Deterministic Surface Realisation using Tree Adjoining Grammar}, Author = {Gardent, Claire and Kow, Eric}, Booktitle = {45th Annual Meeting of the Association for Computational Linguistics ({ACL} 2007)}, Year = {2007}, Address = {Prague, Czech Republic}, Month = Jun, Pages = {328-335}, Publisher = {Association for Computational Linguistics}, Abstract = {{Surface realisers divide into those used in generation (NLG geared realisers) and those mirroring the parsing process (Reversible realisers). While the first rely on grammars not easily usable for parsing, it is unclear how the second type of realisers could be parameterised to yield from among the set of possible paraphrases, the paraphrase appropriate to a given generation context. In this paper, we present a surface realiser which combines a reversible grammar (used for parsing and doing semantic construction) with a symbolic means of selecting paraphrases.}}, Affiliation = {TALARIS - INRIA Nancy - Grand Est / LORIA}, Audience = {internationale }, File = {acl07-garkow.pdf:http\://hal.inria.fr/inria-00149366/PDF/acl07-garkow.pdf:PDF}, Hal_id = {inria-00149366}, Keywords = {generation; TAG; paraphrase}, Language = {Anglais}, Owner = {valmi}, Timestamp = {2014.06.22}, Url = {http://hal.inria.fr/inria-00149366} } @InProceedings{gervas07role, Title = {The role of natural language generation during adaptation in textual {CBR}}, Author = {Gervás, Pablo and Raquel Hervás and Recio-García, Juan Antonio}, Booktitle = {4th Workshop on Textual Case-Based Reasoning: Beyond Retrieval ({ICCBR} 2007)}, Year = {2007}, Pages = {227--235}, Owner = {valmi}, Timestamp = {2014.10.21} } @Article{grove88two, Title = {Two modellings for theory change}, Author = {Grove, Adam}, Journal = {Journal of Philosophical Logic}, Year = {1988}, Number = {2}, Pages = {157--170}, Volume = {17}, Doi = {10.1007/BF00247909}, ISSN = {0022-3611}, Language = {English}, Owner = {valmi}, Publisher = {Kluwer Academic Publishers}, Timestamp = {2014.06.16}, Url = {http://dx.doi.org/10.1007/BF00247909} } @Conference{hanft11integration, Title = {Integration of Drools into an {OSGI}-based {BPM}-platform for {CBR}}, Author = {Alexandre Hanft and Oliver Sch\"afer and Klaus-Dieter Althoff}, Booktitle = {Process-oriented Case-Based Reasoning ({ICCBR} workshop)}, Year = {2011}, Editor = {Mirjam Minor and Stefania Montani and Recio-Garcia, Juan A}, Pages = {121--130}, Owner = {valmi}, Timestamp = {2013.07.13} } @InProceedings{harper76rational, Title = {Rational conceptual change}, Author = {Harper, William L.}, Booktitle = {Proceedings of the Biennial Meeting of the Philosophy of Science Association}, Year = {1976}, Pages = {462--494}, Owner = {valmi}, Timestamp = {2014.06.17} } @Article{hart68formal, Title = {A Formal Basis for the Heuristic Determination of Minimum Cost Paths}, Author = {Hart, Peter E. and Nilsson, Nils J. and Raphael, Bertram}, Journal = {{IEEE} Transactions on Systems Science and Cybernetics}, Year = {1968}, Number = {2}, Pages = {100--107}, Volume = {4}, Abstract = {Although the problem of determining the minimum cost path through a graph arises naturally in a number of interesting applications, there has been no underlying theory to guide the development of efficient search procedures. Moreover, there is no adequate conceptual framework within which the various ad hoc search strategies proposed to date can be compared. This paper describes how heuristic information from the problem domain can be incorporated into a formal mathematical theory of graph searching and demonstrates an optimality property of a class of search strategies.}, Doi = {10.1109/TSSC.1968.300136}, ISSN = {0536-1567}, Keywords = {Automatic control;Automatic programming;Chemical technology;Costs;Functional programming;Gradient methods;Instruction sets;Mathematical programming;Minimax techniques;Minimization methods}, Owner = {valmi}, Timestamp = {2013.08.30} } @Article{hillier09greenhouse, Title = {Greenhouse gas emissions from four bioenergy crops in England and Wales: integrating spatial estimates of yield and soil carbon balance in life cycle analyses}, Author = {Hillier, Jonathan and Whittaker, Carly and Dailey, Gordon and Aylott, Matthew and Casella, Eric and Richter, Goetz M and Riche, Andrew and Murphy, Richard and Taylor, Gail and Smith, Pete}, Journal = {{GCB} Bioenergy}, Year = {2009}, Number = {4}, Pages = {267--281}, Volume = {1}, Owner = {valmi}, Publisher = {Wiley Online Library}, Timestamp = {2013.08.23} } @InProceedings{hue12revising, Title = {Revising Qualitative Constraint Networks: Definition and Implementation}, Author = {Hu\'e, Julien and Westphal, Matthias}, Booktitle = {Tools with Artificial Intelligence ({ICTAI})}, Year = {2012}, Pages = {548--555}, Abstract = {Qualitative Spatial and Temporal Reasoning is a central topic in Artificial Intelligence. In particular, it is aimed at application scenarios dealing with uncertain information and thus needs to be able to handle dynamic beliefs. This makes merging and revision of qualitative information important topics. While merging has been studied extensively, revision which describes what is happening when one learns new information about a static world has been overlooked. In this paper, we propose to fill the gap by providing two revision operations for qualitative calculi. In order to implement these operations, we give algorithms for revision and analyze the computational complexity of these problems. Finally, we present an implementation of these algorithms based on a qualitative constraint solver and provide an experimental evaluation.}, Doi = {10.1109/ICTAI.2012.80}, ISSN = {1082-3409}, Keywords = {computational complexity;constraint handling;spatial reasoning;temporal reasoning;artificial intelligence;computational complexity;dynamic belief handling;qualitative calculi;qualitative constraint networks;qualitative constraint solver;qualitative information;qualitative spatial reasoning;qualitative temporal reasoning;revision operations;uncertain information;Belief Revision;Qualitative Reasoning;Spatio and temporal reasoning}, Owner = {valmi}, Timestamp = {2013.07.13} } @InProceedings{huang12sat, Title = {{SAT} vs. Search for Qualitative Temporal Reasoning}, Author = {Huang, Jinbo}, Booktitle = {{ECAI}}, Year = {2012}, Pages = {426--431}, Owner = {valmi}, Timestamp = {2014.02.28} } @Article{huang13decomposition, Title = {Decomposition and tractability in qualitative spatial and temporal reasoning }, Author = {Jinbo Huang and Jason Jingshi Li and Jochen Renz}, Journal = {Artificial Intelligence }, Year = {2013}, Pages = {140--164}, Volume = {195}, Doi = {http://dx.doi.org/10.1016/j.artint.2012.09.009}, ISSN = {0004-3702}, Keywords = {Qualitative spatial and temporal reasoning}, Owner = {valmi}, Timestamp = {2014.02.28}, Url = {http://www.sciencedirect.com/science/article/pii/S000437021200121X} } @InCollection{iordanskaja91lexical, Title = {Lexical Selection and Paraphrase in a Meaning-Text Generation Model}, Author = {Iordanskaja, Lidija and Kittredge, Richard and Polguère, Alain}, Booktitle = {Natural Language Generation in Artificial Intelligence and Computational Linguistics}, Publisher = {Springer}, Year = {1991}, Editor = {Paris, Cécile L. and Swartout, William R. and Mann, William C.}, Pages = {293-312}, Series = {The Kluwer International Series in Engineering and Computer Science}, Volume = {119}, Doi = {10.1007/978-1-4757-5945-7_11}, ISBN = {978-1-4419-5125-0}, Language = {English}, Owner = {valmi}, Timestamp = {2014.06.22}, Url = {http://dx.doi.org/10.1007/978-1-4757-5945-7_11} } @InCollection{jaere02representing, Title = {Representing Temporal Knowledge for Case-Based Prediction}, Author = {J\ae{}re, Martha Dørum and Aamodt, Agnar and Skalle, Pål}, Booktitle = {Advances in Case-Based Reasoning}, Publisher = {Springer Berlin Heidelberg}, Year = {2002}, Editor = {Craw, Susan and Preece, Alun}, Pages = {174--188}, Series = {Lecture Notes in Computer Science}, Volume = {2416}, Doi = {10.1007/3-540-46119-1_14}, ISBN = {978-3-540-44109-0}, Language = {English}, Owner = {valmi}, Review = {Application : prédire des événements indésirables dans le creusage de puits de pétrole Système Creek Représentation de cas basées sur Allen, mais beaucoup d'autres relations sémantiques Serait le premier à utiliser intervalles en CBR d'après eux N'utilise pas vraiment toute la puissance expressive du formalisme "An advantage of using intervals is that the representation becomes close to the way the human expert reasons in domains where qualitative changes of parameters over time are important."}, Timestamp = {2013.07.12}, Url = {http://dx.doi.org/10.1007/3-540-46119-1_14} } @InProceedings{jaczynski97framework, Title = {A framework for the management of past experiences with time-extended situations}, Author = {Jaczynski, Michel}, Booktitle = {Proceedings of the sixth international conference on Information and knowledge management}, Year = {1997}, Organization = {ACM}, Pages = {32--39}, Owner = {valmi}, Timestamp = {2013.07.12} } @Book{jurafsky09speech, Title = {Speech and Language Processing}, Author = {Daniel Jurafsky and Martin, James H.}, Publisher = {Prentice Hall}, Year = {2009}, Owner = {valmi}, Timestamp = {2013.07.20} } @InCollection{kapetanakis10case, Title = {A Case Based Reasoning Approach for the Monitoring of Business Workflows}, Author = {Kapetanakis, Stelios and Petridis, Miltos and Knight, Brian and Ma, Jixin and Bacon, Liz}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer Berlin Heidelberg}, Year = {2010}, Editor = {Bichindaritz, Isabelle and Montani, Stefania}, Pages = {390--405}, Series = {Lecture Notes in Computer Science}, Volume = {6176}, Doi = {10.1007/978-3-642-14274-1_29}, ISBN = {978-3-642-14273-4}, Keywords = {Case Based Reasoning; Business Workflows; Temporal Reasoning; Graph Similarity}, Owner = {valmi}, Timestamp = {2013.07.12}, Url = {http://dx.doi.org/10.1007/978-3-642-14274-1_29} } @Article{karp11meeting, Title = {Meeting the challenge of food and energy security}, Author = {Karp, Angela and Richter, Goetz M.}, Journal = {Journal of Experimental Botany}, Year = {2011}, Number = {10}, Pages = {3263--3271}, Volume = {62}, Owner = {valmi}, Publisher = {Soc Experiment Biol}, Timestamp = {2013.08.23} } @Article{katsuno91propositional, Title = {Propositional knowledge base revision and minimal change }, Author = {Hirofumi Katsuno and Alberto O. Mendelzon}, Journal = {Artificial Intelligence }, Year = {1991}, Number = {3}, Pages = {263--294}, Volume = {52}, Abstract = {The semantics of revising knowledge bases represented by sets of propositional sentences is analyzed from a model-theoretic point of view. A characterization of all revision schemes that satisfy the Gärdenfors rationality postulates is given in terms of minimal change with respect to an ordering among interpretations. Revision methods proposed by various authors are surveyed and analyzed in this framework. The correspondences between Gärdenfors-like rationality postulates and minimal changes with respect to other orderings are also investigated. }, Doi = {http://dx.doi.org/10.1016/0004-3702(91)90069-V}, ISSN = {0004-3702}, Owner = {valmi}, Timestamp = {2013.07.22}, Url = {http://www.sciencedirect.com/science/article/pii/000437029190069V} } @InProceedings{kautz91integrating, Title = {Integrating Metric and Qualitative Temporal Reasoning.}, Author = {Kautz, Henry A and Ladkin, Peter B}, Booktitle = {{AAAI}}, Year = {1991}, Pages = {241--246}, Volume = {91}, Owner = {valmi}, Timestamp = {2013.07.12} } @InProceedings{kay75syntactic, Title = {Syntactic processing and functional sentence perspective}, Author = {Kay, Martin}, Booktitle = {Proceedings of the 1975 workshop on Theoretical issues in natural language processing}, Year = {1975}, Organization = {Association for Computational Linguistics}, Pages = {12--15}, Owner = {valmi}, Timestamp = {2014.06.23} } @InCollection{kleene56representation, Title = {Representation of events in nerve nets and finite automata}, Author = {Kleene, Stephen Cole}, Booktitle = {Automata studies}, Publisher = {Princeton University Press}, Year = {1956}, Editor = {C. E. Shannon and J. McCarthy}, Owner = {valmi}, Timestamp = {2013.08.31} } @InCollection{kosseim96generating, Title = {Generating grammatical and lexical anaphora in assembly instructional texts}, Author = {Kosseim, Leila and Tutin, Agnès and Kittredge, Richard and Lapalme, Guy}, Booktitle = {Trends in Natural Language Generation An Artificial Intelligence Perspective}, Publisher = {Springer}, Year = {1996}, Editor = {Adorni, Giovanni and Zock, Michael}, Pages = {260--276}, Series = {Lecture Notes in Computer Science}, Volume = {1036}, Doi = {10.1007/3-540-60800-1_34}, ISBN = {978-3-540-60800-4}, Language = {English}, Owner = {valmi}, Timestamp = {2014.06.23}, Url = {http://dx.doi.org/10.1007/3-540-60800-1_34} } @InProceedings{ladkin86time, Title = {Time Representation: A Taxonomy of Internal Relations.}, Author = {Ladkin, Peter B.}, Booktitle = {{AAAI}}, Year = {1986}, Pages = {360--366}, Owner = {valmi}, Timestamp = {2013.07.12} } @InCollection{lamontagne04textual, Title = {Textual Reuse for Email Response}, Author = {Lamontagne, Luc and Lapalme, Guy}, Booktitle = {Advances in Case-Based Reasoning}, Publisher = {Springer}, Year = {2004}, Editor = {Funk, Peter and González Calero, Pedro A.}, Pages = {242--256}, Series = {Lecture Notes in Computer Science}, Volume = {3155}, Doi = {10.1007/978-3-540-28631-8_19}, ISBN = {978-3-540-22882-0}, Language = {English}, Owner = {valmi}, Timestamp = {2014.10.21}, Url = {http://dx.doi.org/10.1007/978-3-540-28631-8_19} } @Article{levi77subjunctives, Title = {Subjunctives, dispositions and chances}, Author = {Levi, Isaac}, Journal = {Synthese}, Year = {1977}, Number = {4}, Pages = {423--455}, Volume = {34}, Doi = {10.1007/BF00485649}, ISSN = {0039-7857}, Language = {English}, Owner = {valmi}, Publisher = {Kluwer Academic Publishers}, Timestamp = {2013.07.22}, Url = {http://dx.doi.org/10.1007/BF00485649} } @InProceedings{li12qualitative, Title = {Qualitative Spatial and Temporal Reasoning with Answer Set Programming}, Author = {Li, J.J.}, Booktitle = {Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on}, Year = {2012}, Month = {Nov}, Pages = {603--609}, Volume = {1}, Abstract = {Representing and reasoning spatial and temporal information is a key research issue in Computer Science and Artificial Intelligence. In this paper, we introduce tools that produce three novel encodings which translate problems in qualitative spatial and temporal reasoning into logic programs for answer set programming solvers. Each encoding reflects a different type of modeling abstraction. We evaluate our approach with two of the most well known qualitative spatial and temporal reasoning formalisms, the Interval Algebra and Region Connection Calculus. Our results show some surprising findings, including the strong performance of the solver for disjunctive logic programs over the non-disjunctive ones on our benchmark problems.}, Doi = {10.1109/ICTAI.2012.87}, ISSN = {1082-3409}, Keywords = {algebra;calculus;logic programming;spatial reasoning;temporal reasoning;answer set programming solvers;benchmark problems;disjunctive logic programs;interval algebra;logic programs;modeling abstraction;nondisjunctive programs;qualitative spatial reasoning formalism;qualitative temporal reasoning formalism;region connection calculus;answer set programming;constraint satisfaction;spatial reasoning;temporal reasoning}, Owner = {valmi}, Timestamp = {2014.03.02} } @InProceedings{lieber02strong, Title = {Strong, Fuzzy and Smooth Hierarchical Classification for Case-Based Problem Solving}, Author = {Lieber, Jean}, Booktitle = {15th European Conference on Artificial Intelligence ({ECAI}'02)}, Year = {2002}, Address = {Lyon, France}, Editor = {Frank van Harmelen}, Month = Jul, Pages = {81--85}, Publisher = {IOS Press, Amsterdam}, Abstract = {{This paper explains how case-based problem solving can have benefit from a hierarchical organisation of problems based on a generality relation. Three adaptation-guided retrieval processes are described. The strong classification in a problem hierarchy is a classical deductive process. It is based on the generality relation between problems which organises the hierarchy. The fuzzy classification is a fuzzification of the strong classification. It is based on a fuzzy generality relation between problems, which can be seen as a non-symmetrical similarity measure. The smooth classification extends the fuzzy classification: it is also based on a similarity or dissimilarity measure but takes into account problem and solution adaptation knowledge. These processes have been successfully implemented in two case-based reasoning systems: Resyn/CBR in the domain of organic synthesis and Kasimir/CBR in the domain of cancer treatment.}}, Affiliation = {ORPAILLEUR - INRIA Lorraine - LORIA}, Audience = {internationale }, Hal_id = {inria-00107563}, Keywords = {case-based reasoning; hierarchical classification; fuzzy hierarchical classification; smooth classification || raisonnement {\`a} partir de cas; classification hi{\'e}rarchique; classification hi{\'e}rarchique floue; classification {\'e}lastique}, Language = {Anglais}, Owner = {valmi}, Timestamp = {2013.07.08}, Url = {http://hal.inria.fr/inria-00107563} } @InCollection{lieber07application, Title = {Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation}, Author = {Lieber, Jean}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer Berlin Heidelberg}, Year = {2007}, Editor = {Weber, Rosina O and Richter, Michael M}, Pages = {239--253}, Series = {Lecture Notes in Computer Science}, Volume = {4626}, Doi = {10.1007/978-3-540-74141-1_17}, ISBN = {978-3-540-74138-1}, Keywords = {case-based reasoning; knowledge-intensive case-based reasoning; adaptation; conservative adaptation; theory of revision; logical representation of cases; application to oncology}, Owner = {valmi}, Timestamp = {2013.07.05}, Url = {http://dx.doi.org/10.1007/978-3-540-74141-1_17} } @Article{ligozat98reasoning, Title = {Reasoning about cardinal directions}, Author = {Ligozat, Gérald}, Journal = {Journal of Visual Languages \& Computing}, Year = {1998}, Number = {1}, Pages = {23--44}, Volume = {9}, Owner = {valmi}, Publisher = {Academic Press}, Timestamp = {2013.08.29} } @InProceedings{ligozat91generalized, Title = {On Generalized Interval Calculi.}, Author = {Ligozat, G{\'e}rard}, Booktitle = {{AAAI}}, Year = {1991}, Pages = {234--240}, Owner = {valmi}, Timestamp = {2013.07.12} } @Article{lin01discovery, Title = {Discovery of inference rules for question-answering}, Author = {Lin, Dekang and Pantel, Patrick}, Journal = {Natural Language Engineering}, Year = {2001}, Number = {4}, Pages = {343--360}, Volume = {7}, Owner = {valmi}, Publisher = {Cambridge Univ Press}, Timestamp = {2014.06.23} } @InCollection{mueller14workflow, Title = {Workflow streams: A means for compositional adaptation in process-oriented {CBR}}, Author = {M{\"u}ller, Gilbert and Bergmann, Ralph}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer}, Year = {2014}, Pages = {315--329}, Owner = {valmi}, Timestamp = {2015.04.21} } @InCollection{ma03framework, Title = {A Framework for Historical Case-Based Reasoning}, Author = {Ma, Jixin and Knight, Brian}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer Berlin Heidelberg}, Year = {2003}, Editor = {Ashley, Kevin D and Bridge, Derek G}, Pages = {246--260}, Series = {Lecture Notes in Computer Science}, Volume = {2689}, Doi = {10.1007/3-540-45006-8_21}, ISBN = {978-3-540-40433-0}, Language = {English}, Owner = {valmi}, Review = {Utilise un formalisme ad hoc à base de points et d'intervalles En utilisant des points, il ne dit pas comment il évite d'être victime du dividing instant problem Il utilise aussi des fluents}, Timestamp = {2013.07.12}, Url = {http://dx.doi.org/10.1007/3-540-45006-8_21} } @Article{mackworth77consistency, Title = {Consistency in networks of relations }, Author = {Alan K. Mackworth}, Journal = {Artificial Intelligence }, Year = {1977}, Number = {1}, Pages = {99--118}, Volume = {8}, Abstract = {Artificial intelligence tasks which can be formulated as constraint satisfaction problems, with which this paper is for the most part concerned, are usually by solved backtracking the examining the thrashing behavior that nearly always accompanies backtracking, identifying three of its causes and proposing remedies for them we are led to a class of algorithms whoch can profitably be used to eliminate local (node, arc and path) inconsistencies before any attempt is made to construct a complete solution. A more general paradigm for attacking these tasks is the altenation of constraint manipulation and case analysis producing an \{OR\} problem graph which may be searched in any of the usual ways. Many authors, particularly Montanari and Waltz, have contributed to the development of these ideas; a secondary aim of this paper is to trace that history. The primary aim is to provide an accessible, unified framework, within which to present the algorithms including a new path consistency algorithm, to discuss their relationships and the may applications, both realized and potential of network consistency algorithms. }, Doi = {http://dx.doi.org/10.1016/0004-3702(77)90007-8}, ISSN = {0004-3702}, Owner = {valmi}, Timestamp = {2014.06.16}, Url = {http://www.sciencedirect.com/science/article/pii/0004370277900078} } @Article{Madhusudan200487, Title = {A case-based reasoning framework for workflow model management }, Author = {Therani Madhusudan and Zhao, J. Leon and Byron Marshall}, Journal = {Data \& Knowledge Engineering}, Year = {2004}, Number = {1}, Pages = {87 --115}, Volume = {50}, Abstract = {In order to support efficient workflow design, recent commercial workflow systems are providing templates of common business processes. These templates, called cases, can be modified individually or collectively into a new workflow to meet the business specification. However, little research has been done on how to manage workflow models, including issues such as model storage, model retrieval, model reuse and assembly. In this paper, we propose a novel framework to support workflow modeling and design by adapting workflow cases from a repository of process models. Our approach to workflow model management is based on a structured workflow lifecycle and leverages recent advances in model management and case-based reasoning techniques. Our contributions include a conceptual model of workflow cases, a similarity flooding algorithm for workflow case retrieval, and a domain-independent \{AI\} planning approach to workflow case composition. We illustrate the workflow model management framework with a prototype system called Case-Oriented Design Assistant for Workflow Modeling (CODAW). }, Doi = {http://dx.doi.org/10.1016/j.datak.2004.01.005}, ISSN = {0169-023X}, Keywords = {Case-oriented workflow modeling}, Owner = {valmi}, Review = {Retrieval and case composition}, Timestamp = {2013.07.16}, Url = {http://www.sciencedirect.com/science/article/pii/S0169023X04000060} } @InCollection{marques01tagging, Title = {Tagging with small training corpora}, Author = {Marques, Nuno C. and Lopes, Gabriel Pereira}, Booktitle = {Advances in Intelligent Data Analysis}, Publisher = {Springer}, Year = {2001}, Pages = {63--72}, Owner = {valmi}, Timestamp = {2014.06.26} } @Article{martin12linsertion, Title = {L'insertion territoriale des cultures biomasses p{\'e}rennes. {\'E}tude de cas sur le miscanthus en C{\^o}te-d'Or (Bourgogne, France)}, Author = {Martin, Laura and Julie Wohlfahrt and Le Ber, Florence and Marc Benoît}, Journal = {L'Espace g{\'e}ographique}, Year = {2012}, Number = {2}, Pages = {138--153}, Owner = {valmi}, Publisher = {Belin}, Timestamp = {2013.08.23} } @InCollection{matthiessen91lexicogrammatical, Title = {Lexico(Grammatical) choice in text generation}, Author = {Matthiessen, Christian}, Booktitle = {Natural Language Generation in Artificial Intelligence and Computational Linguistics}, Publisher = {Springer}, Year = {1991}, Editor = {Paris, Cécile L. and Swartout, William R. and Mann, William C.}, Pages = {249--292}, Series = {The Kluwer International Series in Engineering and Computer Science}, Volume = {119}, Doi = {10.1007/978-1-4757-5945-7_10}, ISBN = {978-1-4419-5125-0}, Language = {English}, Owner = {valmi}, Timestamp = {2014.06.22}, Url = {http://dx.doi.org/10.1007/978-1-4757-5945-7_10} } @Book{matthiessen91text, Title = {Text generation and systemic-functional linguistics: experiences from English and Japanese}, Author = {Matthiessen, Christian and Bateman, John A}, Publisher = {Pinter Publishers}, Year = {1991}, Owner = {valmi}, Timestamp = {2014.06.22} } @TechReport{mccarthy63situations, Title = {Situations, actions, and causal laws}, Author = {McCarthy, John}, Institution = {Stanford University}, Year = {1963}, Owner = {valmi}, Timestamp = {2013.07.09} } @InCollection{minor10towards, Title = {Towards Case-Based Adaptation of Workflows}, Author = {Minor, Mirjam and Bergmann, Ralph and G\"org, Sebastian and Walter, Kirstin}, Booktitle = {Case-Based Reasoning. Research and Development}, Publisher = {Springer Berlin Heidelberg}, Year = {2010}, Editor = {Bichindaritz, Isabelle and Montani, Stefania}, Pages = {421--435}, Series = {Lecture Notes in Computer Science}, Volume = {6176}, Doi = {10.1007/978-3-642-14274-1_31}, ISBN = {978-3-642-14273-4}, Owner = {valmi}, Timestamp = {2013.07.05}, Url = {http://dx.doi.org/10.1007/978-3-642-14274-1_31} } @InCollection{minor12confidence, Title = {Confidence in Workflow Adaptation}, Author = {Minor, Mirjam and Islam, Mohd.Siblee and Schumacher, Pol}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer Berlin Heidelberg}, Year = {2012}, Editor = {Agudo, BelénDíaz and Watson, Ian}, Pages = {255--268}, Series = {Lecture Notes in Computer Science}, Volume = {7466}, Doi = {10.1007/978-3-642-32986-9_20}, ISBN = {978-3-642-32985-2}, Owner = {valmi}, Timestamp = {2014.03.02}, Url = {http://dx.doi.org/10.1007/978-3-642-32986-9_20} } @InProceedings{minor08xml, Title = {{XML}-based Representation of Agile Workflows}, Author = {Minor, Mirjam and Schmalen, Daniel and Bergmann, Ralph}, Booktitle = {Multikonferenz Wirtschaftsinformatik}, Year = {2008}, Editor = {Bichler, Martin and Hess, Thomas and Krcmar, Helmut and Lechner, Ulrike and Matthes, Florian and Picot, Arnold and Speitkamp, Benjamin and Wolf, Petra}, Pages = {439--440}, Publisher = {{GITO}-Verlag Berlin}, Owner = {valmi}, Timestamp = {2013.07.16}, Url = {http://www.wi2.uni-trier.de/publications/2008_MKWI_MinorEtal.pdf} } @InCollection{montani10case, Title = {A Case-Based Approach to Business Process Monitoring}, Author = {Montani, Stefania and Leonardi, Giorgio}, Booktitle = {Artificial Intelligence in Theory and Practice III}, Publisher = {Springer Berlin Heidelberg}, Year = {2010}, Editor = {Bramer, Max}, Pages = {101--110}, Series = {{IFIP} Advances in Information and Communication Technology}, Volume = {331}, Doi = {10.1007/978-3-642-15286-3_10}, ISBN = {978-3-642-15285-6}, Owner = {valmi}, Review = {Utilise des workflows pour représenter des business processes}, Timestamp = {2013.07.12}, Url = {http://dx.doi.org/10.1007/978-3-642-15286-3_10} } @InCollection{montani05case, Title = {Case Based Representation and Retrieval with Time Dependent Features}, Author = {Montani, Stefania and Portinale, Luigi}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer Berlin Heidelberg}, Year = {2005}, Editor = {Muñoz-Ávila, Héctor and Ricci, Francesco}, Pages = {353--367}, Series = {Lecture Notes in Computer Science}, Volume = {3620}, Doi = {10.1007/11536406_28}, ISBN = {978-3-540-28174-0}, Owner = {valmi}, Timestamp = {2013.07.16}, Url = {http://dx.doi.org/10.1007/11536406_28} } @Article{montani06accounting, Title = {Accounting for the Temporal Dimension in Case-Based Retrieval: A Framework for Medical Applications}, Author = {Montani, Stefania and Portinale, Luigi}, Journal = {Computational Intelligence}, Year = {2006}, Number = {3-4}, Pages = {208--223}, Volume = {22}, Doi = {10.1111/j.1467-8640.2006.00284.x}, ISSN = {1467-8640}, Keywords = {time series retrieval, temporal CBR architecture, medical applications of CBR}, Owner = {valmi}, Publisher = {Blackwell Publishing Inc}, Review = {Formalisme temporel pour la représentation de cas médicaux basés sur des points et des intervalles}, Timestamp = {2013.07.12}, Url = {http://dx.doi.org/10.1111/j.1467-8640.2006.00284.x} } @Article{nebel95reasoning, Title = {Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra}, Author = {Nebel, Bernhard and B\"{u}rckert, Hans-J\"{u}rgen}, Journal = {Journal of the {ACM}}, Year = {1995}, Month = jan, Number = {1}, Pages = {43--66}, Volume = {42}, Acmid = {200848}, Address = {New York, NY, USA}, Doi = {10.1145/200836.200848}, ISSN = {0004-5411}, Issue_date = {Jan. 1995}, Keywords = {constraint satisfaction, interval algebra, qualitative reasoning, temporal reasoning}, Numpages = {24}, Owner = {valmi}, Publisher = {ACM}, Timestamp = {2014.03.02}, Url = {http://doi.acm.org/10.1145/200836.200848} } @InProceedings{newo10demand, Title = {On-demand recipe processing based on {CBR}}, Author = {Newo, R{\'e}gis and Bach, Kerstin and Hanft, Alexandre and Althoff, Klaus-Dieter}, Booktitle = {ICCBR 2010 Workshop Proceedings}, Year = {2010}, Pages = {209--218}, Owner = {valmi}, Timestamp = {2013.07.05} } @Article{pham08modelling, Title = {Modelling and solving temporal reasoning as propositional satisfiability }, Author = {Duc Nghia Pham and John Thornton and Abdul Sattar}, Journal = {Artificial Intelligence }, Year = {2008}, Number = {15}, Pages = {1752--1782}, Volume = {172}, Doi = {http://dx.doi.org/10.1016/j.artint.2008.06.003}, ISSN = {0004-3702}, Keywords = {Temporal reasoning}, Owner = {valmi}, Timestamp = {2014.02.28}, Url = {http://www.sciencedirect.com/science/article/pii/S0004370208000805} } @Article{pillemer56properdin, Title = {The properdin system and immunity: {III}. {T}he zymosan assay of properdin}, Author = {Pillemer, Louis and Blum, Livia and Lepow, Irwin H. and Wurz, Leona and Todd, Earl W.}, Journal = {The Journal of experimental medicine}, Year = {1956}, Number = {1}, Pages = {1--13}, Volume = {103}, Owner = {valmi}, Publisher = {The Rockefeller University Press}, Timestamp = {2013.07.27} } @InCollection{pujari99indu, Title = {{INDU}: An Interval \& Duration Network}, Author = {Pujari, Arun K. and Kumari, G. Vijaya and Sattar, Abdul}, Booktitle = {Advanced Topics in Artificial Intelligence}, Publisher = {Springer Berlin Heidelberg}, Year = {1999}, Editor = {Foo, Norman}, Pages = {291--303}, Series = {Lecture Notes in Computer Science}, Volume = {1747}, Doi = {10.1007/3-540-46695-9_25}, ISBN = {978-3-540-66822-0}, Language = {English}, Owner = {valmi}, Timestamp = {2013.07.05}, Url = {http://dx.doi.org/10.1007/3-540-46695-9_25} } @Article{pustejovsky03timeml, Title = {Time{ML}: Robust Specification of Event and Temporal Expressions in Text.}, Author = {Pustejovsky, James and Castano, Jos{\'e} M. and Ingria, Robert and Sauri, Roser and Gaizauskas, Robert J. and Setzer, Andrea and Katz, Graham and Radev, Dragomir R.}, Journal = {New directions in question answering}, Year = {2003}, Pages = {28--34}, Volume = {3}, Owner = {valmi}, Timestamp = {2013.07.05} } @PhdThesis{radev99language, Title = {Language Reuse and Regeneration: Generating Natural Language Summaries from Multiple On-Line Sources}, Author = {Radev, Dragomir R.}, School = {Department of Computer Science, Columbia University}, Year = {1999}, Address = {New York}, Month = {April}, Comment = {Technical Report CUCS-025-99}, File = {cucs25-99.pdf:http\://clair.si.umich.edu/\\~radev/papers/cucs25-99.pdf:PDF}, Owner = {valmi}, Papernum = {048}, Postscript = {http://clair.si.umich.edu/\~radev/papers/cucs25-99.ps}, Timestamp = {2014.06.18}, X-category = {NOCLAIR,RADEV,PHD} } @Article{radev98generating, Title = {Generating Natural Language Summaries from Multiple On-line Sources}, Author = {Radev, Dragomir R. and McKeown, Kathleen R.}, Journal = {Computational Linguistics}, Year = {1998}, Month = sep, Number = {3}, Pages = {470--500}, Volume = {24}, Acmid = {972755}, Address = {Cambridge, MA, USA}, ISSN = {0891-2017}, Issue_date = {September 1998}, Numpages = {31}, Owner = {valmi}, Publisher = {MIT Press}, Timestamp = {2014.06.23}, Url = {http://dl.acm.org/citation.cfm?id=972749.972755} } @InProceedings{randell89modelling, Title = {Modelling Topological and Metrical Properties in Physical Processes.}, Author = {Randell, David A. and Cohn, Anthony G.}, Booktitle = {Principles of Knowledge Representation and Reasoning}, Year = {1989}, Editor = {Brachman, R. J. and Levesque, H. and Reiter, R.}, Pages = {357--368}, Journal = {KR}, Owner = {valmi}, Timestamp = {2013.08.29} } @InProceedings{randell92spatial, Title = {A spatial logic based on regions and connection.}, Author = {Randell, David A. and Cui, Zhan and Cohn, Anthony G.}, Booktitle = {Knowledge Representation}, Year = {1992}, Pages = {165--176}, Owner = {valmi}, Timestamp = {2013.08.29} } @Article{reiter91frame, Title = {The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression}, Author = {Reiter, Raymond}, Journal = {Artificial intelligence and mathematical theory of computation}, Year = {1991}, Pages = {359--380}, Volume = {27}, Owner = {valmi}, Publisher = {Citeseer}, Timestamp = {2013.07.09} } @Book{riesbeck89inside, Title = {Inside Case-Based Reasoning}, Author = {Riesbeck, Christopher K. and Schank, Roger C.}, Publisher = {Psychology Press}, Year = {1989}, Owner = {valmi}, Timestamp = {2013.07.05} } @InProceedings{sogaard11semi, Title = {Semi-supervised condensed nearest neighbor for part-of-speech tagging}, Author = {S{\o}gaard, Anders}, Booktitle = {{ACL} (Short Papers)}, Year = {2011}, Pages = {48--52}, Owner = {valmi}, Timestamp = {2013.07.20} } @InCollection{sanchez-marre05approach, Title = {An Approach for Temporal Case-Based Reasoning: Episode-Based Reasoning}, Author = {Sánchez-Marré, Miquel and Cortés, Ulises and Martínez, Montse and Comas, Joaquim and Rodríguez-Roda, Ignasi}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer Berlin Heidelberg}, Year = {2005}, Editor = {Muñoz-Ávila, Héctor and Ricci, Francesco}, Pages = {465--476}, Series = {Lecture Notes in Computer Science}, Volume = {3620}, Doi = {10.1007/11536406_36}, ISBN = {978-3-540-28174-0}, Owner = {valmi}, Timestamp = {2013.07.12}, Url = {http://dx.doi.org/10.1007/11536406_36} } @PhdThesis{schuler05verbnet, Title = {VerbNet: A broad-coverage, comprehensive verb lexicon}, Author = {Schuler, Karin Kipper}, School = {University of Pennsylvania}, Year = {2005}, Owner = {valmi}, Timestamp = {2013.07.20} } @InCollection{schumacher14use, Title = {On the Use of Anaphora Resolution for Workflow Extraction}, Author = {Schumacher, Pol and Minor, Mirjam and Schulte-Zurhausen, Erik}, Booktitle = {Integration of Reusable Systems}, Publisher = {Springer International Publishing}, Year = {2014}, Editor = {Bouabana-Tebibel, Thouraya and Rubin, Stuart H.}, Pages = {151--170}, Series = {Advances in Intelligent Systems and Computing}, Volume = {263}, Doi = {10.1007/978-3-319-04717-1_7}, ISBN = {978-3-319-04716-4}, Keywords = {Workflow extraction; Process oriented case-based reasoning; Information extraction; Anaphora resolution}, Language = {English}, Owner = {valmi}, Timestamp = {2014.03.02}, Url = {http://dx.doi.org/10.1007/978-3-319-04717-1_7} } @PhdThesis{schwind10fusion, Title = {Fusion de r\'eseaux de contraintes qualitatives}, Author = {Nicolas Schwind}, School = {Universit\'e d'Artois}, Year = {2010}, Address = {Centre de Recherche en Informatique de Lens, Universit\'e d'Artois, Lens, France}, Owner = {valmi}, Timestamp = {2013.07.23} } @InProceedings{setzer03using, Title = {Using semantic inferences for temporal annotation comparison}, Author = {Setzer, Andrea and Gaizauskas, Robert and Hepple, Mark}, Booktitle = {Fourth international workshop on inference in computational semantics ({ICOS}-4)}, Year = {2003}, Pages = {195--196}, Owner = {valmi}, Timestamp = {2014.06.21} } @InProceedings{shieber88uniform, Title = {A uniform architecture for parsing and generation}, Author = {Shieber, Stuart M.}, Booktitle = {Proceedings of the 12th conference on Computational linguistics}, Year = {1988}, Organization = {Association for Computational Linguistics}, Pages = {614--619}, Owner = {valmi}, Timestamp = {2014.06.23} } @InProceedings{siddharthan11text, Title = {Text simplification using typed dependencies: A comparison of the robustness of different generation strategies}, Author = {Siddharthan, Advaith}, Booktitle = {13th European Workshop on Natural Language Generation}, Year = {2011}, Organization = {Association for Computational Linguistics}, Pages = {2--11}, Owner = {valmi}, Timestamp = {2014.06.23} } @Article{siddharthan06syntactic, Title = {Syntactic Simplification and Text Cohesion}, Author = {Siddharthan, Advaith}, Journal = {Research on Language and Computation}, Year = {2006}, Number = {1}, Pages = {77--109}, Volume = {4}, Doi = {10.1007/s11168-006-9011-1}, ISSN = {1570-7075}, Keywords = {anaphoric structure; cue-word selection; determiner choice; discourse structure; sentence ordering; syntactic simplification; text cohesion}, Language = {English}, Owner = {valmi}, Publisher = {Springer Netherlands}, Timestamp = {2014.06.21}, Url = {http://dx.doi.org/10.1007/s11168-006-9011-1} } @Article{smyth98adaptation, Title = {Adaptation-guided retrieval: Questioning the similarity assumption in reasoning}, Author = {Barry Smyth and Mark T. Keane}, Journal = {Artificial Intelligence }, Year = {1998}, Number = {2}, Pages = {249--293}, Volume = {102}, Abstract = {One of the major assumptions in Artificial Intelligence is that similar experiences can guide future reasoning, problem solving and learning; what we will call, the similarity assumption. The similarity assumption is used in problem solving and reasoning systems when target problems are dealt with by resorting to a previous situation with common conceptual features. In this article, we question this assumption in the context of case-based reasoning (CBR). In CBR, the similarity assumption plays a central role when new problems are solved, by retrieving similar cases and adapting their solutions. The success of any \{CBR\} system is contingent on the retrieval of a case that can be successfully reused to solve the target problem. We show that it is often unwarranted to assume that the most similar case is also the most appropriate from a reuse perspective. We argue that similarity must be augmented by deeper, adaptation knowledge about whether a case can be easily modified to fit a target problem. We implement this idea in a new technique, called adaptation-guided retrieval (AGR), which provides a direct link between retrieval similarity and adaptation needs. This technique uses specially formulated adaptation knowledge, which, during retrieval, facilitates the computation of a precise measure of a case's adaptation requirements. In closing, we assess the broader implications of \{AGR\} and argue that it is just one of a growing number of methods that seek to overcome the limitations of the traditional similarity assumption in an effort to deliver more sophisticated and scalable reasoning systems. }, Doi = {http://dx.doi.org/10.1016/S0004-3702(98)00059-9}, ISSN = {0004-3702}, Keywords = {Similarity-based reasoning}, Owner = {valmi}, Timestamp = {2013.07.27}, Url = {http://www.sciencedirect.com/science/article/pii/S0004370298000599} } @Article{tarski41calculus, Title = {On the calculus of relations}, Author = {Tarski, Alfred}, Journal = {The Journal of Symbolic Logic}, Year = {1941}, Number = {03}, Pages = {73--89}, Volume = {6}, Owner = {valmi}, Publisher = {Cambridge Univ Press}, Timestamp = {2014.06.30} } @InProceedings{toutanova03feature, Title = {Feature-rich part-of-speech tagging with a cyclic dependency network}, Author = {Toutanova, Kristina and Klein, Dan and Manning, Christopher D. and Singer, Yoram}, Booktitle = {Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology}, Year = {2003}, Organization = {Association for Computational Linguistics}, Pages = {173--180}, Volume = {1}, Owner = {valmi}, Timestamp = {2013.07.20} } @InProceedings{tutin92lexical, Title = {Lexical choice in context: generating procedural texts}, Author = {Tutin, Agn{\`e}s and Kittredge, Richard}, Booktitle = {Proceedings of the 14th conference on Computational linguistics}, Year = {1992}, Organization = {Association for Computational Linguistics}, Pages = {763--769}, Owner = {valmi}, Timestamp = {2014.06.23} } @InCollection{valls12natural, Title = {Natural Language Generation through Case-Based Text Modification}, Author = {Valls, Josep and Ontañón, Santiago}, Booktitle = {Case-Based Reasoning Research and Development}, Publisher = {Springer}, Year = {2012}, Editor = {Agudo, Belén Díaz and Watson, Ian}, Pages = {443--457}, Series = {Lecture Notes in Computer Science}, Volume = {7466}, Doi = {10.1007/978-3-642-32986-9_33}, ISBN = {978-3-642-32985-2}, Language = {English}, Owner = {valmi}, Timestamp = {2014.06.26}, Url = {http://dx.doi.org/10.1007/978-3-642-32986-9_33} } @Article{veloso96case, Title = {Case-based planning: selected methods and systems}, Author = {Veloso, Manuela and Mu{\~n}oz-Avila, Hector and Bergmann, Ralph}, Journal = {Artificial Intelligence Communications}, Year = {1996}, Number = {3}, Pages = {128--137}, Volume = {9}, Owner = {valmi}, Publisher = {IOS Press}, Timestamp = {2013.07.10} } @Article{verhagen05temporal, Title = {Temporal Closure in an Annotation Environment}, Author = {Verhagen, Marc}, Journal = {Language Resources and Evaluation}, Year = {2005}, Number = {2--3}, Pages = {211--241}, Volume = {39}, Doi = {10.1007/s10579-005-7884-5}, ISSN = {1574-020X}, Language = {English}, Owner = {valmi}, Publisher = {Kluwer Academic Publishers}, Timestamp = {2014.06.21}, Url = {http://dx.doi.org/10.1007/s10579-005-7884-5} } @InProceedings{vilain86constraint, Title = {Constraint Propagation Algorithms for Temporal Reasoning.}, Author = {Vilain, Marc B. and Kautz, Henry A.}, Booktitle = {AAAI}, Year = {1986}, Pages = {377--382}, Volume = {86}, Owner = {valmi}, Timestamp = {2014.05.05} } @TechReport{wallgrun10relation, Title = {A relation-based merging operator for qualitative spatial data integration and conflict resolution}, Author = {Wallgr{\"u}n, Jan Oliver and Dylla, Frank}, Institution = {Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition}, Year = {2010}, Number = {022-06/2010}, Owner = {valmi}, Timestamp = {2014.03.02} } @InProceedings{walter11workflow, Title = {Workflow extraction from cooking recipes}, Author = {Walter, Kirstin and Minor, Mirjam and Bergmann, Ralph}, Booktitle = {Proceedings of the {ICCBR} 2011 Workshops}, Year = {2011}, Pages = {207--216}, Owner = {valmi}, Timestamp = {2013.07.05} } @InProceedings{wargitsch97workbrain, Title = {{W}ork{B}rain: Merging Organizational Memory and Workflow Management Systems}, Author = {Wargitsch, Christoph and Wewers, Thorsten and Theisinger, Felix}, Booktitle = {Workshop of Knowledge-Based Systems for Knowledge Management in Enterprises}, Year = {1997}, Owner = {valmi}, Timestamp = {2013.07.16} } @InCollection{weber05towards, Title = {Towards the Agile Management of Business Processes}, Author = {Weber, Barbara and Wild, Werner}, Booktitle = {Professional Knowledge Management}, Publisher = {Springer Berlin Heidelberg}, Year = {2005}, Editor = {Althoff, Klaus-Dieter and Dengel, Andreas and Bergmann, Ralph and Nick, Markus and Roth-Berghofer, Thomas}, Pages = {409--419}, Series = {Lecture Notes in Computer Science}, Volume = {3782}, Doi = {10.1007/11590019_48}, ISBN = {978-3-540-30465-4}, Owner = {valmi}, Timestamp = {2013.07.05}, Url = {http://dx.doi.org/10.1007/11590019_48} } @Article{zub10agronomic, Title = {Agronomic and physiological performances of different species of Miscanthus, a major energy crop. A review}, Author = {Zub, Hélène W. and Brancourt-Hulmel, Maryse}, Journal = {Agronomy for Sustainable Development}, Year = {2010}, Number = {2}, Pages = {201--214}, Volume = {30}, Owner = {valmi}, Publisher = {EDP Sciences}, Timestamp = {2013.08.23} } @Misc{iso05unified, Title = {{ISO/IEC} 19501:2005: {I}nformation technology -- {O}pen Distributed Processing -- {U}nified {M}odeling {L}anguage ({UML}) Version 1.4.2}, HowPublished = {International Organization for Standardization, Geneva, Switzerland}, Year = {2005}, Owner = {valmi}, Timestamp = {2013.07.16}, Url = {http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=32620} } @comment{jabref-meta: selector_keywords:} @comment{jabref-meta: selector_journal:} @comment{jabref-meta: selector_publisher:} @comment{jabref-meta: selector_author:}