Listing 1 - 10 of 11 | << page >> |
Sort by
|
Choose an application
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
Choose an application
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.
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
Choose an application
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.
Emigration and immigration --- Migration, Internal --- History.
Choose an application
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
Choose an application
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
Choose an application
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>
Choose an application
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.
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.
Choose an application
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.
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
Choose an application
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.
Veterans --- Military & Naval Science --- Law, Politics & Government --- Military Administration --- Employment --- Services for
Choose an application
"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"--
Listing 1 - 10 of 11 | << page >> |
Sort by
|