Narrow your search

Library

ULiège (10)

KU Leuven (9)

ULB (7)

AP (4)

KDG (4)

Odisee (4)

Thomas More Kempen (4)

Thomas More Mechelen (4)

UCLouvain (4)

UCLL (4)

More...

Resource type

book (19)

digital (4)


Language

English (22)

Dutch (1)


Year
From To Submit

2017 (2)

2010 (3)

2009 (3)

2008 (1)

2006 (3)

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

Book
Agenttechnologie : computers die 'denken'
Author:
Year: 2008 Publisher: Lelystad IVIO

Loading...
Export citation

Choose an application

Bookmark

Abstract

Deontic logic in computer science : normative system specification
Authors: ---
ISBN: 0471937436 9780471937432 Year: 1993 Publisher: Chichester Wiley

Loading...
Export citation

Choose an application

Bookmark

Abstract

Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems. A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software. This book provides a unique and timely assessment of the practical value of deontic logic for computer scientists in AI and law and, more particularly, in such areas as distributed AI and intelligent cooperative information systems.

Formal models of agents : ESPRIT Project ModelAge final report
Authors: ---
ISBN: 3540670270 9783540670278 3540465812 Year: 2000 Volume: 1760 Publisher: Berlin ; Heidelberg : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Intelligent agents (Computer software) --- Formal methods (Computer science) --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Software engineering. --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Software Engineering/Programming and Operating Systems. --- Computer System Implementation. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- System design --- Agents, Autonomous (Computer software) --- Agents, Cognitive (Computer software) --- Agents, Intelligent (Computer software) --- Assistants, Cognitive (Computer software) --- Assistants, Intelligent software --- Autonomous agents (Computer software) --- Cognitive agents (Computer software) --- Cognitive assistants (Computer software) --- IAs (Computer software) --- Intelligent agent software --- Intelligent software agents --- Intelligent software assistants --- Software agents (Computer software) --- Special agents (Computer software) --- Artificial intelligence --- Computer programs --- Computer network architectures. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer software engineering --- Engineering --- 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 --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- 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 --- Computer science logic --- Logic, Symbolic and mathematical --- Architecture, Computer --- Distributed processing


Book
Handbook of defeasible reasoning and uncertainty management systems. 6: Dynamics and management of reasoning processes
Authors: ---
Year: 2001 Publisher: Dordrecht : Kluwer academic,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Digital
Deontic Logic and Artificial Normative Systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
Authors: ---
ISBN: 9783540358435 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
Knowledge Representation for Agents and Multi-Agent Systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
Authors: ---
ISBN: 9783642053016 Year: 2009 Publisher: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg


Book
Knowledge Representation for Agents and Multi-Agent Systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
Authors: --- ---
ISBN: 3642053009 3642053017 Year: 2009 Publisher: Berlin ; Heidelberg : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning. The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems.

Keywords

Knowledge representation (Information theory) --- Intelligent agents (Computer software) --- Computer Science --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Information Technology --- Artificial Intelligence --- Computer science. --- Computers. --- Mathematical logic. --- Data mining. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- User Interfaces and Human Computer Interaction. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Data Mining and Knowledge Discovery. --- Information Systems Applications (incl. Internet). --- 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 --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Epistemic logic for AI and computer science.
Authors: ---
ISBN: 0521602807 Year: 2004 Publisher: Cambridge: Cambridge university press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial intelligence: topics that are addressed include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The problem of logical omniscience is also discussed extensively. Halpern and Moses' theory of honest formulae is covered, and a digression is made into the realm of non-monotonic reasoning and preferential entailment. Moore's autoepistemic logic is discussed, together with Levesque's related logic of 'all I know'. Furthermore, it is shown how one can base default and counterfactual reasoning on epistemic logic.


Book
Intelligent Technologies for Interactive Entertainment : 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers
Authors: --- --- ---
ISBN: 3319496166 3319496158 Year: 2017 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent technologies for Interactive Entertainment, INTETAIN 2016, held in Utrecht, The Netherlands, in June 2016. The 19 full papers, 5 short and 6 workshop papers were selected from 49 submissions and present novel interactive techniques and their application in entertainment, education, culture and art. The papers are grouped in six thematic sessions: serious games, novel applications and tools, exertion games, persuasion and motivation, interaction technologies and game studies.

Keywords

Computer science. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer graphics. --- Application software. --- Education --- Multimedia systems. --- Computer Science. --- Media Design. --- User Interfaces and Human Computer Interaction. --- Artificial Intelligence (incl. Robotics). --- Computer Applications. --- Computers and Education. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Data processing. --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Computer uses in education --- Computers in education --- Educational computing --- Microcomputer uses in education --- Microcomputers in education --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Interfaces, User (Computer systems) --- Informatics --- Information storage and retrieval systems --- Computer software --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Human-machine systems --- Human-computer interaction --- Science --- Digital techniques --- Education. --- Computer vision. --- Artificial Intelligence. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Pattern recognition systems --- Children --- Education, Primitive --- Education of children --- Human resource development --- Instruction --- Pedagogy --- Schooling --- Students --- Youth --- Civilization --- Learning and scholarship --- Mental discipline --- Schools --- Teaching --- Training --- Multimedia systems . --- Education—Data processing. --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Optical equipment

Intelligent Agents VIII : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers
Authors: --- ---
ISSN: 03029743 ISBN: 3540438580 9783540438588 3540454489 Year: 2002 Volume: 2333 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on “Agent Theories, Architectures, and L- guages” have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject, where besides theory per se also integration of theory and practice is in focus. Speci?cally, ATAL - dresses issues of theories of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for applying and evaluating agent-based systems. ATAL 2001 featured two special tracks in which both the more theoretical / formal and the more practical aspects were present, viz. “Formal Theories of Negotiation”, organized by Frank Dignum, and “Agents for Hand-Held, Mobile, or Embedded Devices”, organized by Tim Finin. There was also an extra session on RoboCup Rescue, organized and presented by Satoshi Tadokoro and Ranjit Nair. ATAL 2001 attracted 68 papers from over 20 countries all over the world, of which 30 were selected for presentation at the workshop and publication in this volume. We invited two outstanding speakers: Fausto Giunchiglia (Trento, Italy) and Tom Dean (Brown, USA).

Keywords

Intelligent agents (Computer software) --- Computer science. --- Computer communication systems. --- Software engineering. --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer Communication Networks. --- Software Engineering. --- Logics and Meanings of Programs. --- 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 science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- 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 --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Intelligent agents (Computer software) - Congresses

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