liu.seSearch for publications in DiVA
Endre søk
Begrens søket
1 - 27 of 27
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.
    Doherty, Patrick
    et al.
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, KPLAB - Laboratoriet för kunskapsbearbetning.
    Granlund, Gösta
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för systemteknik, Bildbehandling.
    Kuchcinski, Krzysztof
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, KPLAB - Laboratoriet för kunskapsbearbetning.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    Nordberg, Klas
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för systemteknik, Bildbehandling.
    Skarman, Erik
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, EMTEK - Enheten för metodik och teknik för kunskapshantering.
    Wiklund, Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för systemteknik, Bildbehandling.
    The WITAS unmanned aerial vehicle project2000Inngår i: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI) / [ed] Werner Horn, Amsterdam: IOS Press , 2000, , s. 747-755s. 747-755Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with the goal of developing technologies and functionalities necessary for the successful deployment of a fully autonomous UAV operating over diverse geographical terrain containing road and traffic networks. Theproject is multi-disciplinary in nature, requiring many different research competences, and covering a broad spectrum of basic research issues, many of which relate to current topics in artificial intelligence. A number of topics considered are knowledge representation issues, active vision systems and their integration with deliberative/reactive architectures, helicopter modeling and control, ground operator dialogue systems, actual physical platforms, and a number of simulation techniques.

  • 2.
    Frankel, Mark S
    et al.
    American Association for the Advancement of Science, U.S.A. .
    Elliott, Roger
    International Council for Science, UK .
    Blume, Martin
    American Physical Society, U.S.A. .
    Bourgois, Jean-Manuel
    Magnard/Vuibert Publishers, France .
    Hugenholtz, Bernt
    University of Amsterdam, The Netherlands .
    Lindquist, Mats G.
    Lund University Library, Sweden .
    Morris, Sally
    ciation of Learned & Professional Society Publishers, U.K. .
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    Defining and Certifying Electronic Publication in Science2000Inngår i: Learned Publishing, ISSN 0953-1513, E-ISSN 1741-4857, Vol. 13, nr 4, s. 251-258Artikkel i tidsskrift (Fagfellevurdert)
  • 3.
    Granlund, Gösta
    et al.
    Linköpings universitet, Institutionen för systemteknik, Bildbehandling. Linköpings universitet, Tekniska högskolan.
    Nordberg, Klas
    Linköpings universitet, Institutionen för systemteknik, Bildbehandling. Linköpings universitet, Tekniska högskolan.
    Wiklund, Johan
    Linköpings universitet, Institutionen för systemteknik, Bildbehandling. Linköpings universitet, Tekniska högskolan.
    Doherty, Patrick
    Linköpings universitet, Institutionen för datavetenskap, KPLAB - Laboratoriet för kunskapsbearbetning. Linköpings universitet, Tekniska högskolan.
    Skarman, Erik
    Linköpings universitet, Institutionen för datavetenskap, EMTEK - Enheten för metodik och teknik för kunskapshantering. Linköpings universitet, Tekniska högskolan.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    WITAS: An Intelligent Autonomous Aircraft Using Active Vision2000Inngår i: Proceedings of the UAV 2000 International Technical Conference and Exhibition (UAV), Paris, France: Euro UVS , 2000Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The WITAS Unmanned Aerial Vehicle Project is a long term basic research project located at Linköping University (LIU), Sweden. The project is multi-disciplinary in nature and involves cooperation with different departments at LIU, and a number of other universities in Europe, the USA, and South America. In addition to academic cooperation, the project involves collaboration with a number of private companies supplying products and expertise related to simulation tools and models, and the hardware and sensory platforms used for actual flight experimentation with the UAV. Currently, the project is in its second phase with an intended duration from 2000-2003.

    This paper will begin with a brief overview of the project, but will focus primarily on the computer vision related issues associated with interpreting the operational environment which consists of traffic and road networks and vehicular patterns associated with these networks.

  • 4.
    Lawrence, David
    et al.
    Linköpings universitet, Institutionen för fysik, kemi och biologi. Linköpings universitet, Tekniska högskolan.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    Berkesand, Peter
    Linköpings universitet, Institutionen för studier av samhällsutveckling och kultur. Linköpings universitet, Filosofiska fakulteten.
    A Swedish Journal Publication Service2007Inngår i: Högskolor och samhälle i samverkan (HSS), 2007Konferansepaper (Annet vitenskapelig)
    Abstract [en]

    In 2002, Linköping University Electronic Press began development of a journal article reviewing support system (JARSS) as a tool for Editors of electronic journals. The system-s database contains submitted articles, abstracts and other secondary information, reviews, and e-mail communication for the purpose of submission, reviewing and final acceptance. The interface maintains a log of all events pertaining to the article and the associated status changes. The successive status options of an article (received, under review, conditional accept, etc.) correspond to the editorial workflow. JARRS has been used since its inception to run the Artificial Intelligence Journal (AIJ), an Elsevier publication. In essence a service is offered to take care of the technical aspects of journal publication, allowing editors more time to solicit papers of high quality.

  • 5.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    A Neo-Classical Structure for Scientific Publication and Reviewing1997Rapport (Annet vitenskapelig)
    Abstract [en]

    I propose a neo-classical structure for publishing and reviewing of scientific works. This proposal has the following characteristic components:

    • Electronic “preprint archives” and other similar mechanisms where research articles are made publicly available without prior formal review are considered as true and full-fledged publication of research from the point of view of priority of results.
    • Large parts of the reviewing process is done publicly and in the form of published review letters and other contributions to the scientific debate, rather than through anonymous and confidential review statements which dominate today. There is a switch from anonymous “pass-fail” reviewing towards open reviewing where the identity and the comments of the reviewers are made public.
    • Since open reviewing happens after publication, rather than before, there is a second step where articles are promoted to “recommended” or “certified” status through the decision of a review committee. The requirements for certification are set at least as high as for the formally published journal articles of today, so that it counts like journal publication in a CV.
    • Several techniques are foreseen for facilitating the selection process of the individual reader as well as for improving communication as such between researchers.
    • One should accept that there are good reasons why there may be several articles (from the same author) presenting the same result. This suggests the introduction of a formal concept of a “result” which is represented by several publications, and to allow citations to refer to results rather than to some specific publication of the result.

    I refer to this system as neo-classical because it assumes that peer review is done openly and after an article has been published. It is of course only proposed as a complement which can easily co-exist with the modern system, allowing each author to choose which of the two systems he or she wishes to use for a particular article.

  • 6.
    Sandewall, Erik
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    A Review of the Handbook of Knowledge Representation.2008Inngår i: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 172, nr 18, s. 1965-1966Artikkel, omtale (Annet vitenskapelig)
    Abstract [en]

    The newly appeared Handbook of Knowledge Representation is an impressive piece of work. Its three editors and its forty-five contributors have produced twenty-five concise, textbook-style chapters that introduce most of the major aspects of the science of knowledge representation. Reading this book is a very positive experience: it demonstrates the breadth, the depth and the coherence that our field has achieved by now.

  • 7.
    Sandewall, Erik
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    Artificial Intelligence Needs Open-Access Knowledgebase Contents2008Inngår i: Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), Menlo Park, California, USA: AAAI Press , 2008, s. 1602-1605Konferansepaper (Fagfellevurdert)
    Abstract [en]

    A substantial knowledgebase is an important part of many A.I. applications as well as (arguably) in any system that is claimed to implement broad-range intelligence. Although this has been an accepted view in our field since very long, little progress has been made towards the establishment of large and sharable knowledgebases. Both basic research projects and applications projects have found it necessary to construct special-purpose knowledgebases for their respective needs. This is obviously a problem: it would save work and speed up progress if the construction of a broadly sharable and broadly useful knowledgebase could be a joint undertaking for the field. In this article I wish to discuss the possibilities and the obstacles in this respect. I shall argue that the field of Knowledge Representation needs to adopt a new and very different paradigm in order for progress to be made, so that besides working as usual on logical foundations and on algorithms, we should also devote substantial efforts to the systematic preparation of knowledgebase contents.

  • 8.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    Defeasible inheritance with doubt index and its axiomatic characterization2010Inngår i: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 174, nr 18, s. 1431-1459Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This article introduces and uses a representation of defeasible inheritance networks where links in the network are viewed as propositions, and where defeasible links are tagged with a quantitative indication of the proportion of exceptions, called the doubt index. This doubt index is used for restricting the length of the chains of inference. The representation also introduces the use of defeater literals that disable the chaining of subsumption links. The use of defeater literals replaces the use of negative defeasible inheritance links, expressing "most A are not B". The new representation improves the expressivity significantly. Inference in inheritance networks is defined by a combination of axioms that constrain the contents of network extensions, a heuristic restriction that also has that effect, and a nonmonotonic operation of minimizing the set of defeater literals while retaining consistency. We introduce an underlying semantics that defines the meaning of literals in a network, and prove that the axioms are sound with respect to this semantics. We also discuss the conditions for obtaining completeness. Traditional concepts, assumptions and issues in research on nonmonotonic or defeasible inheritance are reviewed in the perspective of this approach.

  • 9.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerad datorsystem. Linköpings universitet, Tekniska högskolan.
    Editorial Material: A perspective on the early history of artificial intelligence in Europe2014Inngår i: AI Communications, ISSN 0921-7126, E-ISSN 1875-8452, Vol. 27, nr 1, s. 81-86Artikkel i tidsskrift (Annet vitenskapelig)
    Abstract [en]

    n/a

  • 10.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    Exercising Moral Copyright for Evolving Publications2010Inngår i: ScieCom Info, ISSN 1652-3202, Vol. 6, nr 3Artikkel i tidsskrift (Annet vitenskapelig)
  • 11.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    From systems to logic in the early development of nonmonotonic reasoning2011Inngår i: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 175, nr 1, s. 416-427Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This note describes how the notion of nonmonotonic reasoning emerged in Artificial Intelligence from the mid-1960s to 1980. It gives particular attention to the interplay between three kinds of activities: design of high-level programming systems for AI, design of truth-maintenance systems, and the development of nonmonotonic logics. This was not merely a development from logic to implementation: in several cases there was a development from a system design to a corresponding logic. The article concludes with some reflections on the roles and relationships between logicist theory and system design in AI, and in particular in Knowledge Representation.

  • 12.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    Maintaining Live Discussion in Two-Stage Open Peer Review2012Inngår i: Frontiers in Computational Neuroscience, ISSN 1662-5188, E-ISSN 1662-5188, Vol. 6, nr 9Artikkel, forskningsoversikt (Fagfellevurdert)
    Abstract [en]

    Open peer review has been proposed for a number of reasons, in particular, for increasing the transparency of the article selection process for a journal, and for obtaining a broader basis for feedback to the authors and for the acceptance decision. The review discussion may also in itself have a value for the research community. These goals rely on the existence of a lively review discussion, but several experiments with open-process peer review in recent years have encountered the problem of faltering review discussions. The present article addresses the question of how lively review discussion may be fostered by relating the experience of the journal Electronic Transactions on Artificial Intelligence (ETAI) which was an early experiment with open peer review. Factors influencing the discussion activity are identified. It is observed that it is more difficult to obtain lively discussion when the number of contributed articles increases, which implies difficulties for scaling up the open peer review model. Suggestions are made for how this difficulty may be overcome.

  • 13.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    On the Design of Software Individuals2001Inngår i: Electronic Transactions on Artifical Intelligence, ISSN 1403-3534, E-ISSN 1403-3526, Vol. 5Artikkel i tidsskrift (Annet vitenskapelig)
  • 14.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerad datorsystem. Linköpings universitet, Tekniska fakulteten.
    Samtal om Sveriges nation2015Bok (Annet (populærvitenskap, debatt, mm))
    Abstract [sv]

    Demokratin ifrågasätts i dagens värld genom att auktoritära och fundamentalistiska ideologier av flera slag förs fram som alternativ. De tillämpas i praktiken i ett flertal länder, men de sprids också genom aktiv propaganda. Den här boken utgår från föreställningen att detta utgör en utmaning även för vårt land, och den föreslår framförallt två åtgärder för att möta den utmaningen.

    Ett förslag är att precisera samhällets demokratiska grundsatser och att komplettera dem med några ytterligare punkter, såsom följande. En princip om assimilationsfrihet formuleras, alltså en rättighet att byta etnisk, religiös eller politisk tillhörighet om man vill, och samtidigt förstås en rättighet att bevara den man har. I boken föreslås utvidgat skydd för dessa rättigheter. Likaså införs begreppet religionism, alltså hävdandet att en viss religion är överlägsen andra och är förutbestämd att ta över, och det föreslås att religionism ska likställas med rasism.

    Det andra huvudförslaget är att betrakta nationen som bäraren av detta utvidgade demokratibegrepp, men då handlar det om nationen i en annan bemärkelse än vad dagens `nationalister' föreställer sig. Boken anknyter till skillnaden mellan etnisk och samhällelig nationalism (`civic nationalism' på engelska). I den förra sökerman göra en etnisk grupp till en nation, i den senare ses nationen som fundamentet för staten och samhället, och som den samlande faktorn för alla medborgare som ansluter sig till det demokratiska samhällets principer.

    Boken hävdar också att en kunskap om Sveriges historia ur politisk och religiös synpunkt är viktig för att kunna relatera till de främmande ideologierna och för attförstå hur vår samhällsmodell förhåller sig till deras.

  • 15.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    Strategies and policies of Linköping University Electronic Press1997Rapport (Annet vitenskapelig)
    Abstract [en]

     

    Linköping University has recently created a separate entity, called Linköping University Electronic Press, for the unrefereed electronic publication of research articles and other university-related materials over the Internet. The present article presents the background for why the E-Press was created and the strategies which have been chosen for its operation at least during its initial period. The article identifies three key problems in the context of this strategy:

    • The purely formal problems concerning what counts as a publication;
    • The persistence problem of making sure that an electronically published article does not change over time;
    • The reception problems concerning how fellow researchersand the academic community regard electronically published articles.

    We describe how the formal problems and the persistence problems have been addressed in the E-Press initiative. With respect to the reception problems, we argue that scientific journals and journal-like conferences presently perform four distinct functions, and that these functions can be performed better if they are “unbundled” and addressed by other means. The four functions are:

    • Publication in the narrow sense - making the article publicly available;
    • Scientific quality control through reviewing;
    • Selection of relevant articles for the benefit of the researcher-reader;
    • Promotion of the scientific results of the author.

    The Electronic Press focusses on the first one of these four functions. We discuss how the other three functions can be separated and performed by other means than through a conventional journal or quality conference proceedings.

  • 16.
    Sandewall, Erik
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Systems - Opening up the process2006Inngår i: Nature, ISSN 0028-0836, E-ISSN 1476-4687Artikkel i tidsskrift (Annet vitenskapelig)
    Abstract [en]

    n/a

  • 17.
    Sandewall, Erik
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    The Leordo Computation System2008Inngår i: From Semantics to Computer Science: Essays in Honour of Gilles Kahn / [ed] Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin., Edinburgh: Cambridge University Press , 2008, 1, s. 309-336Kapittel i bok, del av antologi (Annet vitenskapelig)
    Abstract [en]

    Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The editors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.

  • 18.
    Sandewall, Erik
    et al.
    Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory. Linköpings universitet, Tekniska högskolan.
    Doherty, Patrick
    Linköpings universitet, Institutionen för datavetenskap, KPLAB - Laboratoriet för kunskapsbearbetning. Linköpings universitet, Tekniska högskolan.
    Lemon, Oliver
    University of Edinburgh.
    Peters, Stanley
    Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle2003Inngår i: Proceedings of the 26th German Conference on Artificial Intelligence (KI), Springer Verlag , 2003, s. 52-63Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The WITAS project addresses the design of an intelligent, autonomous UAV (Unmanned Aerial Vehicle), in our case a helicopter. Its dialogue-system subprojects address the design of a deliberative system for natural-language and graphical dialogue with that robotic UAV. This raises new issues both for dialogue and for reasoning in real time. The following topics have been particularly important for us in various stages of the work in these subprojects: - spatiotemporal reference in the dialogue, including reference to past events and to planned or expected, future events - mixed initiative in the dialogue architecture of a complex system consisting of both dialogue-related components (speech, grammar, etc) and others (simulation, event recognition, interface to robot) and more recently as well - identification of a dialogue manager that is no more complex than what is required by the application - uniform treatment of different types of events, including the robot's own actions, observed events, communication events, and dialogue-oriented deliberation events - a logic of time, action, and spatiotemporal phenomena that facilitates the above. This paper gives a brief overview of the WITAS project as a whole, and then addresses the approaches that have been used and that are presently being considered in the work on two generations of dialogue subsystems.

  • 19.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    A software architecture for AI systems based on self-modifying software individuals2003Inngår i: Proceedings of the International Lisp Conference (ILC), 2003Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The Software Individuals Architecture (SIA) is a framework fordefining software systems that are capable of self-modification and of reproductionon the level of an interpretive programming language. In abstractterms, a self-modifying system is a labelled tree containing scripts at someof its nodes; these scripts are effectively programs. A computation in sucha system executes a specific script. In doing so it maintains a local computationalstate, but it also uses and updates the labelled tree. The labelledtree, the local computational state, and the command language used for thescripts are all designed in such a way as to support self-modification andreproduction in a structured and orderly fashion.We have defined a practical system of this kind both on an abstract andformal level and as an implementation using Lisp as the host language. Thisarchitecture has been used as a platform for several applications, including inparticular the speech and natural-language dialogue system for an intelligentautonomous unmanned aerial vehicle (UAV) in the WITAS project. Thearchitecture design has been revised repeatedly as a result of using it for thisapplication as well as several others.

  • 20.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    Actions as a Basic Software Concept in the Leonardo Computation System2005Inngår i: IJCAI 2005 Workshop on Nonmonotonic Reasoning, Action and Change,2005, 2005Konferansepaper (Fagfellevurdert)
  • 21.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    Coordination of actions in an autonomous robotic system2006Inngår i: Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello / [ed] Oliviero Stock, Marco Schaerf, Springer , 2006, Vol. 4155, s. 177-191Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, friends, and international colleagues, who have cooperated with Luigia Carlucci Aiello, scientifically or in AI boards or committees. The contributions by reputed researchers span a wide range of AI topics and reflect the breadth and depth of Aiello's own work

  • 22.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    Extending the concept of publication: Factbases and knowledgebases2008Inngår i: Learned Publishing, ISSN 0953-1513, E-ISSN 1741-4857, Vol. 21, nr 2, s. 123-131Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The concept of a 'publication' no longer applies only to printed works, information technology has extended its application to several other types of works. This article describes a facility called the Common Knowledge Library that publishes modules of formally structured information representing facts and knowledge of various kinds. Publications of this new type have some characteristics in common with databases, and others in common with software modules, however, they also share some important characteristics with traditional publications. A framework for citation of previous work is important in order to provide an incentive for contributors of such modules. Peer review - the traditional method of quality assurance for scientific articles - must also be applied, although in a modified form, for fact and knowledge modules. The construction of the Common Knowledge Library is a cumulative process, new contributions are obtained by interpreting the contents of existing knowledge sources on the Internet, and the existing contents of the Library are an important resource for that interpretation process.

  • 23.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    High-level design of WWW servers in Allegro Common Lisp2003Inngår i: Proceedings of the International Lisp Conference (ILC), 2003Konferansepaper (Fagfellevurdert)
    Abstract [en]

    When invoking a function or a procedure in an ordinary programming language, it is normally assumed that the arguments may be given as composite expressions, and that they are not restricted to atomic constants or variable symbols. However, although active web pages in HTML-based web servers can be viewed as a kind of procedures, they do not enjoy the same flexibility.  The present paper reports on a software package that extends the embedded web server in the ACL (Allegro Common Lisp) system and that provides it with the kind of functional flavor just described. In passing, the software also adds a number of other convenience measures to the LHTML (Lisp-encoded HTML) of the ACL server.

  • 24.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    Integration of Live Video in a System for Natural Language Dialog with a Robot2005Inngår i: Proceedings of the 9th workshop on the semantics and pragmatics of dialogue (SemDial), 2005Konferansepaper (Fagfellevurdert)
  • 25.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    Leonardo, an Approach towards the Consolidation of Computer Software System2005Annet (Annet (populærvitenskap, debatt, mm))
  • 26.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    M. Shanahan, Solving the Frame Problem2000Inngår i: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 123, nr 1-2, s. 271-273Artikkel, forskningsoversikt (Annet vitenskapelig)
  • 27.
    Sandewall, Erik Johan
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, CASL - Cognitive Autonomous Systems Laboratory.
    Use of cognitive robotics logic in a double helix architecture for autonomous systems2002Inngår i: Advances in Plan-Based Control of Robotic Agents: Revised Papers from the International Seminar at Dagstuhl Castle, Springer , 2002, Vol. 2466, s. 226-248Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper addresses the two-way relation between the architecture for cognitive robots on one hand, and a logic of action and change that is adapted to the needs of such robots on the other hand. The relation goes both ways: the logic is used within the architecture, but we also propose that an abstract model of the cognitive robot architecture shall be used for defining the semantics of the logic. For this purpose, we describe a novel architecture called the Double Helix Architecture which, unlike earlier proposals, emphasizes a precise account of the metric discrete timeline and the computational processes that take place along that timeline. The computational model of the Double Helix Architecture corresponds to the semantics of the logic being used, namely the author's Cognitive Robotics Logic which is based on the 'Features and Fluents' theory.

1 - 27 of 27
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