• Login
    Search 
    •   DSpace Home
    • English resources
    • Search
    •   DSpace Home
    • English resources
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-10 of 20

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Computational Logic in Multi-Agent Systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers 

    Yamada, Tomoyuki (Springer-Verlag Berlin Heidelberg, 2007)
    This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006. It was an associated event ...
    Thumbnail

    Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 

    Steenhuisen, J. Renze; Witteveen, Cees; Zhang, Yingqian (Springer-Verlag Berlin Heidelberg, 2008)
    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located ...
    Thumbnail

    Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 

    Hutter, Dieter; Stephan, Werner (Springer-Verlag Berlin Heidelberg, 2005)
    By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann.The 30 revised ...
    Thumbnail

    Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings 

    Moral, Serafín (Springer-Verlag Berlin Heidelberg, 2005)
    These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, held in Barcelona (Spain), July 6–8, 2005. The ECSQARU conferences are biennial ...
    Thumbnail

    Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings 

    Makowsky, Johann A. (Springer-Verlag Berlin Heidelberg, 2007)
    This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 2007. The 36 revised full ...
    Thumbnail

    Computable models of the law: languages, dialogues, games, ontologies 

    Casanovas, Pompeu (Springer, 2008)
    nformation technology has now pervaded the legal sector, and the very modern concepts of e-law and e-justice show that automation processes are ubiquitous. European policies on transparency and information society, in ...
    Thumbnail

    Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings 

    Denœux, Thierry (Springer-Verlag Berlin Heidelberg, 2007)
    This book constitutes the refereed proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2007, held in Hammammet, Tunisia, October 2007.The 78 revised ...
    Thumbnail

    Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings 

    Benthem, Johan van (Springer-Verlag Berlin Heidelberg, 2000)
    This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with ...
    Thumbnail

    KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007 

    Albayrak, Sahin (Springer-Verlag Berlin Heidelberg, 2007)
    The 30th Annual German Conference on Arti?cial Intelligence (KI-2007) took place in the University of Osnabru ¨ck, September 10–13, 2007. In this volume, you will find papers or abstracts of its six invited talks, 25 full ...
    Thumbnail

    AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings 

    Motoda, Hiroshi (Springer-Verlag Berlin Heidelberg, 2006)
    The Australian Joint Conference on Artificial Intelligence series is steered by the Australian Computer Society's (ACS) National Committee on Artificial Intelligence and Expert Systems. It aims at stimulating research by ...
    • 1
    • 2

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsBy Submit DateThis CommunityBy Issue DateAuthorsTitlesSubjectsBy Submit Date

    My Account

    LoginRegister

    Discover

    AuthorAchlioptas, Dimitris (1)Albayrak, Sahin (1)Allen, Jeffrey (1)Balcázar, Jose L. (1)Benthem, Johan van (1)Casanovas, Pompeu (1)Cordeschi, Roberto (1)Craw, Susan (1)Denœux, Thierry (1)Dermaku, Artan (1)... View MoreSubject
    Artificial Intelligence (20)
    Mathematical Logic and Formal Languages (20)
    Image Processing and Computer Vision (4)Computation by Abstract Devices (3)Computer Communication Networks (3)Data Mining and Knowledge Discovery (3)Database Management (3)Information Storage and Retrieval (3)Software Engineering (3)Algorithm Analysis and Problem Complexity (2)... View MoreDate Issued2007 (6)2005 (3)2006 (3)2008 (3)2000 (2)2004 (2)2003 (1)Has File(s)Yes (20)

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV