Narrow your search

Library

AP (9)

KDG (9)

EhB (7)

VUB (7)

KU Leuven (6)

ULB (6)

ULiège (6)

Odisee (5)

Thomas More Kempen (5)

Thomas More Mechelen (5)

More...

Resource type

book (12)

digital (9)


Language

English (21)


Year
From To Submit

2016 (1)

2015 (2)

2013 (2)

2011 (2)

2010 (2)

More...
Listing 1 - 10 of 21 << page
of 3
>>
Sort by

Digital
Computational Logic in Multi-Agent Systems (vol. # 3487) : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
Authors: ---
ISBN: 9783540318576 Year: 2005 Publisher: Berlin Heidelberg Springer-Verlag GmbH

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
Computational Logic in Multi-Agent Systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Authors: ---
ISBN: 9783540339977 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH

Loading...
Export citation

Choose an application

Bookmark

Abstract

Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers
Authors: --- ---
ISSN: 03029743 ISBN: 9783540339960 3540339965 3540339973 Year: 2006 Volume: 3900 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer logic --- Intelligent agents (Computer software) --- Distributed artificial intelligence --- Logique informatique --- Agents intelligents (Logiciels) --- Intelligence artificielle répartie --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Agents intelligents (logiciels) --- Information Technology --- Artificial Intelligence --- Computer science. --- Computer communication systems. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer Communication Networks. --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Distributed processing --- Artificial Intelligence. --- Intelligence artificielle répartie.


Book
Computational Logic in Multi-Agent Systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Authors: --- ---
ISBN: 9783540339977 Year: 2006 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Computational Logic in Multi-Agent Systems (CLIMA) is a series of workshops aimed at promoting activity and exchange in the intersection of two vivid - search areas. Since 2000, CLIMA has provided an opportunity to researchers to present their work on the application of general and declarative theories groundedoncomputationallogic to multi-agentsystems speci?cation, semantics and procedures, and to confront ideas such as autonomy, deliberation, kno- edge,commitment, openness, andtrust with the computationallogicparadigms. This research has encouraged the use of formal approaches to multi-agent s- tems research, and it has dealt with disparate issues such as implementations, environments, tools, and veri?cation of computational systems. ThesixtheditionofCLIMAwasheldatCityUniversityLondon,UK,onJune 27-29, 2005. The workshop lasted three days and included an invited lecture by Robert A. Kowalski (Imperial College London) based on his last book. Sixty delegates from 15 countries (UK, Italy, France, Japan, Norway, The Neth- lands, Cyprus, Germany, Canada, Ireland, Lithuania, Poland, Spain, Sweden, and Switzerland) attended the three-day event. Many of them were students. CLIMAVIwasinnovativeinmanyrespects:besidetheregularpapersessions, where the speakers presented papers selected from around 30 submissions, and the invited lecture, it hosted: - a small tutorial program, with six lectures on cutting-edge CL-based agent technology, - the ?rst edition of the CLIMA contest, organized by Jur ¨ gen Dix and Mehdi Dastani, and - the SOCS dissemination event reporting important results of an EU-funded project at the intersection of MAS and Logic Programming.


Book
PRIMA 2015: Principles and Practice of Multi-Agent Systems : 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings
Authors: --- --- --- ---
ISBN: 3319255231 331925524X Year: 2015 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015, held in Bertinoro, Italy, in October 2015. The 29 full papers and 24 short papers presented in this volume were carefully reviewed and selected from 94 submissions. The conference brings together active researchers, developers and practitioners from both academia and industry to showcase, share and promote research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

Keywords

Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer science. --- Software engineering. --- Information storage and retrieval. --- User interfaces (Computer systems). --- Artificial intelligence. --- E-commerce. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Software Engineering. --- User Interfaces and Human Computer Interaction. --- Information Storage and Retrieval. --- e-Commerce/e-business. --- Information Systems Applications (incl. Internet). --- Cybercommerce --- E-business --- E-commerce --- E-tailing --- eBusiness --- eCommerce --- Electronic business --- Internet commerce --- Internet retailing --- Online commerce --- Web retailing --- Commerce --- Information superhighway --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Computer software engineering --- Engineering --- Informatics --- Science --- Information storage and retrieva. --- Artificial Intelligence. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Intelligent agents (Computer software) --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software


Book
Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
Authors: --- --- ---
ISBN: 9783540318576 Year: 2005 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions – a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.

Keywords

robots --- Computer architecture. Operating systems --- computernetwerken --- logica --- Artificial intelligence. Robotics. Simulation. Graphics --- wiskunde --- Mathematical logic --- Computer science. --- Computer communication systems. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer Communication Networks. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer logic --- Distributed artificial intelligence --- Intelligent agents (Computer software) --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Distributed processing


Digital
Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Authors: --- --- ---
ISBN: 9783540319276 Year: 2005 Publisher: Berlin Heidelberg Springer-Verlag GmbH

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
Declarative Agent Languages and Technologies III : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
Authors: --- --- ---
ISBN: 9783540331070 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
Authors: --- --- --- ---
ISBN: 9783642223594 Year: 2011 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
PRIMA 2015: Principles and Practice of Multi-Agent Systems : 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings
Authors: --- --- --- ---
ISBN: 9783319255248 9783319255231 9783319255255 Year: 2015 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015, held in Bertinoro, Italy, in October 2015. The 29 full papers and 24 short papers presented in this volume were carefully reviewed and selected from 94 submissions. The conference brings together active researchers, developers and practitioners from both academia and industry to showcase, share and promote research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

Listing 1 - 10 of 21 << page
of 3
>>
Sort by


Copyright ©2024 SemperTool