liu.seSearch for publications in DiVA
Endre søk
Begrens søket
1 - 11 of 11
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Degerstedt, Lars
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Tabulated resolution for well-founded semantics1993Licentiatavhandling, monografi (Annet vitenskapelig)
    Abstract [en]

    This work is motivated by the need for efficient question-answering methods for Horn clause logic and its non-classical extensions - formalisms which are of great importance for the purpose of knowledge representation. The methods presented in this thesis are particularly suited for the kind of ‘‘computable specifications’’ that occur in areas such as logic programming and deductive databases.

    The subject of study is a resolution-based technique, called tabulated resolution, which provides a procedural counterpart to the so-called well-founded semantics. Our study is carried out in two steps.

    First we consider only classical Horn theories. We introduce a framework called the search forest which, in contrast to earlier formalizations of tabulated resolution for Horn theories, strictly separates between search space and search. We prove the soundness and completeness of the search space and provide some basic strategies for traversing the space. An important feature of the search forest is that it clarifies the relationship between a particular tabulation technique, OLDT-resolution, and the transformational bottom-up method called ‘‘magic templates’’.

    Secondly, we generalize the notion of a search forest to Horn theories extended with the non-monotonic connective known as negation as failure. The tabulation approach that we propose suggests a new procedural counterpart to the well-founded semantics which, in contrast to the already existing notion of SLS-resolution, deals with loops in an effective way. We prove some essential results for the framework, including its soundness and completeness.

  • 2.
    Degerstedt, Lars
    et al.
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Johansson, Pontus
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Evolutionary Development of Phase-Based Dialogue Systems2003Inngår i: Proceedings of the 8th Scandianvian Conference on Artificial Intelligence. Bergen, Norway, November 2-4, 2003., 2003, s. 59-67Konferansepaper (Fagfellevurdert)
  • 3.
    Degerstedt, Lars
    et al.
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Jönsson, Arne
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    LinTest, A development tool for testing dialogue systems2006Inngår i: Proceedings of INTERSPEECH. 2006 VOLS 1-5, Baixas, FRANCE: International Speech Communication Association , 2006, s. 489-492Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper we present a development tool for testing dialogue systems. Testing software through the specification is important for software development in general and should be as automated as possible. For dialogue systems, the corpus can be seen as one part of the specification and the dialogue system should be tested on available corpora on each new build. The testing tool is inspired from work on agile software development methods, test driven development and unit testing, and can be used in two modes and during various phases of development.

  • 4.
    Degerstedt, Lars
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Jönsson, Arne
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Open Resources for Language Technology2004Inngår i: Language Resources and Evaluation LREC,2004, Paris: ELDA , 2004Konferansepaper (Fagfellevurdert)
  • 5.
    Degerstedt, Lars
    et al.
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Nilsson, Ulf
    Linköpings universitet, Institutionen för datavetenskap, TCSLAB - Laboratoriet för teoretisk datalogi. Linköpings universitet, Tekniska högskolan.
    Magic Computation for Well-founded Semantics1995Inngår i: Nonmonotonic Extensions of Logic Programming, 1995, s. 181-204Konferansepaper (Fagfellevurdert)
  • 6.
    Johansson, Pontus
    et al.
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Filosofiska fakulteten.
    Degerstedt, Lars
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Filosofiska fakulteten.
    Jönsson, Arne
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Iterative Development of an Information-Providing Dialogue System2002Inngår i: Proceedings of the 7th ERCIM Workshop "User Interfaces for All" Paris, France, 2002., 2002Konferansepaper (Fagfellevurdert)
  • 7.
    Johansson, Pontus
    et al.
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Degerstedt, Lars
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Jönsson, Arne
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Iterative Developmentof an Information-Providing Dialogue System2002Inngår i: Proceedings of the 7th ERCIM Workshop on User Interfaces for All. Paris, France. 2002., 2002, s. 29-36Konferansepaper (Fagfellevurdert)
  • 8.
    Jönsson, Arne
    et al.
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Andén, Frida
    Degerstedt, Lars
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Flycht-Eriksson (Silvervarg), Annika
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Merkel, Magnus
    Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk. Linköpings universitet, Tekniska högskolan.
    Norberg, Sara
    Experiences from combining dialogue system development with information extraction techniques2004Inngår i: New Directions in Question Answering / [ed] Mark T. Maybury, Boston: AAAIMIT Press , 2004, s. 153-163Kapittel i bok, del av antologi (Annet vitenskapelig)
    Abstract [en]

    Next generation question answering systems are challenged on many fronts including but not limited to massive, heterogeneous and sometimes streaming collections, diverse and challenging users, and the need to be sensitive to context, ambiguity, and even deception. This chapter describes new directions in question answering (QA) including enhanced question processing, source selection, document retrieval, answer determination, and answer presentation generation. We consider important directions such as answering questions in context (e.g., previous queries, day or time, the data, the task, location of the interactive device), scenario based QA, event and temporal QA, spatial QA, opinionoid QA, multimodal QA, multilingual QA, user centered and collaborative QA, explanation, interactive QA, QA reuse, and novel architectures for QA. The chapter concludes by outlining a roadmap of the future of question answering, articulating necessary resources for, impediments to, and planned or possible future capabilities.

  • 9.
    Wärnestål, Pontus
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Degerstedt, Lars
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Jönsson, Arne
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Emergent Conversational Recommendations: A Dialogue Behavior Approach2007Inngår i: Proceedings of the 8th SIGDIAL Workshop on Discourse and Dialogue,2007, 2007, s. 63-66Konferansepaper (Fagfellevurdert)
  • 10.
    Wärnestål, Pontus
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Degerstedt, Lars
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Jönsson, Arne
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Interview and Delivery: Dialogue Strategies for Conversational Recommender Systems2007Inngår i: Proceedings of 16th Nordic Conference of Computational Linguistics Nodalida,2007, 2007, s. 199-205Konferansepaper (Fagfellevurdert)
  • 11.
    Wärnestål, Pontus
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Degerstedt, Lars
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    Jönsson, Arne
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, NLPLAB - Laboratoriet för databehandling av naturligt språk.
    PCQL: A Formalism for Human-Like Preference Dialogues2007Inngår i: IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems,2007, 2007, s. 46-54Konferansepaper (Fagfellevurdert)
1 - 11 of 11
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf