Del i serien Lecture Notes in Computer Science

Practical Reasoning

International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

Häftad, Engelska, 1996

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others.

Produktinformation

Utgivningsdatum1996-05-21
Mått155 x 235 x 40 mm
Vikt1 107 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor726
Upplaga1996
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540613138

Tillhör följande kategorier

Artificiell intelligens inom Data och IT

Integrating statistical audit evidence with belief function theory.- A comparative survey of default logic variants.- Modal logics with relative accessibility relations.- Geometrical structures and modal logic.- A unified framework for hypothetical and practical reasoning (1): Theoretical foundations.- A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications.- General domain circumscription and its first-order reduction.- Reasoning about rational, but not logically omniscient agents (extended abstract).- Specification of nonmonotonic reasoning.- Intelligent agents in the Situation Calculus: An application to user modelling.- Talkin'bout consistency, or: When logically possible becomes possible.- The analysis and evaluation of legal argumentation from a pragma-dialectical perspective.- Reasoning about reasoning.- A resolution-based proof method for temporal logics of knowledge and belief.- A methodology for iterated theory change.- A formal framework for causal modeling and argumentation.- Goals in argumentation.- An abductive proof procedure for conditional logic programming.- Commands in dialogue logic.- Ideal and real belief about belief.- Analogical reasoning of organic reactions based on the structurized compound-reaction diagram.- Labelling ideality and subideality.- Mind, morals, and reasons.- Aristotle, Whately, and the taxonomy of fallacies.- Nonmonotonic reasoning with multiple belief sets.- SEdit — Graphically validating technical systems.- The need for a dialectical tier in arguments.- Two kinds of non-monotonic analogical inference.- The normative reconstruction of analogy argumentation in judicial decisions: A pragma-dialectical perspective.- Formal reasoning about modules, reuse and their correctness.- A tableaucalculus for first-order branching time logic.- Possible world semantics for analogous reasoning.- Using temporary integrity constraints to optimize databases.- Graded inheritance nets for knowledge representation.- Defining normative systems for qualitative argumentation.- Complex argumentation in judicial decisions. Analysing conflicting arguments.- Combining partitions and modal logic for user modeling.- Reason in a changing world.- A system for defeasible argumentation, with defeasible priorities.- Modal logic for modelling actions and agents.- Formalization of reasoning about default action (preliminary report).- An architecture for argumentative dialogue planning.- Skeptical query-answering in Constrained Default Logic.- Type theoretic semantics for SemNet.- From syllogisms to audiences: The prospects for logic in a rhetorical model of argumentation.- Human reasoning with negative defaults.- On the semantics of the unknown.- System J — Revision entailment.- Deep disagreements and public demoralization.- Practical reasoning with procedural knowledge.- Towards the assessment of logics for concurrent actions.- Default reasoning and belief revision in the CIN Project.- Mechanizing multi-agent reasoning with belief contexts.- Arguments and mental models: A position paper.- Argumentation and decision making: A position paper.- The implementation of LENA.- The implementation of CondLP.- How to reason about akratic action practically?.

Mer från samma författare

Del 38

Fibring Logics

Dov M. Gabbay

Inbunden, 1998

3 109 kr

Del 46

Interpolation and Definability

Dov M. Gabbay, Larisa Maksimova

Inbunden, 2005

4 739 kr

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1992

8 829 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

Dov M. Gabbay, C. J. Hogger, J. A. Robinson, Dov M. Gabbay, C. J. Hogger

Inbunden, 1993

9 409 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies

Dov M. Gabbay, C. J. Hogger, J. A. Robinson

Inbunden, 1994

9 409 kr

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Dov M. Gabbay, C. J. Hogger, J. A. Robinson

Inbunden, 1994

10 349 kr

Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Thomas S. E. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1992

10 349 kr

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Abramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Inbunden, 1995

9 409 kr

Del 40

Temporal Logic: Volume 2

Dov M Gabbay, M. Finger, M. Reynolds

Inbunden, 2000

5 629 kr

Del 28

Temporal Logic: Volume 1

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds

Inbunden, 1994

6 689 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Logic, Language and Reasoning

Dov M. Gabbay, Uwe Reyle, Hans Jurgen Ohlbach, U. Reyle

Inbunden, 1999

1 159 kr

Robert Louis Stevenson and the Appearance of Modernism

A. Sandison

Inbunden, 1996

1 659 kr

Diffusion of Religions

Robert L. Montgomery

Häftad, 1996

649 kr

Logic, Language and Reasoning

Hans Jürgen Ohlbach, U. Reyle

Häftad, 2012

729 kr

Literature of Nationalism

Robert B. Pynsent

Inbunden, 1996

1 659 kr

Men, Women and Madness

Joan Busfield

Inbunden, 1996

2 829 kr

How to Win Over Depression

Tim LaHaye

Häftad, 1996

209 kr

Creating Collaborative Advantage

Chris Huxham

Häftad, 1996

2 589 kr

Mistake Making

Kenneth L. Artiss

Häftad, 1996

869 kr

Potential Theory - ICPT 94

Josef Kral, Jaroslav Lukes, Ivan Netuka, Jiri Vesely

Inbunden, 1996

2 759 kr

Del i serien Lecture Notes in Computer Science

Practical Reasoning

International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

Häftad, Engelska, 1996

AvDov M. Gabbay,Hans Jürgen Ohlbach

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1996-05-21
Mått155 x 235 x 40 mm
Vikt1 107 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor726
Upplaga1996
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540613138

Tillhör följande kategorier

Artificiell intelligens inom Data och IT

Integrating statistical audit evidence with belief function theory.- A comparative survey of default logic variants.- Modal logics with relative accessibility relations.- Geometrical structures and modal logic.- A unified framework for hypothetical and practical reasoning (1): Theoretical foundations.- A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications.- General domain circumscription and its first-order reduction.- Reasoning about rational, but not logically omniscient agents (extended abstract).- Specification of nonmonotonic reasoning.- Intelligent agents in the Situation Calculus: An application to user modelling.- Talkin'bout consistency, or: When logically possible becomes possible.- The analysis and evaluation of legal argumentation from a pragma-dialectical perspective.- Reasoning about reasoning.- A resolution-based proof method for temporal logics of knowledge and belief.- A methodology for iterated theory change.- A formal framework for causal modeling and argumentation.- Goals in argumentation.- An abductive proof procedure for conditional logic programming.- Commands in dialogue logic.- Ideal and real belief about belief.- Analogical reasoning of organic reactions based on the structurized compound-reaction diagram.- Labelling ideality and subideality.- Mind, morals, and reasons.- Aristotle, Whately, and the taxonomy of fallacies.- Nonmonotonic reasoning with multiple belief sets.- SEdit — Graphically validating technical systems.- The need for a dialectical tier in arguments.- Two kinds of non-monotonic analogical inference.- The normative reconstruction of analogy argumentation in judicial decisions: A pragma-dialectical perspective.- Formal reasoning about modules, reuse and their correctness.- A tableaucalculus for first-order branching time logic.- Possible world semantics for analogous reasoning.- Using temporary integrity constraints to optimize databases.- Graded inheritance nets for knowledge representation.- Defining normative systems for qualitative argumentation.- Complex argumentation in judicial decisions. Analysing conflicting arguments.- Combining partitions and modal logic for user modeling.- Reason in a changing world.- A system for defeasible argumentation, with defeasible priorities.- Modal logic for modelling actions and agents.- Formalization of reasoning about default action (preliminary report).- An architecture for argumentative dialogue planning.- Skeptical query-answering in Constrained Default Logic.- Type theoretic semantics for SemNet.- From syllogisms to audiences: The prospects for logic in a rhetorical model of argumentation.- Human reasoning with negative defaults.- On the semantics of the unknown.- System J — Revision entailment.- Deep disagreements and public demoralization.- Practical reasoning with procedural knowledge.- Towards the assessment of logics for concurrent actions.- Default reasoning and belief revision in the CIN Project.- Mechanizing multi-agent reasoning with belief contexts.- Arguments and mental models: A position paper.- Argumentation and decision making: A position paper.- The implementation of LENA.- The implementation of CondLP.- How to reason about akratic action practically?.