Narrow your search

Library

Odisee (11)

Thomas More Kempen (11)

Thomas More Mechelen (11)

UCLL (11)

VIVES (11)

KU Leuven (8)

LUCA School of Arts (7)

ULB (7)

ULiège (7)

VUB (5)

More...

Resource type

book (11)

digital (1)


Language

English (10)

French (1)


Year
From To Submit

2021 (1)

2019 (1)

2014 (3)

2012 (1)

2010 (1)

More...
Listing 1 - 10 of 11 << page
of 2
>>
Sort by
Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings
Authors: ---
ISBN: 9783540396253 354039625X 3540396276 Year: 2006 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Artificial intelligence --- Logic, Symbolic and mathematical --- Intelligence artificielle --- Logique symbolique et mathématique --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- 681.3*I2 --- 681.3*F41 --- 681.3*D16 --- Artificial intelligence. AI --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Programming techniques: Logic programming --- Information Technology --- Artificial Intelligence --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*I2 Artificial intelligence. AI --- Computer science. --- Computer programming. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Programming Techniques. --- 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 --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Artificial Intelligence. --- JELIA


Book
Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Authors: ---
ISSN: 03029743 ISBN: 3642328962 3642328970 Year: 2012 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Keywords

Multiagent systems --- Computational intelligence --- Mechanical Engineering --- Engineering & Applied Sciences --- Mechanical Engineering - General --- Computer Science --- Information Technology --- Artificial Intelligence --- Agent-based model (Computer software) --- MASs (Multiagent systems) --- Multi-agent systems --- Systems, Multiagent --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Intelligent agents (Computer software) --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- 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 --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism


Book
Migration : a world history
Author:
ISBN: 0199764344 0199351945 9780199351947 1299966721 9781299966727 Year: 2014 Publisher: Oxford ; New York : Oxford University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Michael Fisher explores the process of migration chronologically and at levels varying from the migration of an individual community, to larger patterns of the collective movements of major ethnic groups, to the more abstract study of emigration, migration, and immigration.

Handbook of temporal reasoning in artificial intelligence
Authors: --- ---
ISBN: 9780080533360 0080533361 1281119733 9781281119735 9786611119737 6611119736 9780444514936 0444514937 Year: 2005 Publisher: Amsterdam ; Boston : Elsevier,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has been no single volume collecting together the breadth of work in this area. This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence.Key Features:- Broad

Contract law in Hong Kong
Authors: ---
ISBN: 1282708767 9786612708763 9888052144 9789888052141 9789622098657 9622098657 Year: 2007 Publisher: Hong Kong Hong Kong University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Contract Law in Hong Kong is the first comprehensive textbook on this topic for more than ten years. The 16 chapters of the book use case studies to cover all basic contract concepts in a reader-friendly style. Particular emphasis is placed on what makes Hong Kong law different from other common law jurisdictions. Attention is drawn throughout to the continuing significance of English case law in Hong Kong. Emphasis is also placed on the substantial similarity in many areas between English and Hong Kong legislation and there is a useful 'cross-referencing' glossary.The book deals with all the

Keywords

Contracts


Book
Computational logic in multi-agent systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers
Authors: --- --- ---
ISBN: 3642168663 9786613568199 1280390271 3642168671 Year: 2010 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer logic --- Intelligent agents (Computer software) --- Mechanical Engineering --- Engineering & Applied Sciences --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- Multiagent systems --- Agent-based model (Computer software) --- MASs (Multiagent systems) --- Multi-agent systems --- Systems, Multiagent --- Computer science. --- Computer communication systems. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- 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 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 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 --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Hamburg <2009>


Book
Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers
Authors: --- --- ---
ISBN: 3642027334 3642027342 Year: 2009 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed and revised proceedings of the 9th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September 2008 and co-located with the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008. The 8 full papers, presented together with two invited papers, were carefull selected from 18 submissions and passed through two rounds of reviewing and revision. Topics addressed in the regular papers include the use of automata-based techniques for verifying agents' conformance with protocols, and an approach based on the C+ action description language to provide formal specifications of social processes such as those used in business processes and social networks. Other topics include casting reasoning as planning and thus providing an analysis of reasoning with resource bounds, a discussion of the formal properties of Computational Tree Logic (CTL) extended with knowledge operators, and the use of argumentation in multi-agent negotiation. The invited contributions discuss complexity results for model-checking temporal and strategic properties of multi-agent systems, and the challenges in design and development of programming languages for multi-agent systems.

Keywords

Computer logic --- Intelligent agents (Computer software) --- Computer Science --- Mathematical Theory --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Computer science. --- Data structures (Computer science). --- Computers. --- Computer logic. --- Mathematical logic. --- Computer science --- Computer Science. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Theory of Computation. --- Data Structures, Cryptology and Information Theory. --- Mathematics of Computing. --- Models and Principles. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Informatics --- Science --- Logic design. --- Information theory. --- Data structures (Computer scienc. --- Data Structures and Information Theory. --- Communication theory --- Communication --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics.


Book
Hidden heroes
Authors: --- --- --- --- --- et al.
ISBN: 0833085557 0833085565 0833085581 9780833085566 9780833085559 9780833085580 Year: 2014 Publisher: Santa Monica, CA RAND Corporation

Loading...
Export citation

Choose an application

Bookmark

Abstract

Little has been reported about "military caregivers"-the population of those who care for wounded, ill, and injured military personnel and veterans. This report summarizes the results of a study designed to describe the magnitude of military caregiving in the United States today, as well as to identify gaps in the array of programs, policies, and initiatives designed to support military caregivers.

Keywords

Caregivers -- Services for -- United States. --- Medicine, Military -- United States. --- Military doctors -- United States -- Services for. --- Military nurses -- United States -- Services for. --- Military nursing -- United States. --- Military personnal -- United States -- Health and hygiene. --- Military personnal -- United States -- Medical care. --- Military personnal -- United States -- Mental health services. --- Military social work -- United States. --- Military social workers -- United States -- Services for. --- Psychology, Military. --- Veterans -- Care -- United States -- Psychological aspects. --- Veterans -- Health and hygiene -- United States. --- Veterans -- Medical care -- United States. --- Veterans -- Mental health services -- United States. --- Medicine, Military --- Military nursing --- Military social work --- Psychology, Military --- Veterans --- Caregivers --- Persons --- Health Personnel --- Education --- Social Environment --- Health Services Research --- Population Characteristics --- Sociology --- Delivery of Health Care --- Health Care Quality, Access, and Evaluation --- Named Groups --- Health Care Facilities, Manpower, and Services --- Social Sciences --- Health Care --- Occupational Groups --- Anthropology, Education, Sociology and Social Phenomena --- Health Planning --- Health Care Economics and Organizations --- Needs Assessment --- Socioeconomic Factors --- Social Support --- Disabled Persons --- Medicine --- Military & Naval Science --- Law, Politics & Government --- Health & Biological Sciences --- Military Administration --- Military & Naval Medicine --- Medical care --- Mental health services --- Health and hygiene --- Psychological aspects --- Care --- Services for --- Combat veterans --- Ex-military personnel --- Ex-service men --- Military veterans --- Returning veterans --- Vets (Veterans) --- War veterans --- Social service, Military --- Social service and military mobilization --- Armed Forces --- Retired military personnel --- Public welfare --- Social service --- Nursing


Book
Veteran employment
Authors: --- --- --- --- --- et al.
ISBN: 0833089382 9780833089380 0833088149 9780833088147 Year: 2014 Publisher: Santa Monica, CA RAND

Loading...
Export citation

Choose an application

Bookmark

Abstract

Eleven companies cofounded the 100,000 Jobs Mission in 2011 to promote veteran employment, with a goal of hiring 100,000 veterans by 2020. The coalition has grown to over 175 companies, which have exceeded the initial goal and are now on track to hire 200,000 veterans by the end of 2014. These companies represent nearly every U.S. industry and vary in size, geographic location, and in the types of veterans they hire. Reflecting on the first three years of operation, JPMorgan Chase & Co. asked the RAND Corporation to capture the lessons and experiences from the 100,000 Jobs Mission to identify further improvements to veteran employment opportunities. RAND researchers conducted qualitative interviews with representatives of a sample of member companies, delving into the ways they recruit and hire veterans, help veterans transition into their new jobs, and manage and develop veteran employees and the value veterans bring as employees. Interviewees pointed out that veterans are most noted for their leadership skills and teamwork; for their flexibility and ability to work in a fast-paced, changing environment without undue stress; for their dependability, integrity, and loyalty; and for their experience working in a culturally diverse or global environment. This research also explored the challenges to hiring and employing veterans and provides recommendations to assist employers and promote veteran employment opportunities more broadly.


Book
Land of Stark Contrasts : Faith-Based Responses to Homelessness in the United States.
Authors: --- --- --- --- --- et al.
ISBN: 0823293971 Year: 2021 Publisher: New York : Fordham University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"An important new volume showcasing a wide range of faith-based responses to one of today's most pressing social issues, challenging us to expand our ways of understanding. Land of Stark Contrasts brings together the work of social scientists, ethicists, and theologians exploring the profound role of religion in understanding and responding to homelessness and housing insecurity in all corners of the United States-from Seattle, San Francisco, and Silicon Valley to Dallas and San Antonio to Washington, D.C., and Boston. Together, the essays of Land of Stark Contrasts chart intriguing ways forward for future initiatives to address the root causes of homelessness. In this way they are essential reading for practical theologians, congregational leaders, and faith-based nonprofit organizers exploring how to combine spiritual and material care for homeless individuals and other vulnerable populations. Social workers, nonprofit managers, and policy specialists seeking to understand how to partner better with faith-based organizations will also find the chapters in this volume an invaluable resource. Contributors include James V. Spickard, Manuel Mejido Costoya and Margaret Breen, Michael R. Fisher Jr., Laura Stivers, Lauren Valk Lawson, Bruce Granville Miller, Nancy A. Khalil, John A. Coleman, S.J., Jeremy Phillip Brown, Paul Houston Blankenship, María Teresa Dávila, Roberto Mata, and Sathianathan Clarke. Co-published with Seattle University's Center for Religious Wisdom and World Affairs"--

Keywords

Listing 1 - 10 of 11 << page
of 2
>>
Sort by