liu.seSearch for publications in DiVA
Change search
Refine search result
1 - 11 of 11
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Degerstedt, Lars
    Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
    Tabulated resolution for well-founded semantics1993Licentiate thesis, monograph (Other academic)
    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öping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Johansson, Pontus
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Evolutionary Development of Phase-Based Dialogue Systems2003In: Proceedings of the 8th Scandianvian Conference on Artificial Intelligence. Bergen, Norway, November 2-4, 2003., 2003, p. 59-67Conference paper (Refereed)
  • 3.
    Degerstedt, Lars
    et al.
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Jönsson, Arne
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    LinTest, A development tool for testing dialogue systems2006In: Proceedings of INTERSPEECH. 2006 VOLS 1-5, Baixas, FRANCE: International Speech Communication Association , 2006, p. 489-492Conference paper (Refereed)
    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öping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Jönsson, Arne
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Open Resources for Language Technology2004In: Language Resources and Evaluation LREC,2004, Paris: ELDA , 2004Conference paper (Refereed)
  • 5.
    Degerstedt, Lars
    et al.
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Nilsson, Ulf
    Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
    Magic Computation for Well-founded Semantics1995In: Nonmonotonic Extensions of Logic Programming, 1995, p. 181-204Conference paper (Refereed)
  • 6.
    Johansson, Pontus
    et al.
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, Faculty of Arts and Sciences.
    Degerstedt, Lars
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, Faculty of Arts and Sciences.
    Jönsson, Arne
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Iterative Development of an Information-Providing Dialogue System2002In: Proceedings of the 7th ERCIM Workshop "User Interfaces for All" Paris, France, 2002., 2002Conference paper (Refereed)
  • 7.
    Johansson, Pontus
    et al.
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Degerstedt, Lars
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Jönsson, Arne
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Iterative Developmentof an Information-Providing Dialogue System2002In: Proceedings of the 7th ERCIM Workshop on User Interfaces for All. Paris, France. 2002., 2002, p. 29-36Conference paper (Refereed)
  • 8.
    Jönsson, Arne
    et al.
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Andén, Frida
    Degerstedt, Lars
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Flycht-Eriksson (Silvervarg), Annika
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Merkel, Magnus
    Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory. Linköping University, The Institute of Technology.
    Norberg, Sara
    Experiences from combining dialogue system development with information extraction techniques2004In: New Directions in Question Answering / [ed] Mark T. Maybury, Boston: AAAIMIT Press , 2004, p. 153-163Chapter in book (Other academic)
    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öping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Degerstedt, Lars
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Jönsson, Arne
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Emergent Conversational Recommendations: A Dialogue Behavior Approach2007In: Proceedings of the 8th SIGDIAL Workshop on Discourse and Dialogue,2007, 2007, p. 63-66Conference paper (Refereed)
  • 10.
    Wärnestål, Pontus
    et al.
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Degerstedt, Lars
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Jönsson, Arne
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Interview and Delivery: Dialogue Strategies for Conversational Recommender Systems2007In: Proceedings of 16th Nordic Conference of Computational Linguistics Nodalida,2007, 2007, p. 199-205Conference paper (Refereed)
  • 11.
    Wärnestål, Pontus
    et al.
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Degerstedt, Lars
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    Jönsson, Arne
    Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, NLPLAB - Natural Language Processing Laboratory.
    PCQL: A Formalism for Human-Like Preference Dialogues2007In: IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems,2007, 2007, p. 46-54Conference paper (Refereed)
1 - 11 of 11
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf